1991 TheFrameProbleminSituationtheCa

(Reiter, 1991) ⇒ Raymond Reiter. (1991). “The Frame Problem in Situation the Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression.” In: Artificial intelligence and mathematical theory of computation. ISBN:0-12-450010-2

Subject Headings: Situation Calculus, The Frame Problem.

Notes

Cited By

Quotes

Abstract

None

References

1. Yuan Feng, Ming-Sheng Ying, Process Algebra Approach to Reasoing About Concurrent Actions, Journal of Computer Science and Technology, v.19 n.3, p.364-373, May 2004
2. Robert Demolombe, Pilar Pozos-Parra, The Chisholm Paradox and the Situation Calculus, Proceedings of the 15th International Conference on Foundations of Intelligent Systems, May 25-28, 2005, Saratoga Springs, NY
3. Francesco Savelli, Existential Assertions and Quantum Levels on the Tree of the Situation Calculus, Artificial Intelligence, v.170 n.6, p.643-652, May 2006
4. Francesco Savelli, Existential Assertions and Quantum Levels on the Tree of the Situation Calculus, Artificial Intelligence, v.170 n.6-7, p.643-652, May, 2006
5. Keonsoo Lee, Minkoo Kim, A Novel Approach for Conflict Resolution in Context-Awareness Using Semantic Unification of Multi-Cognition, Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems, p.267-274, December 15-16, 2008, Hanoi, Vietnam
6. Hannes Strass, Michael Thielscher, Simple Default Reasoning in Theories of Action, Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence, December 01-04, 2009, Melbourne, Australia
7. Hannes Strass, Michael Thielscher, On Defaults in Action Theories, Proceedings of the 32nd Annual German Conference on Advances in Artificial Intelligence, September 15-18, 2009, Paderborn, Germany
8. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque, Iterated Belief Change in the Situation Calculus, Artificial Intelligence, v.175 n.1, p.165-192, January, 2011
9. Jieting Luo, Frank Dignum, John-Jules Meyer, Towards A Formal Model of Opportunism Based on Situation Calculus, Revised Selected Papers of the 13th German Conference on Multiagent System Technologies, September 28-30, 2015, Cottbus, Germany
10. Alfredo Gabaldon, Non-Markovian Control in the Situation Calculus, Artificial Intelligence, v.175 n.1, p.25-48, January, 2011
11. Eugenia Ternovskaia, Automata Theory for Reasoning About Actions, Proceedings of the 16th International Joint Conference on Artifical Intelligence, p.153-158, July 31-August 06, 1999, Stockholm, Sweden
12. Ryan F. Kelly, Adrian R. Pearce, Property Persistence in the Situation Calculus, Proceedings of the 20th International Joint Conference on Artifical Intelligence, p.1948-1953, January 06-12, 2007, Hyderabad, India
13. Alfredo Gabaldon, Formalizing Complex Task Libraries in Golog, Proceedings of the 2006 Conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva Del Garda, Italy, p.755-756, May 22, 2006
14. Robert Demolombe, Maria Del Pilar Pozos Parra, A Simple and Tractable Extension of Situation Calculus to Epistemic Logic, Proceedings of the 12th International Symposium on Foundations of Intelligent Systems, p.515-524, October 11-14, 2000
15. Robert Demolombe, Pilar Pozos Parra, Belief Revision in the Situation Calculus Without Plausibility Levels, Proceedings of the 16th International Conference on Foundations of Intelligent Systems, September 27-29, 2006, Bari, Italy
16. George Baryannis, Dimitris Plexousakis, The Frame Problem in Web Service Specifications, Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, p.9-12, May 18-19, 2009
17. Alexei Lapouchnian, Yves Lespérance, Modeling Mental States in the Analysis of Multiagent Systems Requirements, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, May 08-12, 2006, Hakodate, Japan
18. Hector Levesque, Knowledge, Action, and Ability in the Situation Calculus: Extended Abstract, Proceedings of the 5th Conference on Theoretical Aspects of Reasoning About Knowledge, p.1-4, March 13-16, 1994, Pacific Grove, California
19. Stephan Schiffel, Michael Thielscher, Reconciling Situation Calculus and Fluent Calculus, Proceedings of the 21st National Conference on Artificial Intelligence, p.287-292, July 16-20, 2006, Boston, Massachusetts
20. Fangzhen Lin, Kewen Wang, From Causal Theories to Logic Programs (Sometimes), Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, p.117-131, December 02-04, 1999
21. Liangda Fang, Yongmei Liu, Multiagent Knowledge and Belief Change in the Situation Calculus, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, p.304-312, July 14-18, 2013, Bellevue, Washington
22. Marcus Bjareland, Lars Karlsson, Reasoning by Regression: Pre-and Postdiction Procedures for Logics of Action and Change with Nondeterminism, Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence, p.1420-1425, August 23-29, 1997, Nagoya, Japan
23. Michael Grüninger, Christopher Menzel, The Process Specification Language (PSL) Theory and Applications, AI Magazine, v.24 n.3, p.63-74, September 2003
24. Drew McDermott, Review of "Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems" by Ray Reiter, MIT Press, AI Magazine, v.24 n.2, p.101-103, Summer 2003
25. Fangzhen Lin, Applications of the Situation Calculus to Formalizing Control-and Strategic Information: The Prolog Cut Operator, Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence, p.1412-1418, August 23-29, 1997, Nagoya, Japan
26. Erik Sandewall, The Range of Applicability of Nonmonotonic Logics for the Inertia Problem, Proceedings of the 13th International Joint Conference on Artifical Intelligence, p.738-743, August 28-September 03, 1993, Chambery, France
27. Yan Zhang, Norman Y. Foo, Deriving Invariants and Constraints from Action Theories, Fundamenta Informaticae, v.30 n.1, p.109-123, January 1997
28. Pablo Sáez, Deductive Systems' Representation and An Incompleteness Result in the Situation Calculus, Proceedings of the 4th Mexican International Conference on Advances in Artificial Intelligence, November 14-18, 2005, Mexico
29. Michael Thielscher, Thomas Witkowski, The Features-and-Fluents Semantics for the Fluent Calculus, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, June 02-05, 2006, Lake District, UK
30. John Funge, Cognitive Modeling for Games and Animation, Communications of the ACM, v.43 n.7, p.40-48, July 2000
31. Franz Baader, Carsten Lutz, Maja Miličic, Ulrike Sattler, Frank Wolter, Integrating Description Logics and Action Formalisms: First Results, Proceedings of the 20th National Conference on Artificial Intelligence, p.572-577, July 09-13, 2005, Pittsburgh, Pennsylvania
32. Chitta Baral, Jorge Lobo, Defeasible Specifications in Action Theories, Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence, p.1441-1446, August 23-29, 1997, Nagoya, Japan
33. Michael Grüninger, Katy Atefi, Mark S. Fox, Ontologies to Support Process Integration in Enterprise Engineering, Computational & Mathematical Organization Theory, v.6 n.4, p.381-394, December 2000
34. Alexei Lapouchnian, Yves Lespérance, Modeling Mental States in Agent-oriented Requirements Engineering, Proceedings of the 18th International Conference on Advanced Information Systems Engineering, June 05-09, 2006, Luxembourg, Luxembourg
35. Giuseppe De Giacomo, Hector J. Levesque, Projection Using Regression and Sensors, Proceedings of the 16th International Joint Conference on Artifical Intelligence, p.160-165, July 31-August 06, 1999, Stockholm, Sweden
36. Fangzhen Lin, Embracing Causality in Specifying the Indeterminate Effects of Actions, Proceedings of the Thirteenth National Conference on Artificial Intelligence, p.670-676, August 04-08, 1996, Portland, Oregon
37. Hans-Peter Störr, Michael Thielscher, A New Equational Foundation for the Fluent Calculus, Proceedings of the First International Conference on Computational Logic, p.733-746, July 01, 2000
38. Michelle L. Blom, Adrian R. Pearce, Relaxing Regression for a Heuristic GOLOG, Proceedings of the 2010 Conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium, p.37-49, August 11, 2010
39. Andrew Garland, Neal Lesh, Plan Evaluation with Incomplete Action Descriptions, Eighteenth National Conference on Artificial Intelligence, p.461-467, July 28-August 01, 2002, Edmonton, Alberta, Canada
40. Marc Denecker, Eugenia Ternovska, Inductive Situation Calculus, Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning, June 02-05, 2004, Whistler, British Columbia, Canada
41. Stephen M. Majercik, Andrew P. Rusczek, Faster Probabilistic Planning through More Efficient Stochastic Satisfiability Problem Encodings, Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France
42. Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, Optimal Regression for Reasoning About Knowledge and Actions, Proceedings of the 22nd National Conference on Artificial Intelligence, p.1070-1075, July 22-26, 2007, Vancouver, British Columbia, Canada
43. Andreas Herzig, Tiago De Lima, Epistemic Actions and Ontic Actions: A Unified Logical Framework, Proceedings of the 2nd International Joint Conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian Conference on Advances in Artificial Intelligence, October 23-27, 2006, Ribeirão Preto, Brazil
44. Ray Reiter, Zheng Yuhua, Scheduling in the Situation Calculus: A Case Study, Annals of Mathematics and Artificial Intelligence, v.21 n.2-4, p.397-421, 1997
45. Jack Minker, In Memoriam: Raymond Reiter, AI Magazine, v.24 n.1, p.13-18, March 2003
46. Richard B. Scherl, Hector J. Levesque, The Frame Problem and Knowledge-producing Actions, Proceedings of the Eleventh National Conference on Artificial Intelligence, p.689-695, July 11-15, 1993, Washington, D.C.
47. Fangzhen Lin, Ray Reiter, How to Progress a Database II: The STRIPS Connection, Proceedings of the 14th International Joint Conference on Artificial Intelligence, p.2001-2007, August 20-25, 1995, Montreal, Quebec, Canada
48. Catholijn M. Jonker, Jan Treur, Wieke De Vries, Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments, First International Workshop, AOSE 2000 on Agent-oriented Software Engineering, p.253-267, January 01, 2001, Limerick, Ireland
49. Fabio N. Akhras, Modelling the Context of Learning Interactions in Intelligent Learning Environments, Proceedings of the 5th International Conference on Modeling and Using Context, p.1-14, July 05-08, 2005, Paris, France
50. Alberto Finzi, Thomas Lukasiewicz, Game-theoretic Agent Programming in Golog, Proceedings of the 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain
51. Steven Shapiro, Yves Lespérance, Hector J. Levesque, The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 1, July 15-19, 2002, Bologna, Italy
52. Alexander Bochman, The Markov Assumption: Formalization and Impact, Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, August 03-09, 2013, Beijing, China
53. Ugur Kuter, Mark Burstein, J. Benton, Daniel Bryce, Jordan Thayer, Steve McCoy, HACKAR: Helpful Advice for Code Knowledge and Attack Resilience, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, p.3987-3992, January 25-30, 2015, Austin, Texas
54. Pilar Pozos Parra, Abhaya Nayak, Robert Demolombe, Theories of Intentions in the Framework of Situation Calculus, Proceedings of the Second International Conference on Declarative Agent Languages and Technologies, July 19, 2004, New York, NY
55. Cao Son Tran, Enrico Pontelli, Some Results on the Completeness of Approximation Based Reasoning, Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence, December 15-19, 2008, Hanoi, Vietnam
56. Marta Cialdea Mayer, Carla Limongelli, Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge, Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, p.70-84, July 30-August 01, 2002
57. Richard B. Scherl, Reasoning About the Interaction of Knowlege, Time and Concurrent Actions in the Situation Calculus, Proceedings of the 18th International Joint Conference on Artificial Intelligence, p.1091-1096, August 09-15, 2003, Acapulco, Mexico
58. Vivek K. Singh, Ramesh Jain, Situation based Control for Cyber-physical Environments, Proceedings of the 28th IEEE Conference on Military Communications, p.2198-2204, October 18-21, 2009, Boston, Massachusetts, USA
59. Dafna Shahaf, Eyal Amir, Logical Circuit Filtering, Proceedings of the 20th International Joint Conference on Artifical Intelligence, p.2611-2618, January 06-12, 2007, Hyderabad, India
60. Alfredo Gabaldon, Making Golog Norm Compliant, Proceedings of the 12th International Conference on Computational Logic in Multi-agent Systems, July 17-18, 2011, Barcelona, Spain
61. Steven Shapiro, Yves Lespérance, Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application, Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages, p.244-259, July 07-09, 2000
62. Esra Erdem, Alfredo Gabaldon, Cumulative Effects of Concurrent Actions on Numeric-valued Fluents, Proceedings of the 20th National Conference on Artificial Intelligence, p.627-632, July 09-13, 2005, Pittsburgh, Pennsylvania
63. Craig Boutilier, Ray Reiter, Bob Price, Symbolic Dynamic Programming for First-order MDPs, Proceedings of the 17th International Joint Conference on Artificial Intelligence, p.690-697, August 04-10, 2001, Seattle, WA, USA
64. Mehul Bhatt, Wenny Rahayu, Gerald Sterling, A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus, Proceedings of the 2nd International Joint Conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian Conference on Advances in Artificial Intelligence, October 23-27, 2006, Ribeirão Preto, Brazil
65. Michael Thielscher, Towards State Update Axioms: Reifying Successor State Axioms, Proceedings of the European Workshop on Logics in Artificial Intelligence, p.248-263, October 12-15, 1998
66. Jaime Ramos, Amílcar Sernadas, The Situation and State Calculus versus Branching Temporal Logic, Selected Papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques, p.293-309, April 02-04, 1998
67. G. Neelakantan Kartha, On the Range of Applicability of Baker's Approach to the Frame Problem, Proceedings of the Thirteenth National Conference on Artificial Intelligence, p.664-669, August 04-08, 1996, Portland, Oregon
68. Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang, Epistemic GDL: A Logic for Representing and Reasoning About Imperfect Information Games, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, p.1138-1144, July 09-15, 2016, New York, New York, USA
69. Michael Thielscher, Sampling-based Belief Revision, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, p.1272-1278, July 09-15, 2016, New York, New York, USA
70. Martin Randles, A. Taleb-Bendiab, A Scalable Governance Model for Autonomic M-Commerce, Proceedings of the 2008 Conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008, p.141-152, June 18, 2008
71. Manolis Koubarakis, Dimitris Plexousakis, A Formal Framework for Business Process Modelling and Design, Information Systems, v.27 n.5, p.299-319, July 2002
72. Chitta Baral, Michael Gelfond, Representing Concurrent Actions in Extended Logic Programming, Proceedings of the 13th International Joint Conference on Artifical Intelligence, p.866-871, August 28-September 03, 1993, Chambery, France
73. Wei Liu, Wenjie Xu, Dong Wang, Xujie Zhang, Zongtian Liu, An Extending Description Logic for Action Formalism in Event Ontology, International Journal of Computational Science and Engineering, v.9 n.3, p.205-214, April 2014
74. Gero Iwan, History-Based Diagnosis Templates in the Framework of the Situation Calculus, Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence, p.244-259, September 19-21, 2001
75. John R. Fisher, Logic Program based Action Specifications, Proceedings of the 1995 ACM Symposium on Applied Computing, p.248-252, February 26-28, 1995, Nashville, Tennessee, United States
76. Shakil M. Khan, Yves Lespérance, ECASL: A Model of Rational Agency for Communicating Agents, Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, July 25-29, 2005, The Netherlands
77. Gero Iwan, History-based Diagnosis Templates in the Framework of the Situation Calculus, AI Communications, v.15 n.1, p.31-45, September 2002
78. Alfredo Gabaldon, Compiling Control Knowledge Into Preconditions for Planning in the Situation Calculus, Proceedings of the 18th International Joint Conference on Artificial Intelligence, p.1061-1066, August 09-15, 2003, Acapulco, Mexico
79. Codruta Girlea, Eyal Amir, Roxana Girju, Tracking Beliefs and Intentions in the Werewolf Game, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, July 20-24, 2014, Vienna, Austria
80. Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque, Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus, Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence, p.1221-1226, August 23-29, 1997, Nagoya, Japan
81. Stephan Schiffel, Michael Thielscher, Reasoning About General Games Described in GDL-II, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, p.846-851, August 07-11, 2011, San Francisco, California
82. Jens Claßen, Gerhard Lakemeyer, Foundations for Knowledge-based Programs Using ES, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, June 02-05, 2006, Lake District, UK
83. Alexei Lapouchnian, Yves Lespérance, Modeling Mental States in the Analysis of Multiagent Systems Requirements, Proceedings of the 7th International Conference on Agent-oriented Software Engineering VII, May 08, 2006, Hakodate, Japan
84. Sebastian Sardiña, Local Conditional High-Level Robot Programs, Proceedings of the Artificial Intelligence on Logic for Programming, p.110-124, December 03-07, 2001
85. G. Neelakantan Kartha, Soundness and Completeness Theorems for Three Formalizations of Action, Proceedings of the 13th International Joint Conference on Artifical Intelligence, p.724-729, August 28-September 03, 1993, Chambery, France
86. Henrik Grosskreutz, Gerhard Lakemeyer, Turning High-level Plans Into Robot Programs in Uncertain Domains, Proceedings of the 14th European Conference on Artificial Intelligence, August 20-25, 2000, Berlin, Germany
87. Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski, State Defaults and Ramifications in the Unifying Action Calculus, Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, May 09-13, 2010, Toronto, Ontario, Canada
88. Matthew Stone, Abductive Planning with Sensing, Proceedings of the Fifteenth National/tenth Conference on Artificial Intelligence/Innovative Applications of Artificial Intelligence, p.631-636, July 1998, Madison, Wisconsin, USA
89. David Poole, Exploiting the Rule Structure for Decision Making Within the Independent Choice Logic, Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence, p.454-463, August 18-20, 1995, Montréal, Qué, Canada
90. Laura Giordano, Alberto Martelli, Tableau-based Automata Construction for Dynamic Linear Time Temporal Logic*, Annals of Mathematics and Artificial Intelligence, v.46 n.3, p.289-315, March 2006
91. Hector J. Levesque, What is Planning in the Presence of Sensing?, Proceedings of the Thirteenth National Conference on Artificial Intelligence, p.1139-1146, August 04-08, 1996, Portland, Oregon
92. Andreas Herzig, A Simple Separation Logic, Proceedings of the 20th International Workshop on Logic, Language, Information, and Computation, p.168-178, August 20-23, 2013, Darmstadt, Germany
93. Alfredo Gabaldon, Precondition Control and the Progression Algorithm, Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning, June 02-05, 2004, Whistler, British Columbia, Canada
94. Alfredo Gabaldon, Precondition Control and the Progression Algorithm, Proceedings of the Fourteenth International Conference on International Conference on Automated Planning and Scheduling, June 03-07, 2004, Whistler, British Columbia, Canada
95. Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos, An Automated Approach to Monitoring and Diagnosing Requirements, Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering, November 05-09, 2007, Atlanta, Georgia, USA
96. Stephen Zimmerbaum, Richard B. Scherl, Sensing Actions, Time, and Concurrency in the Situation Calculus, Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages, p.31-45, July 07-09, 2000
97. Michael Thielscher, FLUX: A Logic Programming Method for Reasoning Agents, Theory and Practice of Logic Programming, v.5 n.4-5, p.533-565, July 2005
98. Fiora Pirri, Raymond Reiter, Planning with Natural Actions in the Situation Calculus, Logic-based Artificial Intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
99. Andreas Herzig, Dominique Longin, A Logic of Intention with Cooperation Principles and with Assertive Speech Acts As Communication Primitives, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 2, July 15-19, 2002, Bologna, Italy
100. Conrad Drescher, Stephan Schiffel, Michael Thielscher, A Declarative Agent Programming Language based on Action Theories, Proceedings of the 7th International Conference on Frontiers of Combining Systems, September 16-18, 2009, Trento, Italy
101. Graham White, Contexts for Human Action, Proceedings of the 2008 International Conference on Visions of Computer Science: BCS International Academic Conference, p.51-59, September 22-24, 2008, London, UK
102. Fangzhen Lin, Embracing Causality in Specifying the Indirect Effects of Actions, Proceedings of the 14th International Joint Conference on Artificial Intelligence, p.1985-1991, August 20-25, 1995, Montreal, Quebec, Canada
103. Gerhard Lakemeyer, Hector J. Levesque, Query Evaluation and Progression in AOL Knowledge Bases, Proceedings of the 16th International Joint Conference on Artifical Intelligence, p.124-131, July 31-August 06, 1999, Stockholm, Sweden
104. Craig Boutilier, Ronen I. Brafman, Planning with Concurrent Interacting Actions, Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Conference on Innovative Applications of Artificial Intelligence, p.720-726, July 27-31, 1997, Providence, Rhode Island
105. Quoc Bao Vo, Norman Y. Foo, Solving the Qualification Problem, Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence, p.519-531, December 10-14, 2001
106. Ronen I. Brafman, Guy Shani, Replanning in Domains with Partial Information and Sensing Actions, Journal of Artificial Intelligence Research, v.45 n.1, p.565-600, September 2012
107. Laurence Cholvy, Christophe Garion, Claire Saurel, Ability in a Multi-agent Context: A Model in the Situation Calculus, Proceedings of the 6th International Conference on Computational Logic in Multi-Agent Systems, June 27-29, 2005, London, UK
108. Javier Romero, Abdallah Saffidine, Michael Thielscher, Solving the Inferential Frame Problem in the General Game Description Language, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, p.515-521, July 27-31, 2014, Québec City, Québec, Canada
109. Shakil M. Khan, Yves Lespérance, On the Semantics of Conditional Commitment, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, May 08-12, 2006, Hakodate, Japan
110. Alfredo Gabaldon, Non-Markovian Control in the Situation Calculus, Eighteenth National Conference on Artificial Intelligence, p.519-524, July 28-August 01, 2002, Edmonton, Alberta, Canada
111. Peter Fröhlich, Johannes Link, Automated Test Case Generation from Dynamic Models, Proceedings of the 14th European Conference on Object-Oriented Programming, p.472-492, June 12-16, 2000
112. Christiana Panayiotou, Brandon Bennett, Cognitive Context and Arguments from Ontologies for Learning, Proceedings of the 2008 Conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008), p.65-78, July 02, 2008
113. Eugenia Ternovskaia, ID-logic and the Ramification Problem for the Situation Calculus, Proceedings of the 14th European Conference on Artificial Intelligence, August 20-25, 2000, Berlin, Germany
114. Graham White, Contexts for Human Action, Proceedings of the 2008 International Conference on Visions of Computer Science: BCS International Academic Conference, p.51-59, September 22-24, 2008, London, UK
115. Freddy Lécué, Alain Léger, Alexandre Delteil, DL Reasoning and AI Planning for Web Service Composition, Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, p.445-453, December 09-12, 2008
116. Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu, Modeling Dynamic Domains with ConGolog, Proceedings of the 11th International Conference on Advanced Information Systems Engineering, p.365-380, June 14-18, 1999
117. Sheila A. McIlraith, Representing Actions and State Constraints in Model-based Diagnosis, Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Conference on Innovative Applications of Artificial Intelligence, p.43-49, July 27-31, 1997, Providence, Rhode Island
118. Jianbing Ma, Weiru Liu, Paul Miller, Belief Change with Noisy Sensing in the Situation Calculus, Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence, July 14-17, 2011, Barcelona, Spain
119. Lars Karlsson, Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus, Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence, p.1434-1440, August 23-29, 1997, Nagoya, Japan
120. Haodi Zhang, Fangzhen Lin, Mapping Action Language BC to Logic Programs: A Characterization by Postulates, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona
121. Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl, Foundations of a Logical Approach to Agent Programming, Proceedings of the 1995 International Conference on Intelligent Agents II Agent Theories, Architectures, and Languages, August 19-20, 1995, Montréal, Canada
122. Alex Borgida, John Mylopoulos, Raymond Reiter, “…And Nothing Else Changes”: The Frame Problem in Procedure Specifications, Proceedings of the 15th International Conference on Software Engineering, p.303-314, May 17-21, 1993, Baltimore, Maryland, United States
123. Amol Dattatraya Mali, On the Evaluation of Agent Behaviors, Artificial Intelligence, v.143 n.1, p.1-17, January 2003
124. Alexei Lapouchnian, Yves Lespérance, Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of I* Models, Conceptual Modeling: Foundations and Applications: Essays in Honor of John Mylopoulos, Springer-Verlag, Berlin, Heidelberg, 2009
125. Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer, A Semantics for Persistency in Propositional Dynamic Logic, Proceedings of the First International Conference on Computational Logic, p.912-925, July 01, 2000
126. Shakil M. Khan, Yves Lespérance, On the Semantics of Conditional Commitment, Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers, Springer-Verlag, Berlin, Heidelberg, 2006
127. Murray Shanahan, The Event Calculus Explained, Artificial Intelligence Today: Recent Trends and Developments, Springer-Verlag, Berlin, Heidelberg, 1999
128. M. S. Fox, M. Barbuceanu, M. Gruninger, An Organisation Ontology for Enterprise Modelling: Preliminary Concepts for Linking Structure and Behaviour, Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95), p.71, April 20-22, 1995
129. Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Probabilistic Situation Calculus, Annals of Mathematics and Artificial Intelligence, v.32 n.1-4, p.393-431, August 2001
130. M. Koubarakis, D. Plexousakis, Business Process Modelling and Design — A Formal Model and Methodology, BT Technology Journal, v.17 n.4, p.23-35, October 1999
131. Yiqiao Wang, John Mylopoulos, Diagnosing Software Using Statecharts, Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research, November 01-04, 2010, Toronto, Ontario, Canada
132. Gerhard Lakemeyer, Hector J. Levesque, Semantics for a Useful Fragment of the Situation Calculus, Proceedings of the 19th International Joint Conference on Artificial Intelligence, p.490-496, July 30-August 05, 2005, Edinburgh, Scotland
133. Jack Minker, In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002, Theory and Practice of Logic Programming, v.3 n.1, P..1-.9, January 2003
134. Dimitris Plexousakis, Simulation and Analysis of Business Processes Using GOLOG, Proceedings of Conference on Organizational Computing Systems, p.311-322, August 13-16, 1995, Milpitas, California, USA
135. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque, Reasoning About Noisy Sensors in the Situation Calculus, Proceedings of the 14th International Joint Conference on Artificial Intelligence, p.1933-1940, August 20-25, 1995, Montreal, Quebec, Canada
136. Fangzhen Lin, Compiling Causal Theories to Successor State Axioms and STRIPS-like Systems, Journal of Artificial Intelligence Research, v.19 n.1, p.279-314, July 2003
137. Andreas Herzig, Jerome Lang, Pierre Marquis, Action Representation and Partially Observable Planning Using Epistemic Logic, Proceedings of the 18th International Joint Conference on Artificial Intelligence, p.1067-1072, August 09-15, 2003, Acapulco, Mexico
138. Fangzhen Lin, An Ordering on Subgoals for Planning, Annals of Mathematics and Artificial Intelligence, v.21 n.2-4, p.321-342, 1997
139. Jianbing Ma, Weiru Liu, Paul Miller, Handling Sequential Observations in Intelligent Surveillance, Proceedings of the 5th International Conference on Scalable Uncertainty Management, October 10-13, 2011, Dayton, OH, USA
140. Laura Giordano, Alberto Martelli, Verifying Agents' Conformance with Multiparty Protocols, Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers, Springer-Verlag, Berlin, Heidelberg, 2009
141. M. Cialdea Mayer, A. Orlandini, G. Balestreri, C. Limongelli, A Planner Fully based on Linear Time Logic, Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, April 14-17, 2000, Breckenridge, CO, USA
142. John Funge, Xiaoyuan Tu, Demetri Terzopoulos, Cognitive Modeling: Knowledge, Reasoning and Planning for Intelligent Characters, Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, p.29-38, July 1999
143. Dongmo Zhang, Norman Y. Foo, Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem, Proceedings of the European Conference on Logics in Artificial Intelligence, p.357-368, September 23-26, 2002
144. Fangzhen Lin, Hector J. Levesque, What Robots Can Do: Robot Programs and Effective Achievability, Artificial Intelligence, v.101 n.1-2, p.201-226, May, 1998
145. Yiqiao Wang, Sheila A. Mcilraith, Yijun Yu, John Mylopoulos, Monitoring and Diagnosing Software Requirements, Automated Software Engineering, v.16 n.1, p.3-35, March 2009
146. Dongmo Zhang, Samir Chopra, Norman Y. Foo, Consistency of Action Descriptions, Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence, p.70-79, August 18-22, 2002
147. Laura Giordano, Alberto Martelli, Camilla Schwind, Reasoning About Actions in a Multiagent Domain, Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence, p.237-248, September 25-28, 2001
148. Michael Thielscher, Integrating Action Calculi and AgentSpeak: Closing the Gap, Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, May 09-13, 2010, Toronto, Ontario, Canada
149. Michal Sindlar, Mehdi Dastani, John-Jules Meyer, Programming Mental State Abduction, The 10th International Conference on Autonomous Agents and Multiagent Systems, May 02-06, 2011, Taipei, Taiwan
150. Alberto Martelli, Laura Giordano, Reasoning About Web Services in a Temporal Action Logic, Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello, Springer-Verlag, Berlin, Heidelberg, 2006
151. Ronen I. Brafman, Guy Shani, Online Belief Tracking Using Regression for Contingent Planning, Artificial Intelligence, v.241 N.C, p.131-152, December 2016
152. Koen V. Hindriks, Wiebe Van Der Hoek, M. Birna Van Riemsdijk, Agent Programming with Temporally Extended Goals, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, May 10-15, 2009, Budapest, Hungary
153. Benjamin Zarrieß, Jens Claßen, Verification of Knowledge-based Programs over Description Logic Actions, Proceedings of the 24th International Conference on Artificial Intelligence, p.3278-3284, July 25-31, 2015, Buenos Aires, Argentina
154. Liangda Fang, Yongmei Liu, Ximing Wen, On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus, Proceedings of the 24th International Conference on Artificial Intelligence, p.2955-2963, July 25-31, 2015, Buenos Aires, Argentina
155. Li Zhou, George Hripcsak, Methodological Review: Temporal Reasoning with Medical Data-A Review with Emphasis on Medical Natural Language Processing, Journal of Biomedical Informatics, v.40 n.2, p.183-202, April, 2007
156. Laura Giordano, Alberto Martelli, Camilla Schwind, Specialization of Interaction Protocols in a Temporal Action Logic, Electronic Notes in Theoretical Computer Science (ENTCS), v.157 n.4, p.3-22, May, 2006
157. Hua Ming, Carl K. Chang, Can Situations Help with Reusability of Software?, Proceedings, Part I, of the 18th International Conference on Human-Computer Interaction. Theory, Design, Development and Practice, July 17-22, 2016
158. Paula Gouveia, Jaime Ramos, Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach, Annals of Mathematics and Artificial Intelligence, v.41 n.2-4, p.301-338, August 2004
159. Sungwoo Park, Seung-won Hwang, A Logical Account of Uncertain Databases based on Linear Logic, Proceedings of the 12th International Conference on Database Theory, March 23-25, 2009, St. Petersburg, Russia
160. Alexander Bochman, Dynamic Causal Calculus, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, July 20-24, 2014, Vienna, Austria
161. Yves Lespérance, On the Epistemic Feasibility of Plans in Multiagent Systems Specifications, Revised Papers from the 8th International Workshop on Intelligent Agents VIII, p.69-85, August 01-03, 2001
162. Robert P. Goldman, A Stochastic Model for Intrusions, Proceedings of the 5th International Conference on Recent Advances in Intrusion Detection, October 16-18, 2002, Zurich, Switzerland
163. Tiago De Lima, Alternating-time Temporal Announcement Logic, Proceedings of the 12th International Conference on Computational Logic in Multi-agent Systems, July 17-18, 2011, Barcelona, Spain
164. Joohyung Lee, Fangzhen Lin, Loop Formulas for Circumscription, Proceedings of the 19th National Conference on Artifical Intelligence, p.281-286, July 25-29, 2004, San Jose, California
165. Alfredo Gabaldon, Pat Langley, Dialogue Understanding in a Logic of Action and Belief, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, p.515-521, January 25-30, 2015, Austin, Texas
166. Marc Denecker, The Well-Founded Semantics Is the Principle of Inductive Definition, Proceedings of the European Workshop on Logics in Artificial Intelligence, p.1-16, October 12-15, 1998
167. Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo, Encoding Solutions of the Frame Problem in Dynamic Logic, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, p.240-253, September 17-19, 2001
168. Fangzhen Lin, Yoav Shoham, Provably Correct Theories of Action, Journal of the ACM (JACM), v.42 n.2, p.293-320, March 1995
169. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Bounded Situation Calculus Action Theories and Decidable Verification, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, June 10-14, 2012, Rome, Italy
170. Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, On the Semantics of Deliberation in Indigolog — from Theory to Implementation, Annals of Mathematics and Artificial Intelligence, v.41 n.2-4, p.259-299, August 2004
171. Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardina, Incomplete Causal Laws in the Situation Calculus Using Free Fluents, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, p.907-914, July 09-15, 2016, New York, New York, USA
172. Manfred Eppe, Mehul Bhatt, Approximate Postdictive Reasoning with Answer Set Programming, Journal of Applied Logic, v.13 n.4, p.676-719, December 2015
173. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Roller, Forming Beliefs About a Changing World, Proceedings of the Twelfth AAAI National Conference on Artificial Intelligence, p.222-229, August 01-04, 1994, Seattle, Washington
174. Boris Galitsky, Exhaustive Simulation of Consecutive Mental States of Human Agents, Knowledge-Based Systems, 43, p.1-20, May, 2013
175. Matt Thompson, Julian Padget, Steve Battle, An Interactive, Generative Punch and Judy Show Using Institutions, ASP and Emotional Agents, Proceedings of the 2015 International Conference on Coordination, Organizations, Institutions, and Norms in Agent Systems XI, p.396-417, May 04, 2015, Buenos Aires, Argentina
176. Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski, On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies, Proceedings of the 24th International Conference on Artificial Intelligence, p.2840-2846, July 25-31, 2015, Buenos Aires, Argentina
177. Craig Boutilier, Planning and Programming with First-order Markov Decision Processes: Insights and Challenges, Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, July 08-10, 2001, Siena, Italy
178. Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña, Incremental Execution of Guarded Theories, ACM Transactions on Computational Logic (TOCL), v.2 n.4, p.495-525, Oct. 2001
179. Leopoldo E. Bertossi, Javier Pinto, Specifying Active Rules for Database Maintenance, Selected Papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics, p.112-129, September 27-30, 1999
180. Mark Steedman, Dynamic Semantics for Tense and Aspect, Proceedings of the 14th International Joint Conference on Artificial Intelligence, p.1292-1298, August 20-25, 1995, Montreal, Quebec, Canada
181. Matthias Nickles, Integrating Relational Reinforcement Learning with Reasoning About Actions and Change, Proceedings of the 21st International Conference on Inductive Logic Programming, July 31-August 03, 2011, Windsor Great Park, UK
182. Gerhard Lakemeyer, Hector J. Levesque, A Semantical Account of Progression in the Presence of Defaults, Proceedings of the 21st International Jont Conference on Artifical Intelligence, p.842-847, July 11-17, 2009, Pasadena, California, USA
183. Marc Denecker, Extending Classical Logic with Inductive Definitions, Proceedings of the First International Conference on Computational Logic, p.703-717, July 01, 2000
184. Martin Randles, Azzelarabe Taleb-Bendiab, Philip Miseldine, A Logical Treatment for the Emergence of Control in Complex Self-Organising Systems, Proceedings of the 2005 Conference on Self-Organization and Autonomic Informatics (I), p.3-17, May 16, 2005
185. Shakil M. Khan, Yves Lespérance, A Model of Rational Agency for Communicating Agents, Proceedings of the 2004 International Conference on Agent Communication, July 19, 2004, New York, NY
186. Marcelo Arenas, Leopoldo Bertossi, Hypothetical Temporal Reasoning in Databases, Journal of Intelligent Information Systems, v.19 n.2, p.231-259, September 2002
187. Ryan F. Kelly, Adrian R. Pearce, Property Persistence in the Situation Calculus, Artificial Intelligence, v.174 n.12-13, p.865-888, August, 2010
188. Gerhard Lakemeyer, Hector J. Levesque, A Semantical Account of Progression in the Presence of Defaults, Conceptual Modeling: Foundations and Applications: Essays in Honor of John Mylopoulos, Springer-Verlag, Berlin, Heidelberg, 2009
189. Manolis Koubarakis, Dimitris Plexousakis, A Formal Model for Business Process Modeling and Design, Proceedings of the 12th International Conference on Advanced Information Systems Engineering, p.142-156, June 05-09, 2000
190. David Poole, A Framework for Decision-theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility, Proceedings of the Twelfth International Conference on Uncertainty in Artificial Intelligence, p.436-445, August 01-04, 1996, Portland, OR
191. Leora Morgenstern, Book Reviews: Knowledge Representation and Commonsense Reasoning: Reviews of Four Books, Artificial Intelligence, v.170 n.18, p.1239-1250, December, 2006
192. Gerhard Lakemeyer, Hector J. Levesque, Situations, Si! Situation Terms, No!, Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning, June 02-05, 2004, Whistler, British Columbia, Canada
193. Alex Borgida, John Mylopoulos, Raymond Reiter, On the Frame Problem in Procedure Specifications, IEEE Transactions on Software Engineering, v.21 n.10, p.785-798, October 1995
194. Leopoldo Bertossi, Marcelo Arenas, Cristian Ferretti, SCDBR: An Automated Reasoner for Specifications of Database Updates, Journal of Intelligent Information Systems, v.10 n.3, p.253-280, June 1, 1998
195. Vladimir Lifschitz, Two Components of An Action Language, Annals of Mathematics and Artificial Intelligence, v.21 n.2-4, p.305-320, 1997
196. Giuseppe De Giacomo, Hector Levesque, Two Approaches to Efficient Open-world Reasoning, Logic-based Artificial Intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
197. Freddy Lécué, Alexandre Delteil, Alain Léger, S <inf>sl</inf>Golog: When Conditional Compositions of Web Services Meet Semantic Links and Causal Laws, Web Intelligence and Agent Systems, v.9 n.1, p.1-25, January 2011
198. Andreas Herzig, Ivan Varzinczak, Metatheory of Actions: Beyond Consistency, Artificial Intelligence, v.171 n.16-17, p.951-984, November, 2007
199. Andreas Herzig, Laurent Perrussel, Ivan Varzinczak, Elaborating Domain Descriptions, Proceedings of the 2006 Conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva Del Garda, Italy, p.397-401, May 22, 2006
200. Michael Thielscher, A Unifying Action Calculus, Artificial Intelligence, v.175 n.1, p.120-141, January, 2011
201. Luigia Carlucci Aiello, Fabio Massacci, Verifying Security Protocols As Planning in Logic Programming, ACM Transactions on Computational Logic (TOCL), v.2 n.4, p.542-580, Oct. 2001
202. Fiora Pirri, Ray Reiter, Some Contributions to the Metatheory of the Situation Calculus, Journal of the ACM (JACM), v.46 n.3, p.325-361, May 1999
203. Erik T. Mueller, Event Calculus and Temporal Action Logics Compared, Artificial Intelligence, v.170 n.11, p.1017-1029, August 2006
204. Werner Ceusters, Shahid Manzoor, How to Track Absolutely Everything, Proceedings of the 2010 Conference on Ontologies and Semantic Technologies for Intelligence, p.13-36, August 02, 2010
205. Erik T. Mueller, Event Calculus and Temporal Action Logics Compared, Artificial Intelligence, v.170 n.11, p.1017-1029, August 2006
206. Antonis Kakas, Loizos Michael, Rob Miller, Modular-E and the Role of Elaboration Tolerance in Solving the Qualification Problem, Artificial Intelligence, v.175 n.1, p.49-78, January, 2011
207. Richard B. Scherl, Hector J. Levesque, Knowledge, Action, and the Frame Problem, Artificial Intelligence, v.144 n.1-2, p.1-39, March 2003
208. Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß, Exploring the Boundaries of Decidable Verification of Non-terminating Golog Programs, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, p.1012-1019, July 27-31, 2014, Québec City, Québec, Canada
209. Samin Ishtiaq, Peter W. O'Hearn, BI As An Assertion Language for Mutable Data Structures, ACM SIGPLAN Notices, v.46 n.4, April 2011
210. Marc Denecker, Eugenia Ternovska, Inductive Situation Calculus, Artificial Intelligence, v.171 n.5-6, p.332-360, April, 2007
211. Munindar P. Singh, Daniel G. Bobrow, Michael N. Huhns, Margaret King, Hiroaki Kitano, and Ray Reiter. "The Next Big Thing: Position Statements]], Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence, p.1511-1522, August 23-29, 1997, Nagoya, Japan
212. Glenn Shafer, Peter R. Gillett, Richard Scherl, The Logic of Events, Annals of Mathematics and Artificial Intelligence, v.28 n.1-4, p.315-389, 2000
213. Samin S. Ishtiaq, Peter W. O'Hearn, BI As An Assertion Language for Mutable Data Structures, ACM SIGPLAN Notices, v.36 n.3, p.14-26, March 2001
214. Joohyung Lee, Fangzhen Lin, Loop Formulas for Circumscription, Artificial Intelligence, v.170 n.2, p.160-185, February 2006
215. Joohyung Lee, Fangzhen Lin, Loop Formulas for Circumscription, Artificial Intelligence, v.170 n.2, p.160-185, February 2006
216. Amitabha Mukerjee, Amol Dattatraya Mali, Modular Models of Intelligence – Review, Limitations and Prospects, Artificial Intelligence Review, v.17 n.1, p.39-64, March 2002
217. Alexander Bochman, A Causal Approach to Nonmonotonic Reasoning, Artificial Intelligence, v.160 n.1, p.105-143, December 2004
218. Andreas Herzig, Modal Probability, Belief, and Actions, Fundamenta Informaticae, v.57 n.2-4, p.323-344, April 2003
219. Andreas Herzig, Modal Probability, Belief, and Actions, Fundamenta Informaticae, v.57 n.2-4, p.323-344, February 2003
220. Josefina Sierra-Santibáñez, Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning, Annals of Mathematics and Artificial Intelligence, v.39 n.1-2, p.61-100, September 2003
221. Craig Boutilier, Ronen I. Brafman, Partial-order Planning with Concurrent Interacting Actions, Journal of Artificial Intelligence Research, v.14 n.1, p.105-136, January 2001
222. Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota, Time Is Up! --- Norms with Deadlines in Action Languages, Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, p.223-238, September 16-18, 2013, Corunna, Spain
223. Alexander Bochman, A Causal Approach to Nonmonotonic Reasoning, Artificial Intelligence, v.160 n.1-2, p.105-143, December, 2004
224. Gerhard Lakemeyer, Hector J. Levesque, A Semantic Characterization of a Useful Fragment of the Situation Calculus with Knowledge, Artificial Intelligence, v.175 n.1, p.142-164, January, 2011
225. Josefina Sierra-Santibáñez, Heuristic Planning: A Declarative Approach based on Strategies for Action Selection, Artificial Intelligence, v.153 n.1-2, p.307-337, March 2004
226. Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner, Nonmonotonic Causal Theories, Artificial Intelligence, v.153 n.1-2, p.49-104, March 2004
227. Michael Thielscher, The Qualification Problem: A Solution to the Problem of Anomalous Models, Artificial Intelligence, v.131 n.1-2, p.1-37, September 2001
228. Gerhard Lakemeyer, The Situation Calculus: A Case for Modal Logic, Journal of Logic, Language and Information, v.19 n.4, p.431-450, October 2010
229. Héctor Geffner, Functional Strips: A More Flexible Language for Planning and Problem Solving, Logic-based Artificial Intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
230. Simona Perri, Francesco Scarcello, Nicola Leone, Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation, Theory and Practice of Logic Programming, v.5 n.1-2, p.123-159, January 2005
231. Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith, Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, July 20-24, 2014, Vienna, Austria
232. Peter W. O'Hearn, Scalable Specification and Reasoning: Challenges for Program Logic, Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, Springer-Verlag, Berlin, Heidelberg, 2005
233. Eyal Amir, Pedrito Maynard-Zhang, Logic-based Subsumption Architecture, Artificial Intelligence, v.153 n.1-2, p.167-237, March 2004
234. Christoph G. Jung, Klaus Fischer, Logic-Based Hybrid Agents, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, p.626-654, January 2002
235. Stephan Schiffel, Michael Thielscher, Representing and Reasoning About the Rules of General Games with Imperfect Information, Journal of Artificial Intelligence Research, v.49 n.1, p.171-206, January 2014
236. Juan C. Augusto, Guillermo R. Simari, A Temporal Argumentative System, AI Communications, v.12 n.4, p.237-257, December 1999
237. Quoc Bao Vo, Norman Y. Foo, Reasoning About Action: An Argumentation-theoretic Approach, Journal of Artificial Intelligence Research, v.24 n.1, p.465-518, July 2005
238. Rob Miller, Murray Shanahan, Some Alternative Formulations of the Event Calculus, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, p.452-490, January 2002
239. W. Bibel, Let's plan It Deductively!, Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence, p.1549-1562, August 23-29, 1997, Nagoya, Japan
240. Afsaneh Shirazi, Eyal Amir, First-order Logical Filtering, Artificial Intelligence, v.175 n.1, p.193-219, January, 2011
241. Craig Boutilier, Knowledge Representation for Stochastic Decision Processes, Artificial Intelligence Today: Recent Trends and Developments, Springer-Verlag, Berlin, Heidelberg, 1999
242. Joohyung Lee, Ravi Palla, Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming, Journal of Artificial Intelligence Research, v.43 n.1, p.571-620, January 2012
243. Blai Bonet, Héctor Geffner, Planning and Control in Artificial Intelligence: A Unifying Perspective, Applied Intelligence, v.14 n.3, p.237-252, May-June 2001
244. John Mylopoulos, Alex Borgida, Eric Yu, Representing Software Engineering Knowledge, Automated Software Engineering, v.4 n.3, p.291-317, July 1997
245. Eyal Amir, Allen Chang, Learning Partially Observable Deterministic Action Models, Journal of Artificial Intelligence Research, v.33 n.1, p.349-402, September 2008
246. Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Continuous Requirements Management for Organisation Networks: A (dis)trust-based Approach, Requirements Engineering, v.8 n.1, p.4-22, February 2003
247. Scott Sanner, Craig Boutilier, Practical Solution Techniques for First-order MDPs, Artificial Intelligence, v.173 n.5-6, p.748-788, April, 2009
248. Renwei Li, Luís Moniz Pereira, Representing and Reasoning About Concurrent Actions with Abductive Logic Programs, Annals of Mathematics and Artificial Intelligence, v.21 n.2-4, p.245-303, 1997
249. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Bounded Situation Calculus Action Theories, Artificial Intelligence, v.237 N.C, p.172-203, August 2016
250. Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca, Design and Results of the Fifth Answer Set Programming Competition, Artificial Intelligence, v.231 N.C, p.151-181, February 2016
251. Erik T. Mueller, Understanding Script-based Stories Using Commonsense Reasoning, Cognitive Systems Research, v.5 n.4, p.307-340, December, 2004
252. Michael Thielscher, Challenges for Action Theories, Springer-Verlag, Berlin, Heidelberg, 2000
253. Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore, Message-based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection, Journal of Artificial Intelligence Research, v.35 n.1, p.49-117, May 2009
254. Andreas Herzig, Logics of Knowledge and Action: Critical Analysis and Challenges, Autonomous Agents and Multi-Agent Systems, v.29 n.5, p.719-753, September 2015
255. Jack Minker, Introduction to Logic-based Artificial Intelligence, Logic-based Artificial Intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
256. Leora Morgenstern, Sheila A. McIlraith, John McCarthy's Legacy, Artificial Intelligence, v.175 n.1, p.1-24, January, 2011
257. Luca Chittaro, Angelo Montanari, Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches, Annals of Mathematics and Artificial Intelligence, v.28 n.1-4, p.47-106, 2000
258. Matt Ginsberg, Essentials of Artificial Intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2012
259. Ronald Brachman, Hector Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2004
260. Nils J. Nilsson, Artificial Intelligence: A New Synthesis, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1998
261. Erik T. Mueller, Commonsense Reasoning: An Event Calculus Based Approach, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2014
262. Michael David Fisher, Dov M. Gabbay, Lluis Vila, Handbook of Temporal Reasoning in Artificial Intelligence, 2005
263. Frank Van Harmelen, Frank Van Harmelen, Vladimir Lifschitz, Bruce Porter, Handbook of Knowledge Representation, Elsevier Science, San Diego, 2007
264. Frank Van Harmelen, Frank Van Harmelen, Vladimir Lifschitz, Bruce Porter, Handbook of Knowledge Representation, Elsevier Science, San Diego, 2007
265. Frank Van Harmelen, Frank Van Harmelen, Vladimir Lifschitz, Bruce Porter, Handbook of Knowledge Representation, Elsevier Science, San Diego, 2007
266.

<a Href="signin.cfm?CFID=945291791&CFTOKEN=79567427">

}};

	Author	volume	Date Value	title	type	journal	titleUrl	doi	note	year
1991 TheFrameProbleminSituationtheCa	Raymond Reiter			The Frame Problem in Situation the Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression						1991

1991 TheFrameProbleminSituationtheCa

Notes

Cited By

Quotes

Abstract

References

Navigation menu

Search