| Publication | Date of Publication | Type |
|---|
Game description language and dynamic epistemic logic compared
Artificial Intelligence | 2021-11-02 | Paper |
Perceptual context in cognitive hierarchies
(available as arXiv preprint) | 2020-06-04 | Paper |
General game playing with imperfect information
Journal of Artificial Intelligence Research | 2020-01-03 | Paper |
Skeptical query-answering in Constrained Default Logic
Practical Reasoning | 2019-04-29 | Paper |
| A systematic solution to the (de-)composition problem in general game playing | 2017-07-18 | Paper |
| scientific article; zbMATH DE number 6519684 (Why is no real title available?) | 2015-12-11 | Paper |
Representing and reasoning about game strategies
Journal of Philosophical Logic | 2015-04-23 | Paper |
Simulation of action theories and an application to general game-playing robots
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Logical-epistemic foundations of general game descriptions
Studia Logica | 2014-06-19 | Paper |
General game playing
Synthesis Lectures on Artificial Intelligence and Machine Learning | 2014-05-15 | Paper |
A general first-order solution to the ramification problem with cycles
Journal of Applied Logic | 2014-04-17 | Paper |
Representing and reasoning about the rules of general games with imperfect information
Journal of Artificial Intelligence Research | 2014-03-24 | Paper |
Evaluating answer set clause learning for general game playing
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Implementing belief change in the situation calculus and an application
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Automated verification of state sequence invariants in general game playing
Artificial Intelligence | 2012-11-15 | Paper |
A language for default reasoning about actions
Correct Reasoning | 2012-07-23 | Paper |
ALPprolog - a new logic programming method for dynamic domains
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
A unifying action calculus
Artificial Intelligence | 2011-06-17 | Paper |
Translating general game descriptions into an action language
Lecture Notes in Computer Science | 2011-05-19 | Paper |
A multiagent semantics for the game description language
Communications in Computer and Information Science | 2010-10-06 | Paper |
Action programming languages.
Synthesis Lectures on Artificial Intelligence and Machine Learning | 2010-07-28 | Paper |
KI 2003: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Putting ABox updates into action
Frontiers of Combining Systems | 2010-01-07 | Paper |
A declarative agent programming language based on action theories
Frontiers of Combining Systems | 2010-01-07 | Paper |
Answer Set Programming for Single-Player Games in General Game Playing
Logic Programming | 2009-07-24 | Paper |
Iterated belief revision, revised
Artificial Intelligence | 2009-07-09 | Paper |
Multi-Agent FLUX for the Gold Mining Domain (System Description)
Lecture Notes in Computer Science | 2009-01-20 | Paper |
A Fluent Calculus Semantics for ADL with Plan Constraints
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Reinforcement Belief Revision
Journal Of Logic And Computation | 2008-10-09 | Paper |
Handling Implication and Universal Quantification Constraints in FLUX
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
| Logic-based agents and the frame problem: a case for progression | 2006-01-24 | Paper |
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming | 2005-10-18 | Paper |
Reasoning robots. The art and science of programming robotic agents
Applied Logic Series | 2005-08-11 | Paper |
| scientific article; zbMATH DE number 2090520 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2084416 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2077142 (Why is no real title available?) | 2004-07-01 | Paper |
| scientific article; zbMATH DE number 2063028 (Why is no real title available?) | 2004-03-29 | Paper |
Ramification and causality
Artificial Intelligence | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1882058 (Why is no real title available?) | 2003-03-13 | Paper |
| scientific article; zbMATH DE number 1882063 (Why is no real title available?) | 2003-03-13 | Paper |
From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
Artificial Intelligence | 2002-07-24 | Paper |
The qualification problem: A solution to the problem of anomalous models
Artificial Intelligence | 2002-07-24 | Paper |
| scientific article; zbMATH DE number 1696832 (Why is no real title available?) | 2002-01-28 | Paper |
The concurrent, continuous fluent calculus
Studia Logica | 2001-10-14 | Paper |
| scientific article; zbMATH DE number 1487808 (Why is no real title available?) | 2001-03-22 | Paper |
Challenges for action theories
Lecture Notes in Computer Science | 2000-05-11 | Paper |
| scientific article; zbMATH DE number 1748588 (Why is no real title available?) | 2000-01-01 | Paper |
Agents in proactive environments
Journal Of Logic And Computation | 1999-06-28 | Paper |
Reasoning about actions: steady versus stabilizing state constraints
Artificial Intelligence | 1999-01-12 | Paper |
Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
The Journal of Logic Programming | 1997-10-23 | Paper |
| scientific article; zbMATH DE number 928018 (Why is no real title available?) | 1997-02-03 | Paper |
On the completeness of SLDENF-resolution
Journal of Automated Reasoning | 1997-01-27 | Paper |
Default reasoning by deductive planning
Journal of Automated Reasoning | 1996-07-14 | Paper |
On prediction in Theorist
Artificial Intelligence | 1994-01-13 | Paper |
