| 2007 |
|---|
| 67 | | Stephan Schiffel,
Michael Thielscher:
Fluxplayer: A Successful General Game Player.
AAAI 2007: 1191-1196 |
| 66 | | Yi Jin,
Michael Thielscher,
Dongmo Zhang:
Mutual Belief Revision: Semantics and Computation.
AAAI 2007: 440-445 |
| 65 | EE | Conrad Drescher,
Michael Thielscher:
Integrating Action Calculi and Description Logics.
KI 2007: 68-83 |
| 64 | EE | Yi Jin,
Michael Thielscher:
Iterated belief revision, revised.
Artif. Intell. 171(1): 1-18 (2007) |
| 63 | EE | Sheila A. McIlraith,
Pavlos Peppas,
Michael Thielscher:
Preface.
J. Log. Comput. 17(5): 847-849 (2007) |
| 2006 |
|---|
| 62 | | Stephan Schiffel,
Michael Thielscher:
Reconciling Situation Calculus and Fluent Calculus.
AAAI 2006 |
| 61 | EE | Stephan Schiffel,
Michael Thielscher:
Multi-Agent FLUX for the Gold Mining Domain (System Description).
CLIMA VII 2006: 294-303 |
| 60 | | Michael Thielscher,
Thomas Witkowski:
The Features-and-Fluents Semantics for the Fluent Calculus.
KR 2006: 362-370 |
| 2005 |
|---|
| 59 | EE | Yi Jin,
Michael Thielscher:
Actions and Belief Revision: A Computational Approach.
Belief Change in Rational Agents 2005 |
| 58 | EE | Michael Thielscher:
Handling Implication and Universal Quantification Constraints in FLUX.
CP 2005: 667-681 |
| 57 | EE | Hendrik Skubch,
Michael Thielscher:
Strategy Learning for Reasoning Agents.
ECML 2005: 733-740 |
| 56 | EE | Yi Jin,
Michael Thielscher:
Iterated Belief Revision, Revised.
IJCAI 2005: 478-483 |
| 55 | EE | Michael Thielscher:
FLUX: A logic programming method for reasoning agents.
TPLP 5(4-5): 533-565 (2005) |
| 2004 |
|---|
| 54 | | Yi Jin,
Michael Thielscher:
Representing Beliefs in the Fluent Calculus.
ECAI 2004: 823-827 |
| 53 | | Yves Martin,
Iman Narasamdya,
Michael Thielscher:
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus.
ICAPS 2004: 12-22 |
| 52 | | Yves Martin,
Iman Narasamdya,
Michael Thielscher:
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus.
KR 2004: 623-633 |
| 51 | EE | Michael Thielscher:
FLUX: A Logic Programming Method for Reasoning Agents
CoRR cs.AI/0408044: (2004) |
| 2003 |
|---|
| 50 | EE | Michael Thielscher:
Controlling Semi-automatic Systems with FLUX.
ICLP 2003: 515-516 |
| 49 | EE | Ozan Kahramanogullari,
Michael Thielscher:
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak.
KI 2003: 209-223 |
| 48 | EE | Matthias Fichtner,
Axel Großmann,
Michael Thielscher:
Intelligent Execution Monitoring in Dynamic Environments.
Fundam. Inform. 57(2-4): 371-392 (2003) |
| 2002 |
|---|
| 47 | EE | Michael Thielscher:
Reasoning about Actions with CHRs and Finite Domain Constraints.
ICLP 2002: 70-84 |
| 2001 |
|---|
| 46 | EE | Michael Thielscher:
Planning with Noisy Actions.
Australian Joint Conference on Artificial Intelligence 2001: 495-506 |
| 45 | EE | Yves Martin,
Michael Thielscher:
Addressing the Qualification Problem in FLUX.
KI/ÖGAI 2001: 290-304 |
| 44 | EE | Michael Thielscher:
Inferring Implicit State Knowledge and Plans with Sensing Actions.
KI/ÖGAI 2001: 366-380 |
| 43 | EE | Michael Thielscher:
The Qualification Problem: A solution to the problem of anomalous models.
Artif. Intell. 131(1-2): 1-37 (2001) |
| 42 | | Michael Thielscher:
The Concurrent, Continuous Fluent Calculus.
Studia Logica 67(3): 315-331 (2001) |
| 2000 |
|---|
| 41 | | Michael Thielscher:
Challenges for Action Theories
Springer 2000 |
| 40 | | Michael Thielscher:
Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study.
AAAI/IAAI 2000: 497-502 |
| 39 | EE | Hans-Peter Störr,
Michael Thielscher:
A New Equational Foundation for the Fluent Calculus.
Computational Logic 2000: 733-746 |
| 38 | | Michael Thielscher:
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms.
Intellectics and Computational Logic 2000: 327-345 |
| 37 | | Michael Thielscher:
Representing the Knowledge of a Robot.
KR 2000: 109-120 |
| 1999 |
|---|
| 36 | EE | Rolf Nossum,
Michael Thielscher:
Counterfactual Reasoning by Means of a Calculus of Narrative Context.
CONTEXT 1999: 495-498 |
| 35 | EE | Michael Thielscher:
A Theory of First-Order Counterfactual Reasoning.
KI 1999: 137-148 |
| 34 | EE | Michael Thielscher:
From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem.
Artif. Intell. 111(1-2): 277-299 (1999) |
| 33 | EE | Dov M. Gabbay,
Rolf Nossum,
Michael Thielscher:
Agents in Proactive Environments.
J. Log. Comput. 9(1): 25-45 (1999) |
| 1998 |
|---|
| 32 | EE | Michael Thielscher:
Towards State Update Axioms: Reifying Successor State Axioms.
JELIA 1998: 248-263 |
| 31 | | Michael Thielscher:
How (Not) To Minimize Events.
KR 1998: 60-73 |
| 30 | EE | Michael Thielscher:
Reasoning About Actions: Steady Versus Stabilizing State Constraints.
Artif. Intell. 104(1-2): 339-355 (1998) |
| 29 | EE | Michael Thielscher:
Introduction to the Fluent Calculus.
Electron. Trans. Artif. Intell. 2: 179-192 (1998) |
| 1997 |
|---|
| 28 | | Michael Thielscher:
Qualified Ramifications.
AAAI/IAAI 1997: 466-471 |
| 27 | | Dov M. Gabbay,
Rolf Nossum,
Michael Thielscher:
Agents in Proactive Environments.
KI 1997: 389-392 |
| 26 | EE | Michael Thielscher:
Ramification and Causality.
Artif. Intell. 89(1-2): 317-364 (1997) |
| 25 | EE | Michael Thielscher:
A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence.
Electron. Trans. Artif. Intell. 1: 73-104 (1997) |
| 24 | | Sven-Erik Bornscheuer,
Michael Thielscher:
Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems.
J. Log. Program. 31(1-3): 119-155 (1997) |
| 1996 |
|---|
| 23 | | Christoph S. Herrmann,
Michael Thielscher:
Reasoning about Continuous Processes.
AAAI/IAAI, Vol. 1 1996: 639-644 |
| 22 | | Kerstin Eder,
Steffen Hölldobler,
Michael Thielscher:
An Abstract Machine for Reasoning about Situations, Actions, and Causality.
ELP 1996: 137-151 |
| 21 | | Torsten Schaub,
Michael Thielscher:
Skeptical Query-Answering in Constrained Default Logic.
FAPR 1996: 567-581 |
| 20 | | Michael Thielscher:
A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs.
JICSLP 1996: 483-497 |
| 19 | | Michael Thielscher:
Causality and the Qualification Problem.
KR 1996: 51-62 |
| 18 | | Michael Thielscher:
On the Completeness of SLDENF-Resolution.
J. Autom. Reasoning 17(2): 199-214 (1996) |
| 17 | EE | Sven-Erik Bornscheuer,
Michael Thielscher:
Representing Concurrent Actions and Solving Conflicts.
Logic Journal of the IGPL 4(3): 355-368 (1996) |
| 1995 |
|---|
| 16 | | Michael Thielscher:
The Logic of Dynamic Systems.
IJCAI 1995: 1956-1963 |
| 15 | | Michael Thielscher:
Computing Ramifications by Postprocessing.
IJCAI 1995: 1994-2000 |
| 14 | | Michael Thielscher:
What Is a Skeptical Proof?
KI 1995: 161-172 |
| 13 | | D. Andre de Waal,
Michael Thielscher:
Solving Deductive Planning Problems Using Program Analysis and Transformation.
LOPSTR 1995: 189-203 |
| 12 | | Kerstin Eder,
Steffen Hölldobler,
Michael Thielscher:
A Resource-Oriented Deductive Approach Towards Hierarchical Planning.
WLP 1995: 237-246 |
| 11 | | Steffen Hölldobler,
Michael Thielscher:
Computing change and specificity with equational logic programs.
Ann. Math. Artif. Intell. 14(1): (1995) |
| 10 | | Michael Thielscher,
Torsten Schaub:
Default Reasoning by Deductive Planning.
J. Autom. Reasoning 15(1): 1-40 (1995) |
| 1994 |
|---|
| 9 | | Wolfgang Bibel,
Michael Thielscher:
Deductive Plan Generation.
AII/ALT 1994: 2-5 |
| 8 | | Michael Thielscher:
Representing Actions in Equational Logic Programming.
ICLP 1994: 207-224 |
| 7 | | Sven-Erik Bornscheuer,
Michael Thielscher:
Representing Concurrent Actions and Solving Conflicts.
KI 1994: 16-27 |
| 1993 |
|---|
| 6 | | Steffen Hölldobler,
Michael Thielscher:
Actions and Specificity.
ILPS 1993: 164-180 |
| 5 | | Stefan Brüning,
Steffen Hölldobler,
Ute Cornelia Sigmund,
Michael Thielscher,
Josef Schneeberger:
Disjunction In Resource-Oriented Deductive Planning.
ILPS 1993: 670 |
| 4 | | Stefan Brüning,
Gerd Große,
Steffen Hölldobler,
Josef Schneeberger,
Ute Cornelia Sigmund,
Michael Thielscher:
Disjunction in Plan Generation by Equational Logic Programming.
PuK 1993: 18-26 |
| 3 | | Michael Thielscher:
SLDENF-Resolution.
WLP 1993: 100-103 |
| 2 | | Michael Thielscher:
On Prediction in Theorist.
Artif. Intell. 60(2): 283-292 (1993) |
| 1992 |
|---|
| 1 | | Gerd Große,
Steffen Hölldobler,
Josef Schneeberger,
Ute Cornelia Sigmund,
Michael Thielscher:
Equational Logic Programming Actions, and Change.
JICSLP 1992: 177-191 |
