Electronic Transactions on Artificial Intelligence (ETAI), Volume 2

Volume 2, 1998

• Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
  The Complexity of Model Checking in Modal Event Calculi with Quantifiers. 1-23
  
• Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem:
  An Inductive Definition Approach to Ramifications. 25-67
  
• Murray Shanahan:
  A Logical Account of the Common Sense Informatic Situation for a Mobile Robot. 69-104
  
• David Poole:
  Decision Theory, the Situation Calculus and Conditional Plans. 105-158
  
• Hector J. Levesque, Fiora Pirri, Raymond Reiter:
  Foundations for the Situation Calculus. 159-178
  
• Michael Thielscher:
  Introduction to the Fluent Calculus. 179-192
  
• Michael Gelfond, Vladimir Lifschitz:
  Action Languages. 193-210
  
• Chitta Baral, Tran Cao Son:
  Relating Theories of Actions and Reactive Control. 211-271
  
• Patrick Doherty, Joakim Gustafsson, Lars Karlsson, Jonas Kvarnström:
  TAL: Temporal Action Logics Language Specification and Tutorial. 273-306
  
• Erik Sandewall:
  Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. 307-329