Book Chapter
SYMEVAL: A theorem prover based on the experimental logic
Frank M. Brown and Seung S. Park
Lecture Notes in Computer Science, 1988, Volume 310, 9th International Conference on Automated Deduction, Pages 756-757
Book Chapter
Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison
Bertram Fronhöfer
Lecture Notes in Computer Science, 1996, Volume 1071, Theorem Proving with Analytic Tableaux and Related Methods, Pages 193-209
Book Chapter
Modal logic for modelling actions and agents
Helmut Prendinger
Lecture Notes in Computer Science, 1996, Volume 1085, Practical Reasoning, Pages 525-539
Book Chapter
Deductive plan generation
Wolfgang Bibel and Michael Thielscher
Lecture Notes in Computer Science, 1994, Volume 872, Algorithmic Learning Theory, Pages 2-5
Book Chapter
Modal tableaux for reasoning about actions and plans
Marcos A. Castilho, Olivier Gasquet and Andreas Herzig
Lecture Notes in Computer Science, 1997, Volume 1348, Recent Advances in AI Planning, Pages 104-116
Book Chapter
Implementing exceptions in inheritance by concept transforming actions
Bertram Fronhöfer
Lecture Notes in Computer Science, 1991, Volume 549, Trends in Artificial Intelligence, Pages 58-67
Book Chapter
PDL-based framework for reasoning about actions
Giuseppe De Giacomo and Maurizio Lenzerini
Lecture Notes in Computer Science, 1995, Volume 992, Topics in Artificial Intelligence, Pages 103-114
Book Chapter
Embracing Causality in Inducing the Effects of Actions
Ramon P. Otero
Lecture Notes in Computer Science, 2004, Volume 3040, Current Topics in Artificial Intelligence, Pages 291-301
Book Chapter
Systems Theory: Melding the AI and Simulation Perspectives
Norman Foo and Pavlos Peppas
Lecture Notes in Computer Science, 2005, Volume 3397, Artificial Intelligence and Simulation, Pages 14-23
Book Chapter
Obligation Change in Dependence Logic and Situation Calculus
Robert Demolombe and Andreas Herzig
Lecture Notes in Computer Science, 2004, Volume 3065, Deontic Logic in Computer Science, Pages 57-73