[1] Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. The algorithmic analysis of hybrid systems. Theor. Comput. Sci., 138(1):3--34, 1995. [ bib | DOI | http ]
[2] Eyal Amir. "Dividing and Conquering Logic". PhD thesis, Stanford University, Department of Computer Science, 2002. [ bib | www: ]
[3] Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, and Amir Pnueli. Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE, 88(7):1011--1025, 2000. [ bib | DOI | .pdf ]
[4] F. Bacchus, J.Y. Halpern, and H.J. Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence, 111:171--208, 1999. [ bib | DOI | .pdf ]
[5] Fahiem Bacchus. The AIPS '00 planning competition. AI Mag., 22(3):47--56, 2001. [ bib | http ]
[6] Marcello Balduccini, Daniele Magazzeni, Marco Maratea, and Emily Leblanc. CASP solutions for planning in hybrid domains. Theory Pract. Log. Program., 17(4):591--633, 2017. [ bib | DOI | http ]
[7] Vitaliy Batusov. Deterministic Planning in Incompletely Known Domains with Local Effects, Master Thesis. Technical report, Ryerson University, Department of Copmputer Science, 2014. [ bib | DOI | http ]
[8] Vitaliy Batusov, Giuseppe De Giacomo, and Mikhail Soutchanski. Hybrid Temporal Situation Calculus. arXiv, 1807.04861, 2018. [ bib | arXiv | http ]
[9] Vitaliy Batusov, Giuseppe De Giacomo, and Mikhail Soutchanski. Hybrid temporal situation calculus. In M-J. Meurs and F. Rudzicz, editors, Advances in Artificial Intelligence - 32nd Canadian Conference on Artif. Intell., Kingston, ON, Canada, May 28-31, 2019, volume 11489 of Lecture Notes in Computer Science, pages 173--185. Springer, 2019. [ bib | DOI | http ]
[10] Vitaliy Batusov and Mikhail Soutchanski. A Logical Semantics for PDDL+. In J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, and Siddharth Srivastava, editors, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2018, Berkeley, CA, USA, July 11-15, 2019, pages 40--48. AAAI Press, 2019. [ bib | DOI | http ]
[11] Vaishak Belle and Hector J. Levesque. Regression and progression in stochastic domains. Artif. Intell., 281:103247, 2020. [ bib | DOI | http ]
[12] Blai Bonet and Hector Geffner. Planning as Heuristic Search. Artif. Intell., 129(1-2):5--33, 2001. [ bib | DOI | http ]
[13] Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, and Marcel Steinmetz. Making DL-Lite Planning Practical. In Proc. of the 18th Intern. Conf. on Principles of Knowledge Representation and Reasoning, pages 641--645, 11 2021. [ bib | DOI | http ]
[14] C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, high-level robot programming in the situation calculus. In 17th National Conference on Artificial Intelligence (AAAI'00), pages 355--362, Austin, Texas, 2000. [ bib | .pdf ]
[15] Carl Boyer. The History of the Calculus and Its Conceptual Development. Dover Publications, 2020. [ bib | .html ]
[16] Ronald Brachman and Hector Levesque. Knowledge Representation and Reasoning. Morgan Kaufmann, 2004. [ bib | DOI | http ]
[17] Daniel Bryce and Subbarao Kambhampati. A Tutorial on Planning Graph Based Reachability Heuristics. AI Mag., 28(1):47--83, 2007. [ bib | DOI | http ]
[18] Diego Calvanese, Marco Montali, Fabio Patrizi, and Michele Stawowy. Plan synthesis for knowledge and action bases. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 1022--1029. IJCAI/AAAI Press, 2016. [ bib | DOI | http ]
[19] Michael Cashmore, Maria Fox, Derek Long, and Daniele Magazzeni. A compilation of the full PDDL+ language into SMT. In A.J. Coles, A. Coles, S. Edelkamp, D. Magazzeni, and S. Sanner, editors, 26th Intern. Conf. on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016, pages 79--87. AAAI Press, 2016. [ bib | http ]
[20] Michael Cashmore, Daniele Magazzeni, and Parisa Zehtabi. Planning for hybrid systems via satisfiability modulo theories. J. Artif. Intell. Res., 67:235--283, 2020. [ bib | DOI | http ]
[21] Jens Claßen, Yuxiao Hu, and Gerhard Lakemeyer. A situation-calculus semantics for an expressive fragment of PDDL. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, pages 956--961. AAAI Press, 2007. [ bib | http ]
[22] Augusto B. Corrêa, Guillem Francès, Florian Pommerening, and Malte Helmert. Delete-relaxation heuristics for lifted classical planning. In Susanne Biundo, Minh Do, Robert Goldman, Michael Katz, Qiang Yang, and Hankz Hankui Zhuo, editors, Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021, pages 94--102. AAAI Press, 2021. [ bib | http ]
[23] Tom Costello. Relating Formalizations of Actions, AAAI 1995 Spring Symposium Series. In Craig Boutilier and Moises Goldszmidt, editors, Extending Theories of Action: Formal Theory and Practical Applications, SS-95-07, pages 45--50, 1995. [ bib | http ]
[24] Tom Costello and John McCarthy. Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press, (2006) . Artif. Intell., 170(18):1237--1238, 2006. [ bib | DOI | .pdf ]
[25] William Cushing, Subbarao Kambhampati, Mausam, and Daniel S. Weld. When is temporal planning really temporal? In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pages 1852--1859, 2007. [ bib | .pdf ]
[26] J.M. Davoren and A. Nerode. Logics for hybrid systems (invited paper). Proceedings of the IEEE, 88(7):985--1010, 2000. [ bib | .pdf ]
[27] Giuseppe De Giacomo, Yves Lespérance, and Fabio Patrizi. Bounded situation calculus action theories. Artif. Intell., 237:172--203, 2016. [ bib | DOI | http ]
[28] Laurent Doyen, Goran Frehse, George J. Pappas, and André Platzer. Verification of hybrid systems. In Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem, editors, Handbook of Model Checking, pages 1047--1110. Springer, 2018. [ bib | DOI | http ]
[29] Herbert B. Enderton. A Mathematical Introduction to Logic. Harcourt Press, Second edition, 2001. [ bib | .pdf ]
[30] Esra Erdem, Kadir Haspalamutgil, Can Palaz, Volkan Patoglu, and Tansel Uras. Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation. In IEEE International Conference on Robotics and Automation, ICRA 2011, Shanghai, China, 9-13 May 2011, pages 4575--4581. IEEE, 2011. [ bib | DOI | http ]
[31] Yi Fan, Minghui Cai, Naiqi Li, and Yongmei Liu. A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. In Jörg Hoffmann and Bart Selman, editors, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Press, 2012. [ bib | http ]
[32] Richard Fikes and Nils J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artif. Intell., 2(3/4):189--208, 1971. [ bib | DOI | http ]
[33] 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.gz ]
[34] Alberto Finzi and Fiora Pirri. Combining probabilities, failures and safety in robot control. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pages 1331--1336. Morgan Kaufmann, 2001. [ bib | .pdf ]
[35] Alberto Finzi and Fiora Pirri. Switching tasks and flexible reasoning in the situation calculus. Technical Report Technical Reports, vol2, N7, Sapienza Universita Di Roma, Department of Computer and System Sciences Antonio Ruberti, Rome, Italy, March 2010. E-ISSN 2035-5750. [ bib | http ]
[36] Maria Fox and Derek Long. PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res., 20:61--124, 2003. [ bib | DOI | http ]
[37] Maria Fox and Derek Long. Modelling mixed discrete-continuous domains for planning. J. Artif. Intell. Res., 27:235--297, 2006. [ bib | DOI | http ]
[38] Guillem Francès and Hector Geffner. Effective planning with more expressive languages. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 4155--4159. IJCAI/AAAI Press, 2016. [ bib | http ]
[39] Caelan Reed Garrett, Tomás Lozano-Pérez, and Leslie Pack Kaelbling. PDDLStream: Integrating Symbolic Planners and Blackbox Samplers via Optimistic Adaptive Planning. In J. Christopher Beck, Olivier Buffet, Jörg Hoffmann, Erez Karpas, and Shirin Sohrabi, editors, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020, pages 440--448. AAAI Press, 2020. [ bib | http ]
[40] Hector Geffner and Blai Bonet. A Concise Introduction to Models and Methods for Automated Planning. Synthesis Lectures on Artificial Intelligence and Machine Learning, 7(2):1--141, 2013. [ bib | DOI | http ]
Planning is the model-based approach to autonomous behavior where the agent behavior is derived automatically from a model of the actions, sensors, and goals. The main challenges in planning are computational as all models, whether featuring uncertainty and feedback or not, are intractable in the worst case when represented in compact form. In this book, we look at a variety of models used in AI planning, and at the methods that have been developed for solving them. The goal is to provide a modern and coherent view of planning that is precise, concise, and mostly self-contained, without being shallow. For this, we make no attempt at covering the whole variety of planning approaches, ideas, and applications, and focus on the essentials. The target audience of the book are students and researchers interested in autonomous behavior and planning from an AI, engineering, or cognitive science perspective. Table of Contents: Preface / Planning and Autonomous Behavior / Classical Planning: Full Information and Deterministic Actions / Classical Planning: Variations and Extensions / Beyond Classical Planning: Transformations / Planning with Sensing: Logical Models / MDP Planning: Stochastic Actions and Full Feedback / POMDP Planning: Stochastic Actions and Partial Feedback / Discussion / Bibliography / Author's Biography
[41] Michael Gelfond, Vladimir Lifschitz, and Arkady Rabinov. What are the limitations of the situation calculus? In Robert S. Boyer, editor, Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series, pages 167--180. Kluwer Academic Publishers, 1991. [ bib ]
[42] C. Cordell Green. Application of theorem proving to problem solving. In Donald E. Walker and Lewis M. Norton, editors, Proceedings of the 1st International Joint Conference on Artificial Intelligence, Washington, DC, USA, May 7-9, 1969, pages 219--240. William Kaufmann, 1969. [ bib | .pdf ]
[43] C. Cordell Green and Bertram Raphael. The use of theorem-proving techniques in question-answering systems. In Richard B. Blue Sr. and Arthur M. Rosenberg, editors, Proceedings of the 23rd ACM National Conference, ACM 1968, USA, 1968, pages 169--181. ACM, 1968. [ bib | DOI | http ]
[44] Claude Cordell Green. "The Application of Theorem Proving to Question-Answering Systems". PhD thesis, Stanford University, availabale at https://www.kestrel.edu/home/people/green/publications/green-thesis.pdf https://en.wikipedia.org/wiki/Cordell_Green, 1969. [ bib | .pdf ]
[45] Henrik Grosskreutz and Gerhard Lakemeyer. cc-Golog -- A logical language dealing with continuous change (an AAAI-2000 version is available at https://kbsg.rwth-aachen.de/papers/grosskreutz2000_3.pdf). Logic Journal of the IGPL, 11(2):179--221, 2003. http://dx.doi.org/10.1093/jigpal/11.2.179. [ bib | DOI | http ]
[46] P. J. Hayes. The Second Naive Physics Manifesto. In J. R. Hobbs and R. C. Moore, editors, Formal Theories of the Common-Sense World (Reprinted in Readings in Knowledge Representation, pages 467-485, Ed. by Ronald J. Brachman and Hector J. Levesque), pages 1--36. Norwoord, 1985. [ bib ]
[47] Malte Helmert. The Fast Downward Planning System. J. Artif. Intell. Res., 26:191--246, 2006. [ bib | DOI | http ]
[48] Thomas A. Henzinger. The theory of hybrid automata. In Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996, pages 278--292. IEEE Computer Society, 1996. [ bib | DOI | http ]
[49] Jörg Hoffmann and Bernhard Nebel. The FF Planning System: Fast Plan Generation Through Heuristic Search. J. Artif. Intell. Res., 14:253--302, 2001. [ bib | DOI | http ]
[50] Todd G. Kelley. Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem. In Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, editors, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996, pages 26--37. Morgan Kaufmann, 1996. [ bib ]
[51] Robert A. Kowalski and Fariba Sadri. Reconciling the event calculus with the situation calculus. J. Log. Program., 31(1-3):39--58, 1997. [ bib | DOI | http ]
[52] Gerhard Lakemeyer and Hector J. Levesque. Evaluation-based reasoning with disjunctive information in first-order knowledge bases. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, editors, Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pages 73--81. Morgan Kaufmann, 2002. [ bib ]
[53] H.J. Levesque, F. Pirri, and R. Reiter. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science. Available at: http://www.ep.liu.se/ea/cis/1998/018/, vol. 3, N 18, 1998. [ bib | .pdf ]
[54] Fangzhen Lin. Embracing Causality in Specifying the Indirect Effects of Actions. In IJCAI-95, available at http://www.cs.toronto.edu/cogrobo/Papers/indtm.pdf, pages 1985--1993, 1995. [ bib | .pdf ]
[55] Fangzhen Lin. An Ordering on Subgoals for Planning. Ann. Math. Artif. Intell., 21(2-4):321--342, 1997. [ bib | DOI | http ]
[56] Fangzhen Lin. A planner called R, source code is available at http://www.cs.ust.hk/faculty/flin/programs/plannerR1-1.tar.gz. AI Mag., 22(3):73--76, 2001. [ bib | DOI | http ]
[57] Fangzhen Lin. Situation calculus. In Frank van Harmelen, Vladimir Lifschitz, and Bruce W. Porter, editors, Handbook of Knowledge Representation, volume 3 of Foundations of Artificial Intelligence, pages 649--669. Elsevier, 2008. [ bib | DOI | http ]
[58] Fangzhen Lin and Ray Reiter. Forget It! In Proceedings of the AAAI Fall Symposium on Relevance, pages 154--159, 1994. [ bib | .pdf ]
[59] Fangzhen Lin and Raymond Reiter. State constraints revisited, available at http://www.cs.toronto.edu/cogrobo/Papers/constraint.pdf. J. Log. Comput., 4(5):655--678, 1994. [ bib | DOI | .ps.Z ]
[60] Fangzhen Lin and Raymond Reiter. How to Progress a Database. Artificial Intelligence, 92:131--167, 1997. [ bib | DOI | .pdf ]
[61] Fangzhen Lin and Mikhail Soutchanski. Causal theories of actions revisited. In Wolfram Burgard and Dan Roth, editors, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011. AAAI Press, 2011. [ bib | http ]
[62] Yongmei Liu and Gerhard Lakemeyer. On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pages 860--866, 2009. [ bib | .pdf ]
[63] Arman Masoumi, Megan Antoniazzi, and Mikhail Soutchanski. Modeling organic chemistry and planning organic synthesis. In G. Gottlob, G. Sutcliffe, and A. Voronkov, editors, Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015, volume 36 of EPiC Series in Computing, pages 176--195. EasyChair, 2015. [ bib | DOI | http ]
[64] Shaun Mathew. Heuristic Planning for Continuous Systems In Hybrid Temporal Situation Calculus, Master Thesis. Technical report, Ryerson University, Department of Copmputer Science, Sep 2021. [ bib | DOI | www: ]
[65] Rami Matloob and Mikhail Soutchanski. Exploring organic synthesis with state-of-the-art planning techniques. In Scheduling and Planning Applications woRKshop (SPARK) at the 26th ICAPS, London, UK, June 12 - 17, pages 52--61, 2016. [ bib | DOI | .pdf ]
[66] John McCarthy. Situations, actions and causal laws. Technical Report Technical Report Memo 2, Stanford University Artificial Intelligence Laboratory, Stanford, CA, 1963. Reprinted in Marvin Minsky, editor, Semantic Information Processing, MIT Press, 1968. [ bib | .pdf ]
[67] John McCarthy and Patrick Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463--502. Edinburgh Univ. Press, 1969. [ bib | .html ]
[68] Drew V. McDermott. Using regression-match graphs to control search in planning. Artif. Intell., 109(1-2):111--159, 1999. [ bib | DOI | http ]
[69] Sheila A. McIlraith. Integrating Actions and State Constraints: A Closed-form Solution to the Ramification Problem (sometimes). Artif. Intell., 116(1-2):87--121, 2000. [ bib | DOI | http ]
[70] Rob Miller. A case study in reasoning about actions and continuous change. In W. Wahlster, editor, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96), pages 624--628, 1996. [ bib | DOI | .ps ]
[71] Anil Nerode and Wolf Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 317--356. Springer, 1992. [ bib | DOI | http ]
[72] Isaac Newton. "The Principia: Mathematical Principles of Natural Philosophy", a new translation by I. Bernard Cohen and Anne Whitman. University of California Press, 1999. [ bib | http ]
[73] Edwin P. D. Pednault. ADL and the state-transition model of action. J. Log. Comput., 4(5):467--512, 1994. [ bib | DOI | http ]
[74] Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, and Chris J. Dent. Solving realistic unit commitment problems using temporal planning: Challenges and solutions. In Amanda Jane Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, and Scott Sanner, editors, Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016, pages 421--430. AAAI Press, 2016. [ bib | http ]
[75] Javier Pinto and Raymond Reiter. Reasoning about time in the situation calculus. Ann. Math. Artif. Intell., 14(2-4):251--268, 1995. [ bib | DOI | http ]
[76] Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, and Fabio Mercorio. Heuristic planning for PDDL+ domains. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 3213--3219. IJCAI/AAAI Press, 2016. [ bib | http ]
[77] Fiora Pirri, Geoffrey E. Hinton, and Hector J. Levesque. In Memory of Ray Reiter (1939-2002) . AI Mag., 23(4):93, 2002. [ bib | DOI | http ]
[78] Fiora Pirri and Ray Reiter. Some contributions to the metatheory of the situation calculus. Journal of the ACM (JACM), 46(3):325--361, 1999. [ bib | DOI | .pdf ]
[79] Fiora Pirri and Raymond Reiter. Planning with natural actions in the situation calculus. In Jack Minker, editor, Logic-Based Artificial Intelligence, page 213–231. Kluwer, 2000. ISBN 9780792372240. [ bib | DOI | .ps ]
[80] David Poole. Decision theory, the situation calculus and conditional plans, available at https://www.cs.ubc.ca/~poole/abstracts/sitc.html. Electron. Trans. Artif. Intell., 2:105--158, 1998. [ bib | DOI | .pdf ]
[81] Hadi Qovaizi. Efficient Lifted Planning with Regression-Based Heuristics, Master Thesis. Technical report, Ryerson University, Department of Copmputer Science, Sep 2019. [ bib | DOI | http ]
[82] Bertram Raphael. The Thinking Computer: Mind Inside Matter. W.H. Freeman and Company, 1976. [ bib | http ]
[83] Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359--380, San Diego, 1991. Academic Press. [ bib | .pdf ]
[84] Raymond Reiter. Proving properties of states in the situation calculus. Artif. Intell., 64(2):337--351, 1993. [ bib | DOI | http ]
[85] Raymond Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, editors, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996., pages 2--13. Morgan Kaufmann, 1996. [ bib | .pdf ]
[86] Raymond Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT, available at http://cognet.mit.edu/book/knowledge-action, 2001. [ bib | DOI | .html ]
[87] Enrico Scala, Patrik Haslum, Daniele Magazzeni, and Sylvie Thiébaux. Landmarks for numeric planning problems. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 4384--4390. ijcai.org, 2017. [ bib | DOI | http ]
[88] Enrico Scala, Patrik Haslum, and Sylvie Thiébaux. Heuristics for numeric planning via subgoaling. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 3228--3234. IJCAI/AAAI Press, 2016. [ bib | http ]
[89] Richard B. Scherl and Hector J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144(1-2):1--39, 2003. [ bib | DOI ]
[90] Mikhail Soutchanski. An on-line decision-theoretic golog interpreter. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pages 19--26. Morgan Kaufmann, 2001. [ bib | .pdf ]
[91] Steven H. Strogatz. Infinite Powers: How Calculus Reveals the Secrets of the Universe. Houghton Mifflin Harcourt, 2019. [ bib | http ]
[92] Eugenia Ternovskaia. Interval situation calculus. In Proceedings of the ECAI-94 Workshop W5 on Logic and Change, pages 153--164, Amsterdam, Netherlands, 1994. [ bib ]
[93] Marc Toussaint. Logic-geometric programming: An optimization-based approach to combined task and motion planning. In Qiang Yang and Michael J. Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 1930--1936. AAAI Press, 2015. [ bib | http ]
[94] Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, and Thomas Leo McCluskey. Efficient macroscopic urban traffic models for reducing congestion: A PDDL+ planning approach. In AAAI, pages 3188--3194, 2016. [ bib | http ]
[95] Stavros Vassos and Hector J. Levesque. How to progress a database III. Artif. Intell., 195:203--221, 2013. [ bib | DOI | http ]
[96] Stavros Vassos and Fabio Patrizi. A classification of first-order progressable action theories in situation calculus. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pages 1132--1138. IJCAI/AAAI, 2013. [ bib | URL | http ]
[97] R. Waldinger. Achieving several goals simultaneously. In E. Elcock and D. Michie, editors, Machine Intelligence, volume 8, pages 94--136, Edinburgh, Scotland, 1977. Ellis Horwood. [ bib | .pdf ]
[98] Daniel S. Weld. Recent advances in AI planning. AI Mag., 20(2):93--123, 1999. [ bib | DOI | http ]
[99] Julia Wichlacz, Daniel Höller, and Jörg Hoffmann. Landmark heuristics for lifted planning - extended abstract. In Hang Ma and Ivan Serina, editors, Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021, pages 242--244. AAAI Press, 2021. [ bib | http ]

This file was generated by bibtex2html 1.99.