Publications
A list of selected publications in alphabetical order.
[1] |
Fahiem Bacchus, Joseph Y. Halpern, and Hector J. Levesque.
Reasoning about noisy sensors in the situation calculus.
In Proceedings of the International Joint Conference on
Artificial Intelligence (IJCAI-95), pages 1933-1940, 1995. [ bib | .ps | .pdf ] |
[2] |
A. Borgida, J. Mylopoulos, and R. Reiter.
On the frame problem in procedure specifications.
IEEE Transactions on Software Engineering, 21(10):785-798,
October 1995. [ bib | .ps | .pdf ] |
[3] |
Craig Boutilier, Ray Reiter, and Bob Price.
Symbolic dynamic programming for First-Order MDPs.
In Bernhard Nebel, editor, Proceedings of the seventeenth
International Conference on Artificial Intelligence (IJCAI-01), pages
690-700, San Francisco, CA, August 4-10 2001. Morgan Kaufmann Publishers,
Inc. [ bib | .ps | .pdf ] |
[4] |
Craig Boutilier, Ray Reiter, Mikhail Soutchanski, and Sebastian Thrun.
Decision-theoretic, high-level agent programming in the situation
calculus.
In Proceedings of the 7th Conference on Artificial Intelligence
(AAAI-00) and of the 12th Conference on Innovative Applications of Artificial
Intelligence (IAAI-00), pages 355-362, Menlo Park, CA, July 30- 3 2000.
AAAI Press. [ bib | .ps | .pdf ] |
[5] |
Craig Boutilier, Ray Reiter, Mikhail Soutchanski, and Sebastian Thrun.
Decision-theoretic, high-level agent programming in the situation
calculus.
In Workshop on Decision-Theoretic Planning, Seventh
International Conference on Principles of Knowledge Representation and
Reasoning (KR2000), Breckenridge, Colorado, Apr 2000. [ bib | .ps | .pdf ] |
[6] |
G. De Giacomo and H. J. Levesque.
An incremental interpreter for high-level programs with sensing.
Technical report, Department of Computer Science, University of
Toronto, Toronto, Canada, 1998. [ bib | .ps | .pdf ] |
[7] |
Giuseppe De Giacomo, Yves Lespérance, and Hector Levesque.
Reasoning about concurrent execution, prioritized interrupts, and
exogenous actions in the situation calculus.
In Proceedings of the Fifteenth International Joint Conference
on AI (IJCAI-97), pages 1221-1226, Nagoya, August 1997. [ bib | .ps | .pdf ] |
[8] |
Giuseppe De Giacomo, Yves Lespérance, and Hector Levesque.
ConGolog, a concurrent programming language based on the situation
calculus.
Artificial Intelligence, 121(1-2):109-169, 2000. [ bib | .ps | .pdf ] |
[9] |
Giuseppe De Giacomo, Yves Lespérance, Hector Levesque, and Sebastian
Sardiña.
On the semantics of deliberation in IndiGolog - from theory to
implementation.
In .Fensel, F. Giunchiglia, D. McGuinness, and M. A. Williams,
editors, Proceedings of Eighth International Conference in Principles of
Knowledge Representation and Reasoning (KR-2002), pages 603-614, Toulouse,
France, April 2002. Morgan Kaufmann. [ bib | .ps | .pdf ] |
[10] |
Giuseppe De Giacomo and Hector Levesque.
An incremental interpreter for high-level programs with sensing.
In Hector J. Levesque and Fiora Pirri, editors, Logical
foundation for cognitive agents: contributions in honor of Ray Reiter,
pages 86-102. Springer, Berlin, 1999. [ bib | .ps | .pdf ] |
[11] |
Giuseppe De Giacomo and Hector Levesque.
Projection using regression and sensors.
In Proceedingsof the Sixteenth International Joint Conference on
Artificial Intelligence (IJCAI-99), pages 160-165, Stockholm, Sweden, 1999. [ bib | .ps | .pdf ] |
[12] |
Giuseppe De Giacomo, Hector J. Levesque, and Sebastian Sardiña.
Incremental execution of guarded theories.
ACM Transactions on Computational Logic (TOCL), 2(4):495-525,
October 2001. [ bib | .ps | .pdf ] |
[13] |
Giuseppe De Giacomo, Ray Reiter, and Mikhail Soutchanski.
Execution monitoring of high-level robot programs.
In Proceedings of the 6th International Conference on Principles
of Knowledge Representation and Reasoning (KR’98), pages 453-465, 1998. [ bib | .ps | .pdf ] |
[14] |
Giuseppe De Giacomo, Eugenia Ternovskaia, and Ray Reiter.
Non-terminating processes in the situation calculus.
In Working Notes of Robots, Softbots, Immobots: Theories of
Action, Planning and Control. AAAI-97 Workshop, July 28 1997. [ bib ] |
[15] |
Lin Fangzhen and Ray Reiter.
How to progress a database.
Artificial Intelligence, 92:131-167, 1997. [ bib | .ps | .pdf ] |
[16] |
Alberto Finzi, Fiora Pirri, and Ray Reiter.
Open world planning in the situation calculus.
In Proceedings of the 7th Conference on Artificial Intelligence
(AAAI-00) and of the 12th Conference on Innovative Applications of
Artificial Intelligence (IAAI-00), pages 754-760, Menlo Park, CA, July
30- 3 2000. AAAI Press. [ bib | .ps | .pdf ] |
[17] |
John Funge.
Interval-valued epistemic (IVE) fluents.
In AIII Fall Symposium on Cognitive Robotics, pages 44-51,
Orlando, FL., October 1998. [ bib ] |
[18] |
John Funge.
Making Them Behave: Cognitive Models for Computer Animation.
PhD thesis, University of Toronto, Toronto, Canada, 1998. [ bib | .pdf ] |
[19] |
John Funge.
Representing knowledge within the situation calculus using
interval-valued epitemic fluents.
Journal of Reliable Computing, 5(1), 1999. [ bib | .ps | .pdf ] |
[20] |
Alfredo Gabaldon.
Non-markovian control in the situation calculus.
In The Second International Workshop on Cognitive Robotics (held
in conjunction with ECAI2000), Berlin, Germany, August 2000. [ bib | .ps | .pdf ] |
[21] |
Alfredo Gabaldon.
Programming hierarchical task networks in the situation calculus.
In AIPS’02 Workshop on On-line Planning and Scheduling,
Toulouse, France, April 2002. [ bib | .ps | .pdf ] |
[22] |
Koen Hindriks, Yves Lespérance, and Hector Levesque.
An embedding of congolog in 3APL.
Technical Report UU-CS-2000-13, Department of Computer Science,
University Utrecht, 2000. [ bib ] |
[23] |
T. Kelley.
Modeling complex systems in the situation calculus: A case study
using the dagstuhl steam boiler problem.
In In Principles of Knowledge Representation and Reasoning:
Proceedings of the Fifth International Conference (KR’96), Cambridge,
Massachusetts, U.S.A, November 1996. [ bib | .ps | .pdf ] |
[24] |
T. Kelley.
Reasoning about physical systems with the situation calculus.
In Proc. of the Third Symposium on Logical Formalizations of
Commonsense Reasoning, Stanford, CA, Jan 1996. [ bib | .ps | .pdf ] |
[25] |
I Kiringa.
Simulation of advanced transaction models using golog.
In Proceedings of the 8th Biennial Workshop on Data Bases and
Programming Languages (DBPL’01), 2001. [ bib | .ps | .pdf ] |
[26] |
I. Kiringa.
Towards a theory of advanced transaction models in the situation
calculus (extended abstract).
In Proceedings of the VLDB 8th International Workshop on
Knowledge Representation Meets Databases (KRDB’01), 2001. [ bib | .ps | .pdf ] |
[27] |
I. Kiringa.
Specifying event logics for active databases.
In Proceedings of the KR 8th International Workshop on Knowledge
Representation Meets Databases (KRDB’02), Toulouse, April 2002. [ bib | .ps | .pdf ] |
[28] |
Iluju Kiringa.
Logical Foundations of Active Databases.
PhD thesis, Department of Computer Science, University of Toronto,
Toronto, Canada, 2003. [ bib | .pdf ] |
[29] |
G. Lakemeyer and H. Levesque.
Query evaluation and progression in aol knowledge bases.
In Proc. IJCAI-99, 1999. [ bib | .ps | .pdf ] |
[30] |
G. Lakemeyer and H. J. Levesque.
AOL: A logic of acting, sensing, knowing, and only knowing.
In Principles of Knowledge Representation and Reasoning:
Proceedings of the Sixth International Conference (KR’98), pages 316-327,
1998. [ bib | .ps | .pdf ] |
[31] |
Gerhard Lakemeyer.
On sensing and off-line interpreting in Golog.
In H. Levesque and F. Pirri, editors, Logical Foundations for
Cognitive Agents, Contributions in Honor of Ray Reiter, pages 173-187.
Springer, Berlin, 1999. [ bib ] |
[32] |
Gerhard Lakemeyer and Hector Levesque.
Situations, si! situation terms, no!
In Proceedings of KR-2004, 2004. [ bib | .pdf ] |
[33] |
Y. Lespérance.
An approach to modeling indexicality in action and communication.
In In Reasoning about Mental States: Formal Theories and
Applications, Papers from the 1993 AAAI Spring Symposium, pages 79-85,
Stanford, CA, March 1993. AAAI Press. [ bib | .ps | .pdf ] |
[34] |
Y. Lespérance, H. Levesque, F. Lin, and R. Scherl.
Ability and knowing how in the situation calculus.
Studia Logica, 66(1):165-186, October 2000. [ bib | .ps | .pdf ] |
[35] |
Y. Lespérance and H. J. Levesque.
An argument for indexical representations in temporal reasoning.
In Renee Elio, editor, Proceedings of the Tenth Biennial
Conference of the Canadian Society for Computational Studies of
Intelligence, pages 271-277, Banff, Canada, May 1994. [ bib | .ps | .pdf ] |
[36] |
Y. Lespérance and H. J. Levesque.
Indexical knowledge and robot action - a logical account.
Artificial Intelligence, 73:69-115, 1995. [ bib | .ps | .pdf ] |
[37] |
Y. Lespérance, H. J. Levesque, and S. Ruman.
An experiment in using golog to build a personal banking assistant.
In L. Rao and W. Wobcke, editors, Intelligent Agent Systems:
Theoretical and Practical Issues, volume 1209 of Lectures Notes in
Artificial Intelligence (LNAI), pages 27-43. Springer-Verlag, 1997. [ bib | .ps | .pdf ] |
[38] |
Y. Lespérance and R. Levesque, H. J. Reiter.
A situation calculus approach to modeling and programming agents.
In Rao A. and M. Wooldridge, editors, Foundations and Theories
of Rational Agency. Kluwer, 1999. [ bib | .ps | .pdf ] |
[39] |
Y. Lespérance, K. Tam, and M. Jenkin.
Reactivity in a logic-based robot programming framework.
In Cognitive Robotics - Papers from the 1998 AAAI Fall
Symposium, pages 98-105, Orlando, FL., October 1998. AAAII Press. [ bib | .pdf ] |
[40] |
Yves Lespérance.
On the epistemic feasibility of plans in multiagent systems
specifications.
In J.-J. Ch. Meyer and M. Tambe, editors, Pre-Proceedings of the
8th International Workshop on Agent Theories, Architectures, and Languages
(ATAL-01), volume 2333 of LNAI, pages 69-85, Seattle, USA, August
2001. [ bib ] |
[41] |
Yves Lespérance, Todd G. Kelly, John Mylopoulos, and Eric S.K. Yu.
Modeling dynamic domains with ConGolog.
In Proceedings of CAiSE-99, Heidelberg, Germany, June 1999. [ bib | .ps | .pdf ] |
[42] |
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond
Reiter, and Richard B. Scherl.
A logical approach to high-level robot programming. a progress
report.
In Control of the Physical World by Intelligent Systems, Papers
from the 1994 AAAI Fall Symposium. Benjamin Kuipers, New Orlands, L.A.,
November 1994. [ bib | .ps | .pdf ] |
[43] |
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond
Reiter, and Richard B. Scherl.
Foundations of a logical approach to agent programming.
In M Woolridge, J. Muller, and M. Tambe, editors, Intelligent
Agents II. Proceedings of the 1995 Workshop on Agent Theories, Architectures,
and Languages (ATAL-95), pages 331-346. Springer-Verlag, 1995. [ bib | .ps | .pdf ] |
[44] |
Yves Lespérance and Ho-Kong Ng.
Integrating planning into reactive high-level robot programs.
In In Proceedings of the Second International Cognitive Robotics
Workshop, pages 49-54, Berlin, Germany, August 2000. [ bib ] |
[45] |
H. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl.
GOLOG: A logic programming language for dynamic domains.
Journal of Logic Programming, 31:59-84, 1997. [ bib | .ps | .pdf ] |
[46] |
Hector Levesque.
What is planning in the presence of sensing?
In The Proceedings of the Thirteenth National Conference on
Artificial Intelligence, AAAI-96, pages 1139-1146, Portland, Oregon, 1996.
American Association for Artificial Intelligence. [ bib | .ps | .pdf ] |
[47] |
Hector Levesque and Maurice Pagnucco.
LeGolog: Inexpensive experiments in cognitive robotics.
In Proceedings of the Second International Cognitive Robotics
Workshop, Berlin, Germany, August 2000. [ bib ] |
[48] |
Hector Levesque, Fiora Pirri, and Ray Reiter.
Foundations for a calculus of situations.
Electronic Transactions of AI (ETAI), 2(3-4):159-178, 1998. [ bib ] |
[49] |
Hector Levesque and Ray Reiter.
High-level robotic control: Beyond planning. a position paper.
In AIII 1998 Spring Symposium: Integrating Robotics Research:
Taking the Next Big Leap, March 1998. [ bib | .ps | .pdf ] |
[50] |
Hector J. Levesque and Gerhard Lakemeyer.
The Logic of Knowledge Bases.
MIT Press, 2001. [ bib ] |
[51] |
F. Lin.
Embracing causality in specifying the indirect effects of actions.
In In Proc. IJCAI-95, 1995. [ bib | .ps | .pdf ] |
[52] |
F. Lin.
Embracing causality in specifying the indeterminate effects of
actions.
In Proc. at AAAI-96. AAAI Press, 1996. [ bib | .ps | .pdf ] |
[53] |
F. Lin.
An ordering on subgoals for planning.
Annals of Mathematics and Artificial Intelligence. Special Issue
in Honor of Professor Michael Gelfond, 21:321-342, 1997. [ bib | .ps | .pdf ] |
[54] |
F. Lin and R. Reiter.
Forget it!
In Proc. of AAAI Fall Symposium on Relevance, New Orleans, USA,
Novemeber 1994. [ bib | .ps | .pdf ] |
[55] |
F. Lin and R. Reiter.
How to progress a database (and why) I: Formal foundations.
In In Proc. Fourth International Conference on Principles of
Knowledge Representation and Reasoning (KR-94), 1994. [ bib | .ps | .pdf ] |
[56] |
F. Lin and R. Reiter.
How to progress a database ii: The strips connection.
In In Proc. IJCAI-95, 1995. [ bib | .ps | .pdf ] |
[57] |
F. Lin and R. Reiter.
Rules as actions: A situation calculus semantics for logic
programs.
Journal of Logic Programming, Special issue on Reasoning about
Action and Change, 31:299-330, 1997. [ bib | .ps | .pdf ] |
[58] |
F. Lin and Y. Shoham.
Provably correct theories of action.
Journal of ACM, 42(2):293-320, 1995. [ bib | .ps | .pdf ] |
[59] |
F. Lin and Y. Shoham.
On non-forgetting and minimal learning.
In N. Asher, K. Korta, and J. Ezquerro, editors, Proc. of the
1993 International Coll. on Cognitive Science. Kluwer Academic Publishers,
1996. [ bib | .ps | .pdf ] |
[60] |
Fangzhen Lin.
Applications of the situation calculus to formalizing control and
strategic information: The Prolog cut operator.
In In Proceedings of IJCAI-97, pages 1412-1418, 1997.
(IJCAI-97 Distinguished Paper Award). [ bib | .ps | .pdf ] |
[61] |
Fangzhen Lin and Hector J. Levesque.
What robots can do: Robot programs and effective achievability.
Artificial Intelligence, 101:201-226, 1998. [ bib | .ps | .pdf ] |
[62] |
Fangzhen Lin and Ray Reiter.
State constraints revisited.
Journal of Logic and Computation, 4(5):655-678, 1994. [ bib | .ps | .pdf ] |
[63] |
Yongmei Liu.
A hoare-style proof system for robot programs.
In Proceedings of AAAI-02, Edmonton, Canada, July 2002. [ bib | .ps | .pdf ] |
[64] |
Yongmei Liu, Gerhard Lakemeyer, and Hector J. Levesque.
A logic of limited belief for reasoning with disjunctive information.
In Proc. KR-04, pages 587-597, Whistler, Canada, June 2004. [ bib | .pdf ] |
[65] |
Yongmei Liu and Hector Levesque.
A tractability result for reasoning with incomplete first-order
knowledge bases.
In Proc. IJCAI-03, pages 83-88, Acapulco, Mexico, August 2003. [ bib | .ps ] |
[66] |
Yongmei Liu and Hector J. Levesque.
Tractable reasoning in first-order knowledge bases with disjunctive
information.
In Proc. AAAI-05, Pittsburgh, Pennsylvania, July 2005. [ bib | .pdf ] |
[67] |
Yongmei Liu and Hector J. Levesque.
Tractable reasoning with incomplete first-order knowledge in dynamic
systems with context-dependent actions.
In Proc. IJCAI-05, Edinburgh, Scotland, August 2005. Note: The version of sensing in the paper in the proceeding has a small technical problem, which has been corrected here. [ bib | .pdf ] |
[68] |
M. Marcu, Y Lespérance, H. J. Levesque, F. Lin, R. Reiter, and R. Scherl.
Distributed software agents and communication in the situation
calculus.
In In Proc. Intelligent Computer Communication (ICC’95),
Cluj-Napoca, Romania, June 1995. [ bib | .ps | .pdf ] |
[69] |
Sheila A. McIlraith.
A closed-form solution to the ramification problem (sometimes).
In In Proceedings the Nonmonotonic Reasoning, Action and Change
Workshop at IJCAI (NRAC-97), 1997. [ bib | .ps | .pdf ] |
[70] |
Sheila A. McIlraith.
Explanatory diagnosis: Conjecturing actions to explain obsevations.
In In Proceedings of the Eighth International Workshop on
Principles of Diagnosis (DX’97), pages 69-78, 1997. [ bib | .ps | .pdf ] |
[71] |
Sheila A. McIlraith.
Representing actions and state constraints in model-based diagnosis.
In In Proceedings of the National Conference on Artificial
Intelligence (AAAI-97), pages 43-49, 1997. [ bib | .ps | .pdf ] |
[72] |
Sheila A. McIlraith.
Towards a Formal Account of Diagnostic Problem Solving.
PhD thesis, Department of Computer Science, University of Toronto,
Toronto, Canada, 1997. [ bib ] |
[73] |
Ron Petrick and Hector Levesque.
Knowledge equivalence in combined action theories.
In Proceedings of KR-2002, Toulouse, France, April 2002. [ bib | .ps | .pdf ] |
[74] |
J. Pinto and R. Reiter.
Temporal reasoning in logic programming: A case for the situation
calculus.
In Proc. of the 10th International Conference on Logic
Programming, Budapest, Hungary, June 1993. [ bib | .ps | .pdf ] |
[75] |
J. Pinto and R. Reiter.
Reasoning about time in the situation calculus.
Annals of Mathematics and Artificial Intelligence,
14:2510-268, September 1995. [ bib | .ps | .pdf ] |
[76] |
Javier Pinto.
Temporal Reasoning in the Situation Calculus.
PhD thesis, Department of Computer Science, University of Toronto,
Toronto, Canada, January 1994. [ bib | .ps | .pdf ] |
[77] |
Javier Pinto.
Occurrences and narratives as constraints in the branching structure
of the situation calculus.
Journal of Logic and Computation, 8:777-808, 1998. [ bib | .ps | .pdf ] |
[78] |
Fiora Pirri and Ray Reiter.
Some contributions to the metatheory of the situation calculus.
Journal of the ACM, 46(3):261-325, 1999. [ bib | .ps | .pdf ] |
[79] |
R. Reiter.
Formalizing database evolution in the situation calculus.
In Proc. of the International Conference on Fifth Generation
Computer Systems, pages 600-609, Tokyo, Japan, June 1992.
Invited paper. [ bib | .ps | .pdf ] |
[80] |
R. Reiter.
In formalizing database updates: preliminary report.
In Proc. of the 3rd International Conference on Extending
Database Technology, pages 10-20, Vienna, Austria, March 1992.
Invited paper. [ bib | .ps | .pdf ] |
[81] |
R. Reiter.
On specifying database updates.
Journal of Logic Programming, 25(1):53-91, October 1995. [ bib | .ps | .pdf ] |
[82] |
R. Reiter.
Natural actions, concurrency and continuous time in the situation
calculus.
In In Principles of Knowledge Representation and Reasoning:
Proceedings of the Fifth International Conference (KR’96), pages 2-13,
Cambridge, Massachusetts, U.S.A., November 1996. [ bib | .ps | .pdf ] |
[83] |
R. Reiter and Y. Zheng.
Scheduling in the situation calculus: A case study.
Annals of Mathematics and Artificial Intelligence. Special issue
on logic programming, nonmonotonic reasoning and action, 1996. [ bib | .ps | .pdf ] |
[84] |
Ray Reiter.
The frame problem in the situation calculus: A simple solution
(sometimes) and a completeness result for goal regression.
In Vladimir Lifschitz, editor, Artificial Intelligence and
Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages
359-380. Academic Press, San Diego, CA, 1991. [ bib | .ps | .pdf ] |
[85] |
Ray Reiter.
Proving properties of states in the situation calculus.
Artificial Intelligence, 64:337-351, 1993. [ bib | .ps | .pdf ] |
[86] |
Ray Reiter.
Sequential, temporal golog.
In Principles of Knowledge Representation and Reasoning:
Proceedings of the Sixth International Conference (KR’98), pages 547-556,
Trento, Italy, 1998. [ bib | .ps | .pdf ] |
[87] |
Ray Reiter.
Narratives as programs.
In A. G. Cohn, F. Giunchiglia, and B. Selman, editors,
Principles of Knowledge Representation and Reasoning: Proceedings of the
Seventh International Conference (KR2000), San Francisco, CA, 2000. Morgan
Kaufmann. [ bib | .ps | .pdf ] |
[88] |
Ray Reiter.
On knowledge-based programming with sensing in the situation
calculus.
ACM Transactions on Computational Logic (TOCL), 2(4):433-457,
October 2001. [ bib | .ps | .pdf ] |
[89] |
Raymond Reiter.
The projection problem in the situation calculus: A soundness and
completeness result, with and application to database updates.
In Proceedings of the First International Conference on AI
Planning Systems, pages 198-203, College Park, Maryland, June 15-17 1992. [ bib | .ps | .pdf ] |
[90] |
Raymond Reiter.
Knowledge in Action. Logical Foundations for Specifying and
Implementing Dynamical Systems.
MIT Press, 2001. [ bib ] |
[91] |
Sebastian Sardiña and Steven Shapiro.
Rational action in agent programs with prioritized goals.
In Proceedings of the Second International Joint Conference on
Autonomous Agents and Multiagent Systems (AAMAS-03), pages 417-424,
Melbourne, Australia, July 2003. ACM Press. [ bib | .ps | .pdf ] |
[92] |
Sebastian Sardina.
Local conditional high-level robot programs.
In Proceedings of the 8th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning (LPAR-01), volume 2250 of
LNAI, pages 110-124, La Habana, Cuba, December 2001. [ bib | .ps | .pdf ] |
[93] |
Sebastian Sardina, Giuseppe De Giacomo, Yves Lespénce, and Hector Levesque.
On the semantics of deliberation in IndiGolog - from theory to
implementation.
Annals of Mathematics and Artificial Intelligence,
41(2-4):259-299, August 2004.
Previous version appeared in Proc. of KR-2002. [ bib | .pdf ] |
[94] |
Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector Levesque.
On ability to autonomously execute agent programs with sensing.
In Proceedings of the 4th International Workshop on Cognitive
Robotics (CoRobo-04), Valencia, Spain, 2004. [ bib | .pdf ] |
[95] |
R. Scherl and H. J. Levesque.
Knowledge, action, and the frame problem.
Artificial Intelligence, 144(1-2):1-39, 2003. [ bib | .pdf ] |
[96] |
R. Scherl, H. J. Levesque, and Y. Lespérance.
The situation calculus with sensing and indexical knowledge.
In Moshe Koppel and Eli Shamir, editors, Proceedings of
BISFAI’95: The Fourth Bar-Ilan Symposium on Foundations of Artificial
Intelligence, pages 86-95, Ramat Gan and Jerusalem, Israel, June 1995. [ bib | .ps | .pdf ] |
[97] |
R. Scherl and Hector Levesque.
The frame problem and knowledge-producing actions.
In Proceedings of AAAI-93, pages 689-695, Washington, DC, July
1993. AAAI Press/The MIT Press. [ bib ] |
[98] |
S. Shapiro, Y. Lespérance, and H. J. Levesque.
Specifying communicative multi-agent systems with congolog.
In In Working Notes of the AAAI Fall 1997 Symposium on
Communicative Action in Humans and Machines, pages 72-82, Cambridge, MA,
Novemeber 1997. AAAI Press. [ bib | .ps | .pdf ] |
[99] |
S. Shapiro, M. Pagnucco, Y. Lespénce, and H. J. Levesque.
Iterated belief change in the situation calculus.
In A. G. Cohn, F. Giunchiglia, and B. Selman, editors,
Principles of Knowledge Representation and Reasoning: Proceedings of the
Seventh International Conference (KR2000), San Francisco, CA, 2000. Morgan
Kaufmann. [ bib | .ps | .pdf ] |
[100] |
Steven Shapiro and Yves Lespérance.
Modeling multiagent systems with the cognitive agents specification
language - a feature interaction resolution application.
In Christiano Castelfranchi and Yves Lespérance, editors,
Intelligent Agents Volume VII - Proceedings of the 2000 Workshop on Agent
Theories, Architectures, and Languages (ATAL-00), volume 1986 of LNAI,
pages 244-259. Springer-Verlag, Berlin, 2001. [ bib | .ps ] |
[101] |
Steven Shapiro, Yves Lespérance, and Hector Levesque.
Goals and rational action in the situation calculus - A preliminary
report.
In Working Notes of the AAAI Fall Symposium on Rational Agency:
Concepts, Theories, Models, and Applications, pages 117-122, Cambridge,
MA, November 1995. [ bib | .ps | .pdf ] |
[102] |
Steven Shapiro, Yves Lespérance, and Hector J. Levesque.
The cognitive agents specification language and verification
environment for multiagent systems.
In Christiano Castelfranchi and W. L. Johnson, editors, Proc. of
the First Int. Joint Conference on Autonomous Agents and Multiagent Systems
(AAMAS-02), pages 19-26. ACM Press, 2002. [ bib | .ps ] |
[103] |
Steven Shapiro and Maurice Pagnucco.
Iterated belief change and exogenous actions in the situation
calculus.
In R. López de Mántaras and L. Saitta, editors, Proceedings
of the 16th European Conference on Artificial Intelligence (ECAI-04), pages
878-882, Amsterdam, 2004. IOS Press. [ bib | .pdf ] |
[104] |
Mikhail Soutchanski.
An on-line decision-theoretic golog interpreter.
In The 2nd International Cognitive Robotics Workshop (held in
conjunction with ECAI-2000), Berlin, Germany, August 2000. [ bib | .ps | .pdf ] |
[105] |
Mikhail Soutchanski.
An on-line decision-theoretic golog interpreter.
In Proc. IJCAI-01, Seattle, Washington, August 2001. [ bib | .ps | .pdf ] |
[106] |
E. Ternovskaia.
Automata heory for reasoning about action.
In Proc. IJCAI-99, 1999. [ bib | .ps | .pdf ] |
[107] |
E. S. K. Yu, J. Mylopoulos, and Y. Lespérance.
Ai models for business process reengineering.
IEEE Expert, 11:16-23, 1996. [ bib ] |
This file has been generated by bibtex2html 1.75