- In D. Miller, ed., Proc. of the Int. Symp. on Log. Prog., 670. Vancouver, 1993. Disjunction in Resource--Oriented
- Reconciling Situation Calculus and Fluent Calculus Stephan Schiffel and Michael Thielscher
- A Nonmonotonic Disputation-Based Semantics and Proof
- Knowledge of Other Agents and Communicative Actions in the Fluent Calculus Yves Martin
- Art and Science of Action Programming 1/65 The Art and Science
- Decomposition of Multi-Player Games Dengji Zhao1
- The Role of Automated Deduction in Intellectics Wolfgang Bibel and Michael Thielscher
- Multi-Agent FLUX for the Gold Mining Domain (System Description)
- Answer Set Programming for Single-Player Games in General Game Playing
- Event Minimization In The Fluent Calculus
- AAAI'08 Tutorial General Game Playing
- A Declarative Agent Programming Language Based on Action Theories
- Logic programs with nonmonotonic negation are embedded in a general, abstract disputation based framework for nonmonotonic logics. This formalization induces a particular semantics,
- Integrating Action Calculi and AgentSpeak: Closing the Gap Michael Thielscher
- NonClassical Automated Deduction Wolfgang Bibel and Michael Thielscher
- The Features-and-Fluents Semantics for the Fluent Calculus Michael Thielscher and Thomas Witkowski
- INTERNATIONAL COMPUTER SCIENCE INSTITUTE 1947 Center St. ffl Suite 600 ffl Berkeley, California 947041198 ffl (510) 6439153 ffl FAX (510) 6437684
- Representing the Knowledge of a Robot Michael Thielscher
- INTERNATIONAL COMPUTER SCIENCE INSTITUTE 1947 Center St. ffl Suite 600 ffl Berkeley, California 947041198 ffl (510) 6439153 ffl FAX (510) 6437684
- From Situation Calculus To Fluent Calculus: A New Motivation
- Disjunction in ResourceOriented Ddeductive
- LogicBased Agents and the Frame Problem: A Case for Progression
- Representing Concurrent Actions and Solving Conflicts
- In: P. Van Hentenryck, ed., Proc. of the Int. Conf. on Log. Prog., 207224, Santa Margherita Ligure, Italy, 1994. Representing Actions in Equational
- Mutual Belief Revision: Semantics and Computation School of Computing Science
- How (Not) To Minimize Events Michael Thielscher \Lambda
- Fundamenta Informaticae XX (2003) 122 1 Intelligent Execution Monitoring in Dynamic Environments
- An Abstract Machine for Reasoning about Situations, Actions, and Causality
- KR-Techniques for General Game Playing
- Under consideration for publication in Theory and Practice of Logic Programming 1 FLUX: A Logic Programming Method for
- Automated Theorem Proving for General Game Playing Stephan Schiffel and Michael Thielscher
- Simple Default Reasoning in Theories of Action Hannes Strass and Michael Thielscher
- On Defaults in Action Theories Hannes Strass and Michael Thielscher
- Neural Networks for State Evaluation in General Game Playing
- A Multiagent Semantics for the Game Description Language
- An Agent Team Based on FLUX for the ProMAS Contest 2007
- Fluxplayer: A Successful General Game Player Stephan Schiffel and Michael Thielscher
- Handling Implication and Universal Quantification Constraints in FLUX
- Representing Beliefs in the Fluent Calculus Yi Jin and Michael Thielscher 1
- Controlling Semi-Automatic Systems with Michael Thielscher
- Logic-Based Agents and the Frame Problem: A Case for Progression
- A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak
- Inferring Implicit State Knowledge and Plans with Sensing Actions
- Addressing the Qualification Problem in FLUX Yves Martin and Michael Thielscher
- Modeling Actions with Ramications in Nondeterministic, Concurrent, and Continuous Domains--
- Agents in Proactive Environments Dov Gabbay1
- Qualified Ramifications Michael Thielscher
- CHALLENGES FOR ACTION THEORIES (EXTENDED ABSTRACT)
- Causality and the Qualification Problem Michael Thielscher
- Skeptical Query-Answering in Constrained Default Logic
- Solving Deductive Planning Problems Using Program Analysis and Transformation
- What Is A Skeptical Proof? Michael Thielscher
- The Logic of Dynamic Systems Michael Thielscher
- Deductive Plan Generation Wolfgang Bibel Michael Thielscher
- In D. Miller, ed., Proc. of the Int. Symp. on Log. Prog., 164180. Vancouver, 1993. Actions and Specificity
- Michael Thielscher The Fluent Calculus
- Defaults in Action: Non-monotonic Reasoning About States in Action Calculi Hannes Strass and Michael Thielscher
- Reasoning about Continuous Processes Christoph S. Herrmann
- Iterated Belief Revision, Revised Yi Jin and Michael Thielscher
- Towards State Update Axioms: Reifying Successor State Axioms
- A New Equational Foundation for the Fluent Calculus
- Reasoning about actions with CHRs and Finite Domain Constraints
- Skeptical QueryAnswering in Constrained Default Logic Torsten Schaub \Lambda
- INTERNATIONAL COMPUTER SCIENCE INSTITUTE 1947 Center St. ffl Suite 600 ffl Berkeley, California 947041198 ffl (510) 6439153 ffl FAX (510) 6437684
- Disputation Theory Disjunctive Logic Programs
- INTEGRATING REASONING ABOUT ACTIONS AND BAYESIAN Yves Martin1
- In K. Apt, editor, Proc. of the Int. Joint Conf. and Symp. on Logic Programming, pages 177191, 1992. Equational Logic Programming,
- Counterfactual Reasoning by Means of a Calculus of Narrative Context
- Modelling theories of actions by Equational Logic Programs
- ON THE ADEQUATENESS OF AI-SYSTEMS STEFFEN HOLLDOBLER
- Computing Ramifications by Postprocessing Michael Thielscher
- A Theory of First-Order Counterfactual Reasoning
- AN ANALYSIS OF SYSTEMATIC APPROACHES TO REASONING ABOUT ACTIONS AND CHANGE
