A logic-based calculus of events
New Generation Computing
Artificial intelligence and mathematical theory of computation
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Using temporal logic to control search in a forward chaining planner
New directions in AI planning
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Structured solution methods for non-Markovian decision processes
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Towards High-Level Programming for Distributed Problem Solving
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Evolving Logic Programming Based Agents with Temporal Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
On the progression of situation calculus basic action theories: resolving a 10-year-old conjecture
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Compiling control knowledge into preconditions for planning in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A Logic Programming System for Evolving Programs with Temporal Operators
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
Non-Markovian control in the Situation Calculus
Artificial Intelligence
Evolving logic programs with temporal operators
Logic programming, knowledge representation, and nonmonotonic reasoning
Refinement of history-based policies
Logic programming, knowledge representation, and nonmonotonic reasoning
Hi-index | 0.00 |
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most formalizations of action. It is not difficult, however, to run into scenarios when the Markov property is not present. We consider removing this assumption from the situation calculus based formalization of actions of Reiter, which forms the basis of the programming language Golog, and define an operator for regressing formulas that quantify over past situations, with respect to such nonMarkovian basic action theories.