The following pages link to Michael Thielscher (Q208502):
Displaying 50 items.
- A unifying action calculus (Q543584) (← links)
- On prediction in Theorist (Q685340) (← links)
- Iterated belief revision, revised (Q1028892) (← links)
- Reasoning about actions: steady versus stabilizing state constraints (Q1274697) (← links)
- Ramification and causality (Q1399132) (← links)
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem (Q1606307) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- On the completeness of SLDENF-resolution (Q1815857) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Challenges for action theories (Q1977406) (← links)
- Logical-epistemic foundations of general game descriptions (Q2016080) (← links)
- Perceptual context in cognitive hierarchies (Q2185477) (← links)
- Game description language and dynamic epistemic logic compared (Q2238672) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Reasoning robots. The art and science of programming robotic agents (Q2487869) (← links)
- (Q2767100) (← links)
- Evaluating Answer Set Clause Learning for General Game Playing (Q2851253) (← links)
- Implementing Belief Change in the Situation Calculus and an Application (Q2851272) (← links)
- A Language for Default Reasoning about Actions (Q2900546) (← links)
- Translating General Game Descriptions into an Action Language (Q3001927) (← links)
- ALPprolog – A new logic programming method for dynamic domains (Q3087435) (← links)
- (Q3367333) (← links)
- (Q3455601) (← links)
- Handling Implication and Universal Quantification Constraints in FLUX (Q3524211) (← links)
- Reinforcement Belief Revision (Q3529381) (← links)
- A Fluent Calculus Semantics for ADL with Plan Constraints (Q3532463) (← links)
- Action Programming Languages (Q3575745) (← links)
- Putting ABox Updates into Action (Q3655202) (← links)
- A Declarative Agent Programming Language Based on Action Theories (Q3655203) (← links)
- Agents in proactive environments (Q4238482) (← links)
- Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems (Q4352532) (← links)
- (Q4460684) (← links)
- (Q4470527) (← links)
- (Q4475185) (← links)
- (Q4494328) (← links)
- (Q4530473) (← links)
- Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
- (Q4797434) (← links)
- (Q4797441) (← links)
- (Q4809156) (← links)
- (Q4893671) (← links)
- A Multiagent Semantics for the Game Description Language (Q4932614) (← links)
- Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) (← links)
- General Game Playing with Imperfect Information (Q5207040) (← links)
- (Q5282973) (← links)
- Multi-Agent FLUX for the Gold Mining Domain (System Description) (Q5302013) (← links)
- Answer Set Programming for Single-Player Games in General Game Playing (Q5325764) (← links)
- Representing and Reasoning About the Rules of General Games With Imperfect Information (Q5404391) (← links)
