proposal.bib

@article{AlurEtAl-TCS1995,
  author = {Rajeev Alur and
               Costas Courcoubetis and
               Nicolas Halbwachs and
               Thomas A. Henzinger and
               Pei{-}Hsin Ho and
               Xavier Nicollin and
               Alfredo Olivero and
               Joseph Sifakis and
               Sergio Yovine},
  title = {The Algorithmic Analysis of Hybrid Systems},
  journal = {Theor. Comput. Sci.},
  volume = {138},
  number = {1},
  pages = {3--34},
  year = {1995},
  url = {https://doi.org/10.1016/0304-3975(94)00202-T},
  doi = {10.1016/0304-3975(94)00202-T}
}
@phdthesis{EyalAmirPhD,
  author = {Eyal Amir},
  title = {"Dividing and Conquering Logic"},
  school = {Stanford University, {Department of Computer Science} },
  address = {},
  url = {},
  year = {2002}
}
@article{AsarinEffectiveSynthesis,
  author = {Eugene Asarin and Olivier Bournez and Thao Dang and Oded Maler and Amir Pnueli},
  journal = {Proceedings of the IEEE},
  title = {Effective synthesis of switching controllers for linear systems},
  year = {2000},
  volume = {88},
  number = {7},
  pages = {1011-1025},
  url = {https://www.irif.fr/~asarin//papers/ieee.pdf},
  doi = {https://doi.org/10.1109/5.871306}
}
@article{BHL,
  author = {Bacchus, F. and Halpern, J.Y. and Levesque, H.J.},
  title = {Reasoning about Noisy Sensors and Effectors in the Situation Calculus},
  journal = {Artificial Intelligence},
  volume = {111},
  pages = {171--208},
  url = {https://www.cs.toronto.edu/kr/publications/noise.pdf},
  doi = {https://doi.org/10.1016/S0004-3702(99)00031-4},
  year = {1999}
}
@article{DBLP:journals/aim/Bacchus01,
  author = {Fahiem Bacchus},
  title = {The {AIPS} '00 Planning Competition},
  journal = {{AI} Mag.},
  volume = {22},
  number = {3},
  pages = {47--56},
  year = {2001},
  url = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/1571}
}
@article{BalducciniMagazzeniMarateaLeblanc2017,
  author = {Marcello Balduccini and
               Daniele Magazzeni and
               Marco Maratea and
               Emily Leblanc},
  title = {{CASP} solutions for planning in hybrid domains},
  journal = {Theory Pract. Log. Program.},
  volume = {17},
  number = {4},
  pages = {591--633},
  year = {2017},
  url = {https://doi.org/10.1017/S1471068417000187},
  doi = {10.1017/S1471068417000187}
}
@techreport{BatusovMScThesis2014,
  author = {Vitaliy Batusov},
  title = { {Deterministic Planning in Incompletely Known Domains with Local Effects, Master Thesis} },
  institution = {Ryerson University, Department of Copmputer Science},
  doi = {https://doi.org/10.32920/ryerson.14662323.v1},
  url = {https://rshare.library.ryerson.ca/ndownloader/files/28147473},
  publisher = {Toronto Metropolitan (formerly Ryerson) University},
  year = {2014},
  month = {}
}
@article{HTSCarxiv,
  author = {Vitaliy Batusov and
               Giuseppe De Giacomo and
               Mikhail Soutchanski},
  title = {{Hybrid Temporal Situation Calculus}},
  journal = {ar{X}iv},
  volume = {1807.04861},
  year = {2018},
  url = {http://arxiv.org/abs/1807.04861},
  eprinttype = {arXiv},
  eprint = {1807.04861},
  publisher = {http://arxiv.org/abs/1807.04861}
}
@inproceedings{BatusovCanadianAI19,
  author = {Vitaliy Batusov and
               Giuseppe De Giacomo and
               Mikhail Soutchanski},
  editor = {M{-}J. Meurs and
               F. Rudzicz},
  title = {Hybrid Temporal Situation Calculus},
  booktitle = {Advances in Artificial Intelligence - 32nd Canadian Conference on
               Artif. Intell., Kingston, ON, Canada, 
               May 28-31, 2019},
  series = {Lecture Notes in Computer Science},
  volume = {11489},
  pages = {173--185},
  publisher = {Springer},
  year = {2019},
  url = {https://doi.org/10.1007/978-3-030-18305-9\_14},
  doi = {10.1007/978-3-030-18305-9\_14}
}
@inproceedings{DBLP:conf/aips/BatusovS19,
  author = {Vitaliy Batusov and
               Mikhail Soutchanski},
  editor = {J. Benton and
               Nir Lipovetzky and
               Eva Onaindia and
               David E. Smith and
               Siddharth Srivastava},
  title = {{A Logical Semantics for {PDDL+}}},
  booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2018, Berkeley, CA, USA, July 11-15,
               2019},
  pages = {40--48},
  publisher = {{AAAI} Press},
  year = {2019},
  doi = {https://arxiv.org/abs/2111.11588},
  url = {https://aaai.org/ojs/index.php/ICAPS/article/view/3548}
}
@article{BelleLevesque2020,
  author = {Vaishak Belle and
               Hector J. Levesque},
  title = {Regression and progression in stochastic domains},
  journal = {Artif. Intell.},
  volume = {281},
  pages = {103247},
  year = {2020},
  url = {https://doi.org/10.1016/j.artint.2020.103247},
  doi = {10.1016/j.artint.2020.103247}
}
@article{BonetGeffner2001,
  author = {Blai Bonet and
               Hector Geffner},
  title = {{Planning as Heuristic Search}},
  journal = {Artif. Intell.},
  volume = {129},
  number = {1-2},
  pages = {5--33},
  year = {2001},
  url = {https://doi.org/10.1016/S0004-3702(01)00108-4},
  doi = {10.1016/S0004-3702(01)00108-4}
}
@inproceedings{BorgwardtHoffmannKovtunovaSteinmetzKR2021,
  title = {{Making DL-Lite Planning Practical}},
  author = {Borgwardt, Stefan and Hoffmann, Jörg and Kovtunova, Alisa and Steinmetz, Marcel},
  booktitle = {{Proc. of the 18th Intern. Conf. on Principles of Knowledge Representation and Reasoning}},
  pages = {641--645},
  year = {2021},
  month = {11},
  doi = {10.24963/kr.2021/61},
  url = {https://doi.org/10.24963/kr.2021/61}
}
@inproceedings{BRST,
  author = {Boutilier, C. and  Reiter, R. and
             Soutchanski, M. and Thrun, S.},
  title = {Decision-Theoretic, High-level Robot Programming in 
           the Situation Calculus},
  booktitle = {17th National Conference on
    Artificial Intelligence (AAAI'00)},
  address = { Austin, Texas
			},
  pages = {355--362},
  url = {https://www.cs.ryerson.ca/~mes/publications/dtgologaaai00.pdf},
  year = 2000
}
@book{Boyer2020,
  title = {The History of the Calculus and Its Conceptual Development},
  author = {Carl Boyer},
  isbn = {9780486605098},
  url = {https://store.doverpublications.com/0486605094.html},
  year = {2020},
  publisher = {Dover Publications}
}
@book{BrachmanLevesque2004,
  title = {Knowledge Representation and Reasoning},
  author = {Brachman, Ronald and Levesque, Hector},
  isbn = {9781558609327},
  lccn = {2004046573},
  url = {https://books.google.ca/books?id=OuPtLaA5QjoC},
  year = {2004},
  publisher = {Morgan Kaufmann},
  doi = {http://www.cs.toronto.edu/~hector/PublicKRSlides.pdf}
}
@article{BryceKambhampati2007,
  author = {Daniel Bryce and
               Subbarao Kambhampati},
  title = {{A Tutorial on Planning Graph Based Reachability Heuristics}},
  journal = {{AI} Mag.},
  volume = {28},
  number = {1},
  pages = {47--83},
  year = {2007},
  url = {https://doi.org/10.1609/aimag.v28i1.2028},
  doi = {10.1609/aimag.v28i1.2028}
}
@inproceedings{CalvaneseMontaliPatriziStawowyIJCAI2016,
  author = {Diego Calvanese and
               Marco Montali and
               Fabio Patrizi and
               Michele Stawowy},
  editor = {Subbarao Kambhampati},
  title = {Plan Synthesis for Knowledge and Action Bases},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages = {1022--1029},
  publisher = {{IJCAI/AAAI} Press},
  year = {2016},
  url = {http://www.ijcai.org/Abstract/16/149},
  doi = {https://bia.unibz.it/esploro/outputs/conferenceProceeding/Plan-synthesis-for-knowledge-and-action-bases/991005773643701241}
}
@inproceedings{CashmoreFoxLongMagazzeni16,
  author = {Michael Cashmore and
               Maria Fox and
               Derek Long and
               Daniele Magazzeni},
  editor = {A.J. Coles and
               A. Coles and
               S. Edelkamp and
               D. Magazzeni and
               S. Sanner},
  title = {A Compilation of the Full {PDDL+} Language into {SMT}},
  booktitle = {26th Intern. Conf. on Automated
               Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  pages = {79--87},
  publisher = {{AAAI} Press},
  year = {2016},
  url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13101}
}
@article{CashmoreMagazzeniJAIR2020,
  author = {Michael Cashmore and
               Daniele Magazzeni and
               Parisa Zehtabi},
  title = {Planning for Hybrid Systems via Satisfiability Modulo Theories},
  journal = {J. Artif. Intell. Res.},
  volume = {67},
  pages = {235--283},
  year = {2020},
  url = {https://doi.org/10.1613/jair.1.11751},
  doi = {10.1613/jair.1.11751}
}
@inproceedings{ClassenHuLakemeyer2007,
  author = {Jens Cla{\ss}en and
               Yuxiao Hu and
               Gerhard Lakemeyer},
  title = {A Situation-Calculus Semantics for an Expressive Fragment of {PDDL}},
  booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  pages = {956--961},
  publisher = {{AAAI} Press},
  year = {2007},
  url = {http://www.aaai.org/Library/AAAI/2007/aaai07-152.php}
}
@inproceedings{CorreaFrancesPommereningHelmertICAPS2021,
  author = {Augusto B. Corr{\^{e}}a and
               Guillem Franc{\`{e}}s and
               Florian Pommerening and
               Malte Helmert},
  editor = {Susanne Biundo and
               Minh Do and
               Robert Goldman and
               Michael Katz and
               Qiang Yang and
               Hankz Hankui Zhuo},
  title = {Delete-Relaxation Heuristics for Lifted Classical Planning},
  booktitle = {Proceedings of the Thirty-First International Conference on Automated
               Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
               August 2-13, 2021},
  pages = {94--102},
  publisher = {{AAAI} Press},
  year = {2021},
  url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15951}
}
@inproceedings{Costello1995,
  author = {Tom Costello},
  title = {{Relating Formalizations of Actions, AAAI 1995 Spring Symposium Series}},
  booktitle = {Extending Theories of Action: Formal Theory and Practical Applications, {SS-95-07}},
  editor = {Craig Boutilier and Moises Goldszmidt},
  year = {1995},
  pages = {45-50},
  url = {https://aaai.org/Library/Symposia/Spring/ss95-07.php}
}
@article{CostelloMcCarthyAI2006v170,
  author = {Tom Costello and
               John McCarthy},
  title = { {Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations
               of Psychology and Economics, Cambridge University Press, (2006) } },
  journal = {Artif. Intell.},
  volume = {170},
  number = {18},
  pages = {1237--1238},
  year = {2006},
  url = {https://www.sciencedirect.com/science/article/pii/S0004370206000890/pdfft?md5=b154811ae990159f39b3e363be704c45&pid=1-s2.0-S0004370206000890-main.pdf},
  doi = {10.1016/j.artint.2006.10.008}
}
@inproceedings{CushingKambhampatiMausamWeldIJCAI2007,
  author = {William Cushing and
               Subbarao Kambhampati and
               Mausam and
               Daniel S. Weld},
  editor = {Manuela M. Veloso},
  title = {When is Temporal Planning Really Temporal?},
  booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
               on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  pages = {1852--1859},
  year = {2007},
  url = {http://ijcai.org/Proceedings/07/Papers/299.pdf}
}
@article{davoren,
  author = {Davoren, J.M. and Nerode, A.},
  title = {Logics for Hybrid Systems (invited paper)},
  journal = {Proceedings of the IEEE},
  volume = {88},
  number = {7},
  year = {2000},
  pages = {985-1010},
  url = {https://people.eng.unimelb.edu.au/davoren/00-logics_for_hybrid_systems.pdf}
}
@article{DeGiacomoLesperancePatriziAIJ2016,
  author = {Giuseppe {De Giacomo} and
               Yves Lesp{\'{e}}rance and
               Fabio Patrizi},
  title = {Bounded situation calculus action theories},
  journal = {Artif. Intell.},
  volume = {237},
  pages = {172--203},
  year = {2016},
  url = {https://doi.org/10.1016/j.artint.2016.04.006},
  doi = {10.1016/j.artint.2016.04.006}
}
@incollection{DoyenFrehsePappasPlatzerHMC2018,
  author = {Laurent Doyen and
               Goran Frehse and
               George J. Pappas and
               Andr{\'{e}} Platzer},
  editor = {Edmund M. Clarke and
               Thomas A. Henzinger and
               Helmut Veith and
               Roderick Bloem},
  title = {Verification of Hybrid Systems},
  booktitle = {Handbook of Model Checking},
  pages = {1047--1110},
  publisher = {Springer},
  year = {2018},
  url = {https://doi.org/10.1007/978-3-319-10575-8\_30},
  doi = {10.1007/978-3-319-10575-8\_30},
  timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
  biburl = {https://dblp.org/rec/reference/mc/0001FPP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{Enderton,
  author = {Herbert B. Enderton},
  title = {A Mathematical Introduction to Logic},
  url = {https://archive.org/download/MathematicalIntroductionToLogicEnderton/MathematicalIntroductionToLogic-Enderton.pdf},
  publisher = {Harcourt Press},
  address = {Second edition},
  year = {2001}
}
@inproceedings{ErdemEtAl-ICRA11,
  author = {Esra Erdem and
               Kadir Haspalamutgil and
               Can Palaz and
               Volkan Patoglu and
               Tansel Uras},
  title = {Combining high-level causal reasoning with low-level geometric reasoning
               and motion planning for robotic manipulation},
  booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
               2011, Shanghai, China, 9-13 May 2011},
  pages = {4575--4581},
  publisher = {{IEEE}},
  year = {2011},
  url = {https://doi.org/10.1109/ICRA.2011.5980160},
  doi = {10.1109/ICRA.2011.5980160}
}
@inproceedings{FanCaiLiLiuAAAI2012,
  author = {Yi Fan and
               Minghui Cai and
               Naiqi Li and
               Yongmei Liu},
  editor = {J{\"{o}}rg Hoffmann and
               Bart Selman},
  title = {{A First-Order Interpreter for Knowledge-Based Golog with Sensing based
               on Exact Progression and Limited Reasoning}},
  booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada},
  publisher = {{AAAI} Press},
  year = {2012},
  url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5157}
}
@article{DBLP:journals/ai/FikesN71,
  author = {Richard Fikes and
               Nils J. Nilsson},
  title = {{STRIPS:} {A} New Approach to the Application of Theorem Proving to
               Problem Solving},
  journal = {Artif. Intell.},
  volume = {2},
  number = {3/4},
  pages = {189--208},
  year = {1971},
  url = {https://doi.org/10.1016/0004-3702(71)90010-5},
  doi = {10.1016/0004-3702(71)90010-5}
}
@inproceedings{FinziPirriReiterOWA2000,
  author = {Alberto Finzi and Fiora Pirri and Ray Reiter},
  title = {Open World Planning in the Situation Calculus},
  booktitle = {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},
  address = {Menlo Park, CA},
  publisher = {AAAI Press},
  key = {CogRobo},
  month = jul # { 30-- 3},
  url = {http://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.ps.gz},
  year = 2000
}
@inproceedings{FinziPirriIJCAI01,
  author = {Alberto Finzi and
               Fiora Pirri},
  editor = {Bernhard Nebel},
  title = {Combining Probabilities, Failures and Safety in Robot Control},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
               2001},
  pages = {1331--1336},
  publisher = {Morgan Kaufmann},
  url = {https://www.ijcai.org/Proceedings/01/IJCAI-2001-o.pdf},
  year = {2001}
}
@techreport{FinziPirri2010,
  author = {Alberto Finzi and Fiora Pirri},
  title = {Switching tasks and flexible reasoning in the Situation Calculus},
  institution = {{Sapienza Universita Di Roma,
				Department of Computer and System Sciences Antonio Ruberti}},
  url = {https://rosa.uniroma1.it/rosa00/dis_technical_reports/article/view/8848},
  type = {},
  number = {Technical Reports, vol2, N7},
  address = {Rome, Italy},
  month = {March},
  year = {2010},
  note = {E-ISSN 2035-5750}
}
@article{FoxLongJAIR2003,
  author = {Maria Fox and
               Derek Long},
  title = {{PDDL2.1:} An Extension to {PDDL} for Expressing Temporal Planning
               Domains},
  journal = {J. Artif. Intell. Res.},
  volume = {20},
  pages = {61--124},
  year = {2003},
  url = {https://doi.org/10.1613/jair.1129},
  doi = {10.1613/jair.1129}
}
@article{FoxLongJAIR2006,
  author = {Maria Fox and
               Derek Long},
  title = {Modelling Mixed Discrete-Continuous Domains for Planning},
  journal = {J. Artif. Intell. Res.},
  volume = {27},
  pages = {235--297},
  year = {2006},
  url = {https://doi.org/10.1613/jair.2044},
  doi = {10.1613/jair.2044}
}
@inproceedings{FrancesGeffner2016,
  author = {Guillem Franc{\`{e}}s and
               Hector Geffner},
  editor = {Subbarao Kambhampati},
  title = {Effective Planning with More Expressive Languages},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages = {4155--4159},
  publisher = {{IJCAI/AAAI} Press},
  year = {2016},
  url = {http://www.ijcai.org/Abstract/16/621}
}
@inproceedings{GarrettLozano-PerezKaelblingICAPS2020,
  author = {Caelan Reed Garrett and
               Tom{\'{a}}s Lozano{-}P{\'{e}}rez and
               Leslie Pack Kaelbling},
  editor = {J. Christopher Beck and
               Olivier Buffet and
               J{\"{o}}rg Hoffmann and
               Erez Karpas and
               Shirin Sohrabi},
  title = {{PDDLStream: Integrating Symbolic Planners and Blackbox Samplers via
               Optimistic Adaptive Planning}},
  booktitle = {Proceedings of the Thirtieth International Conference on Automated
               Planning and Scheduling, Nancy, France, October 26-30, 2020},
  pages = {440--448},
  publisher = {{AAAI} Press},
  year = {2020},
  url = {https://aaai.org/ojs/index.php/ICAPS/article/view/6739}
}
@article{GeffnerBonetBook2013,
  author = {Geffner, Hector and Bonet,  Blai},
  title = {{A Concise Introduction to Models and Methods for Automated Planning}},
  journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
  volume = {7},
  number = {2},
  pages = {1-141},
  year = {2013},
  doi = {10.2200/S00513ED1V01Y201306AIM022},
  url = {https://doi.org/10.2200/S00513ED1V01Y201306AIM022},
  abstract = {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 }
}
@inproceedings{GelfondLifschitzRabinov1991,
  author = {Michael Gelfond and
               Vladimir Lifschitz and
               Arkady Rabinov},
  editor = {Robert S. Boyer},
  title = {What are the Limitations of the Situation Calculus?},
  booktitle = {Automated Reasoning: Essays in Honor of Woody Bledsoe},
  series = {Automated Reasoning Series},
  pages = {167--180},
  publisher = {Kluwer Academic Publishers},
  year = {1991}
}
@inproceedings{DBLP:conf/ijcai/Green69,
  author = {C. Cordell Green},
  editor = {Donald E. Walker and
               Lewis M. Norton},
  title = {Application of Theorem Proving to Problem Solving},
  booktitle = {Proceedings of the 1st International Joint Conference on Artificial
               Intelligence, Washington, DC, USA, May 7-9, 1969},
  pages = {219--240},
  publisher = {William Kaufmann},
  year = {1969},
  url = {http://ijcai.org/Proceedings/69/Papers/023.pdf}
}
@inproceedings{DBLP:conf/acm/GreenR68,
  author = {C. Cordell Green and
               Bertram Raphael},
  editor = {Richard B. Blue Sr. and
               Arthur M. Rosenberg},
  title = {The use of theorem-proving techniques in question-answering systems},
  booktitle = {Proceedings of the 23rd {ACM} National Conference, {ACM} 1968, USA,
               1968},
  pages = {169--181},
  publisher = {{ACM}},
  year = {1968},
  url = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.222.5464&rep=rep1&type=pdf},
  doi = {10.1145/800186.810578}
}
@phdthesis{GreenPhD1969,
  author = {Green, Claude Cordell},
  title = {"The Application of Theorem Proving to Question-Answering Systems"},
  school = {Stanford University, availabale at \url{https://www.kestrel.edu/home/people/green/publications/green-thesis.pdf}\ },
  address = {https://en.wikipedia.org/wiki/Cordell\_Green},
  url = {https://www.kestrel.edu/home/people/green/publications/green-thesis.pdf},
  year = {1969}
}
@article{GrosskreutzLakemeyer2003,
  author = {Henrik Grosskreutz and
               Gerhard Lakemeyer},
  title = {{cc-Golog} -- {A} Logical Language Dealing with Continuous Change \ 
	(an {AAAI}-2000 version is available at \url{https://kbsg.rwth-aachen.de/papers/grosskreutz2000_3.pdf}) },
  journal = {Logic Journal of the {IGPL}},
  volume = {11},
  number = {2},
  pages = {179--221},
  year = {2003},
  note = {http://dx.doi.org/10.1093/jigpal/11.2.179},
  url = {http://www.aaai.org/Library/AAAI/2000/aaai00-073.php},
  doi = {10.1093/jigpal/11.2.179}
}
@incollection{Hayes1985,
  author = {P. J. Hayes},
  title = {{The Second Naive Physics Manifesto}},
  publisher = {Norwoord},
  editor = {J. R. Hobbs and R. C. Moore},
  booktitle = { {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},
  year = {1985}
}
@article{HelmertJAIR2006,
  author = {Malte Helmert},
  title = {{The Fast Downward Planning System}},
  journal = {J. Artif. Intell. Res.},
  volume = {26},
  pages = {191--246},
  year = {2006},
  url = {https://doi.org/10.1613/jair.1705},
  doi = {10.1613/jair.1705}
}
@inproceedings{HenzingerLICS96,
  author = {Thomas A. Henzinger},
  title = {The Theory of Hybrid Automata},
  booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
               New Brunswick, New Jersey, USA, July 27-30, 1996},
  pages = {278--292},
  publisher = {{IEEE} Computer Society},
  year = {1996},
  url = {https://doi.org/10.1109/LICS.1996.561342},
  doi = {10.1109/LICS.1996.561342}
}
@article{HoffmannNebel2001,
  author = {J{\"{o}}rg Hoffmann and
               Bernhard Nebel},
  title = {{The {FF} Planning System: Fast Plan Generation Through Heuristic Search}},
  journal = {J. Artif. Intell. Res.},
  volume = {14},
  pages = {253--302},
  year = {2001},
  url = {https://doi.org/10.1613/jair.855},
  doi = {10.1613/jair.855}
}
@inproceedings{KelleyKR96,
  author = {Todd G. Kelley},
  editor = {Luigia Carlucci Aiello and
               Jon Doyle and
               Stuart C. Shapiro},
  title = {{Modeling Complex Systems in the Situation Calculus: {A} Case Study
               Using the Dagstuhl Steam Boiler Problem}},
  booktitle = {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},
  publisher = {Morgan Kaufmann},
  year = {1996}
}
@article{KowalskiSadri97,
  author = {Robert A. Kowalski and
               Fariba Sadri},
  title = {Reconciling the Event Calculus With the Situation Calculus},
  journal = {J. Log. Program.},
  volume = {31},
  number = {1-3},
  pages = {39--58},
  year = {1997},
  url = {http://dx.doi.org/10.1016/S0743-1066(96)00137-9},
  doi = {10.1016/S0743-1066(96)00137-9}
}
@inproceedings{LakemeyerLevesqueKR2002,
  author = {Gerhard Lakemeyer and Hector J. Levesque},
  editor = {Dieter Fensel and
               Fausto Giunchiglia and
               Deborah L. McGuinness and
               Mary{-}Anne Williams},
  title = {Evaluation-Based Reasoning with Disjunctive Information in First-Order
               Knowledge Bases},
  booktitle = {Proceedings of the Eights International Conference on Principles and
               Knowledge Representation and Reasoning (KR-02), Toulouse, France,
               April 22-25, 2002},
  pages = {73--81},
  publisher = {Morgan Kaufmann},
  year = {2002}
}
@article{SitCalc98,
  author = {Levesque, H.J. and Pirri, F. and Reiter, R. },
  title = {Foundations for the Situation Calculus},
  journal = { Link\"{o}ping Electronic Articles in Computer 
            and Information Science. 
           Available at: \url{http://www.ep.liu.se/ea/cis/1998/018/}  },
  volume = {vol. 3, N 18},
  year = {1998},
  url = {https://ep.liu.se/ea/cis/1998/018/cis98018.pdf}
}
@inproceedings{Lin:ijcai95,
  author = {Fangzhen Lin},
  title = { Embracing {C}ausality in {S}pecifying the {I}ndirect {E}ffects 
               	of {A}ctions },
  url = {https://www.ijcai.org/Proceedings/95-2/Papers/123.pdf},
  booktitle = {IJCAI-95, available at \url{http://www.cs.toronto.edu/cogrobo/Papers/indtm.pdf} },
  year = {1995},
  pages = {1985-1993}
}
@article{LinAMAI97,
  author = {Fangzhen Lin},
  title = {{An Ordering on Subgoals for Planning}},
  journal = {Ann. Math. Artif. Intell.},
  volume = {21},
  number = {2-4},
  pages = {321--342},
  year = {1997},
  url = {https://doi.org/10.1023/A:1018925704786},
  doi = {10.1023/A:1018925704786}
}
@article{LinAIMag2001,
  author = {Fangzhen Lin},
  title = {A Planner Called {R}, source code is available at \url{http://www.cs.ust.hk/faculty/flin/programs/plannerR1-1.tar.gz} },
  journal = {{AI} Mag.},
  volume = {22},
  number = {3},
  pages = {73--76},
  year = {2001},
  url = {https://doi.org/10.1609/aimag.v22i3.1575},
  doi = {10.1609/aimag.v22i3.1575}
}
@incollection{LinKRhandbook2008,
  author = {Fangzhen Lin},
  editor = {Frank van Harmelen and
               Vladimir Lifschitz and
               Bruce W. Porter},
  title = {Situation Calculus},
  booktitle = {Handbook of Knowledge Representation},
  series = {Foundations of Artificial Intelligence},
  volume = {3},
  pages = {649--669},
  publisher = {Elsevier},
  year = {2008},
  url = {https://doi.org/10.1016/S1574-6526(07)03016-7},
  doi = {10.1016/S1574-6526(07)03016-7}
}
@inproceedings{Lin94forgetit!,
  author = {Fangzhen Lin and Ray Reiter},
  title = {{Forget It!}},
  booktitle = {Proceedings of the AAAI Fall Symposium on Relevance},
  year = {1994},
  pages = {154--159},
  url = {https://www.aaai.org/Papers/Symposia/Fall/1994/FS-94-02/FS94-02-037.pdf}
}
@article{DBLP:journals/logcom/LinR94,
  author = {Fangzhen Lin and
               Raymond Reiter},
  title = {State Constraints Revisited, available at \url{http://www.cs.toronto.edu/cogrobo/Papers/constraint.pdf} },
  journal = {J. Log. Comput.},
  volume = {4},
  number = {5},
  pages = {655--678},
  year = {1994},
  url = {ftp://ftp.cs.toronto.edu/pub/cogrob/constraint.ps.Z},
  doi = {10.1093/logcom/4.5.655}
}
@article{LinReiter1997,
  author = {Fangzhen Lin and Raymond Reiter},
  title = {{How to Progress a Database}},
  journal = {Artificial Intelligence},
  volume = {92},
  pages = {131--167},
  year = {1997},
  doi = {https://doi.org/10.1016/S0004-3702(96)00044-6},
  url = {http://www.cs.toronto.edu/cogrobo/Papers/progress.pdf}
}
@inproceedings{LinSoutchanski2011,
  author = {Fangzhen Lin and
               Mikhail Soutchanski},
  title = {Causal Theories of Actions Revisited},
  url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3674},
  editor = {Wolfram Burgard and
               Dan Roth},
  booktitle = {Proceedings of the Twenty-Fifth AAAI Conference on Artificial
               Intelligence, AAAI 2011, San Francisco, California, USA,
               August 7-11, 2011},
  publisher = {AAAI Press},
  year = {2011}
}
@inproceedings{LiuLakemeyer2009,
  author = {Yongmei Liu and
               Gerhard Lakemeyer},
  title = {{On First-Order Definability and Computability of Progression
               for Local-Effect Actions and Beyond}},
  editor = {Craig Boutilier},
  booktitle = {IJCAI 2009, Proceedings of the 21st International Joint
               Conference on Artificial Intelligence, Pasadena, California,
               USA, July 11-17, 2009},
  pages = {860-866},
  url = {http://ijcai.org/papers09/Papers/IJCAI09-147.pdf},
  year = {2009}
}
@inproceedings{MasoumiAntoniazziSoutchanski2015,
  author = {Arman Masoumi and
               Megan Antoniazzi and
               Mikhail Soutchanski},
  editor = {G. Gottlob and
               G. Sutcliffe and
               A. Voronkov},
  title = {Modeling Organic Chemistry and Planning Organic Synthesis},
  booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
               Georgia, October 16-19, 2015},
  series = {EPiC Series in Computing},
  volume = {36},
  pages = {176--195},
  publisher = {EasyChair},
  year = {2015},
  url = {https://doi.org/10.29007/493z},
  doi = {10.29007/493z}
}
@techreport{MathewMScThesis2021,
  author = {Shaun Mathew},
  title = { {Heuristic Planning for Continuous Systems In Hybrid Temporal Situation Calculus, Master Thesis} },
  institution = {Ryerson University, Department of Copmputer Science},
  url = {},
  doi = {},
  publisher = {Toronto Metropolitan (formerly Ryerson) University},
  year = {2021},
  month = {Sep}
}
@inproceedings{MatloobSoutchanski2016,
  author = {Rami Matloob and Mikhail Soutchanski},
  editor = { },
  title = {Exploring Organic Synthesis with State-of-the-Art Planning Techniques},
  booktitle = {{Scheduling and Planning Applications woRKshop (SPARK) at 
					the 26th ICAPS,	London, UK, June 12 - 17}},
  pages = {52-61},
  publisher = {},
  year = {2016},
  doi = {https://icaps16.icaps-conference.org/proceedings/spark16.pdf},
  url = {https://www.cs.ryerson.ca/~mes/publications/MatloobSoutchanskiExploringOrganicSynthesisWithState-of-the-ArtPlanning_SPARK2016.pdf}
}
@techreport{McC63,
  author = {John McCarthy},
  title = {Situations, Actions and Causal Laws},
  institution = {Stanford University Artificial Intelligence Laboratory},
  year = {1963},
  url = {https://stacks.stanford.edu/file/druid:kf190cg0706/SC1041_SAIL_AIM_002.pdf},
  type = {},
  number = {Technical Report Memo 2},
  address = {Stanford, CA},
  month = {},
  note = {Reprinted in Marvin Minsky, editor, {Semantic Information Processing}, MIT Press, 1968}
}
@incollection{MH69,
  author = {McCarthy, John and  Hayes, Patrick},
  title = {Some {P}hilosophical {P}roblems from
    the  {S}tandpoint of {A}rtificial {I}ntelligence},
  editor = {B. Meltzer and  D. Michie},
  booktitle = {Machine  Intelligence},
  volume = {4},
  pages = {463--502},
  publisher = {Edinburgh Univ. Press},
  url = {http://jmc.stanford.edu/articles/mcchay69.html},
  year = {1969}
}
@article{DBLP:journals/ai/McDermott99,
  author = {Drew V. McDermott},
  title = {Using Regression-Match Graphs to Control Search in Planning},
  journal = {Artif. Intell.},
  volume = {109},
  number = {1-2},
  pages = {111--159},
  year = {1999},
  url = {https://doi.org/10.1016/S0004-3702(99)00010-7},
  doi = {10.1016/S0004-3702(99)00010-7}
}
@article{McIlraith00,
  author = {Sheila A. McIlraith},
  title = {Integrating {A}ctions and {S}tate {C}onstraints: 
                A {C}losed-form {S}olution to the {R}amification {P}roblem (sometimes)},
  journal = {Artif. Intell.},
  volume = {116},
  number = {1-2},
  year = {2000},
  pages = {87-121},
  url = {http://dx.doi.org/10.1016/S0004-3702(99)00087-9},
  doi = {https://doi.org/10.1016/S0004-3702(99)00087-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Miller1996,
  author = {Rob Miller},
  title = {A case study in reasoning about actions and continuous change},
  booktitle = {Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96)},
  url = {https://www.ucl.ac.uk/infostudies/rob-miller/publications/papers/Continuous.ps},
  doi = {https://www.ucl.ac.uk/infostudies/rob-miller/publications/papers/abstract10.html},
  editor = {W. Wahlster},
  pages = {624--628},
  year = {1996}
}
@inproceedings{NerodeKohnHybridSystems1992,
  author = {Anil Nerode and
               Wolf Kohn},
  editor = {Robert L. Grossman and
               Anil Nerode and
               Anders P. Ravn and
               Hans Rischel},
  title = {Models for Hybrid Systems: Automata, Topologies, Controllability,
               Observability},
  booktitle = {Hybrid Systems},
  series = {Lecture Notes in Computer Science},
  volume = {736},
  pages = {317--356},
  publisher = {Springer},
  year = {1992},
  url = {https://doi.org/10.1007/3-540-57318-6\_35},
  doi = {10.1007/3-540-57318-6\_35}
}
@book{NewtonPrincipia,
  year = {1999},
  title = {"The Principia: Mathematical Principles of Natural Philosophy",
			a new translation by I. Bernard Cohen and Anne  Whitman},
  author = {Isaac Newton},
  publisher = {University of California Press},
  url = {https://www.ucpress.edu/book/9780520290747/the-principia-the-authoritative-translation}
}
@article{DBLP:journals/logcom/Pednault94,
  author = {Edwin P. D. Pednault},
  title = {{ADL} and the State-Transition Model of Action},
  journal = {J. Log. Comput.},
  volume = {4},
  number = {5},
  pages = {467--512},
  year = {1994},
  url = {https://doi.org/10.1093/logcom/4.5.467},
  doi = {10.1093/logcom/4.5.467}
}
@inproceedings{DBLP:conf/aips/PiacentiniMLFD16,
  author = {Chiara Piacentini and
               Daniele Magazzeni and
               Derek Long and
               Maria Fox and
               Chris J. Dent},
  editor = {Amanda Jane Coles and
               Andrew Coles and
               Stefan Edelkamp and
               Daniele Magazzeni and
               Scott Sanner},
  title = {Solving Realistic Unit Commitment Problems Using Temporal Planning:
               Challenges and Solutions},
  booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  pages = {421--430},
  publisher = {{AAAI} Press},
  year = {2016},
  url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/12992}
}
@article{Pinto1995,
  author = {Javier Pinto and
               Raymond Reiter},
  title = {Reasoning About Time in the Situation Calculus},
  journal = {Ann. Math. Artif. Intell.},
  volume = {14},
  number = {2-4},
  pages = {251--268},
  year = {1995},
  url = {http://dx.doi.org/10.1007/BF01530822},
  doi = {10.1007/BF01530822}
}
@inproceedings{DBLP:conf/ijcai/PiotrowskiFLMM16,
  author = {Wiktor Mateusz Piotrowski and
               Maria Fox and
               Derek Long and
               Daniele Magazzeni and
               Fabio Mercorio},
  editor = {Subbarao Kambhampati},
  title = {Heuristic Planning for {PDDL+} Domains},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages = {3213--3219},
  publisher = {{IJCAI/AAAI} Press},
  year = {2016},
  url = {http://www.ijcai.org/Abstract/16/455}
}
@article{PirriHintonLevesque2002,
  author = {Fiora Pirri and
               Geoffrey E. Hinton and
               Hector J. Levesque},
  title = {{In Memory of Ray Reiter (1939-2002) }},
  journal = {{AI} Mag.},
  volume = {23},
  number = {4},
  pages = {93},
  year = {2002},
  url = {https://doi.org/10.1609/aimag.v23i4.1672},
  doi = {10.1609/aimag.v23i4.1672}
}
@article{PirriReiterACM99,
  title = {Some contributions to the metatheory of the situation calculus},
  author = {Pirri, Fiora and Reiter, Ray},
  journal = {Journal of the ACM (JACM)},
  url = {http://www.cs.toronto.edu/kr/publications/metatheory.pdf},
  doi = {https://doi.org/10.1145/316542.316545},
  volume = {46},
  number = {3},
  pages = {325--361},
  year = {1999},
  publisher = {ACM}
}
@inproceedings{PirriReiter2000,
  author = {Fiora Pirri and Raymond Reiter},
  title = {Planning with natural actions in the situation calculus},
  booktitle = {Logic-Based Artificial Intelligence},
  year = {2000},
  url = {https://www.diag.uniroma1.it/PUB/SitCalc/LBAI-Kluwer2000.ps},
  doi = {https://link.springer.com/book/10.1007/978-1-4615-1567-8},
  editor = {Jack Minker},
  pages = {213–231},
  organisation = {https://www.umiacs.umd.edu/publications/logic-based-artificial-intelligence},
  publisher = {Kluwer},
  address = {},
  month = {},
  note = {ISBN 9780792372240}
}
@article{DBLP:journals/etai/Poole98,
  author = {David Poole},
  title = {Decision Theory, the Situation Calculus and Conditional Plans,
		available at \url{https://www.cs.ubc.ca/~poole/abstracts/sitc.html} },
  journal = {Electron. Trans. Artif. Intell.},
  volume = {2},
  pages = {105--158},
  year = {1998},
  doi = {http://www.ep.liu.se/ej/etai/1998/004/},
  url = {https://www.cs.ubc.ca/~poole/abstracts/sitc.pdf}
}
@techreport{QovaiziMScThesis2019,
  author = {Qovaizi, Hadi},
  title = {{Efficient Lifted Planning with Regression-Based Heuristics, Master Thesis}},
  institution = {Ryerson University, Department of Copmputer Science},
  url = {https://rshare.library.ryerson.ca/articles/thesis/Efficient_Lifted_Planning_with_Regression-Based_Heuristics/14647755/1},
  doi = {10.32920/ryerson.14647755.v1},
  publisher = {Toronto Metropolitan (formerly Ryerson) University},
  year = {2019},
  month = {Sep}
}
@book{Raphael1976,
  title = {The Thinking Computer: Mind Inside Matter},
  author = {Bertram Raphael},
  publisher = {W.H. Freeman and Company},
  url = {https://archive.org/details/thinkingcomputer00raph},
  year = {1976}
}
@inproceedings{Reiter1991,
  author = {Raymond Reiter},
  title = {The frame problem in the situation calculus: {A} simple solution
                  (sometimes) and a completeness result for goal regression},
  booktitle = {Artificial Intelligence and Mathematical Theory of
                  Computation: {P}apers in Honor of John McCarthy},
  year = {1991},
  url = {http://www.cs.toronto.edu/kr/publications/simple.pdf},
  editor = {Lifschitz, V.},
  pages = {359-380},
  organisation = {},
  publisher = {Academic Press},
  address = {San Diego},
  month = {},
  note = {}
}
@article{Reiter1993,
  author = {Raymond Reiter},
  title = {Proving Properties of States in the Situation Calculus},
  journal = {Artif. Intell.},
  volume = {64},
  number = {2},
  pages = {337--351},
  year = {1993},
  url = {https://doi.org/10.1016/0004-3702(93)90109-O},
  doi = {10.1016/0004-3702(93)90109-O}
}
@inproceedings{ReiterKR96,
  author = {Raymond Reiter},
  title = {Natural Actions, Concurrency and Continuous Time in the Situation
               Calculus},
  booktitle = {Proceedings of the Fifth International Conference on Principles of
               Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
               USA, November 5-8, 1996.},
  editor = {Luigia Carlucci Aiello and
               Jon Doyle and
               Stuart C. Shapiro},
  url = {http://www.cs.toronto.edu/kr/publications/natural.pdf},
  pages = {2--13},
  publisher = {Morgan Kaufmann},
  year = {1996}
}
@book{Reiter2001,
  author = {Reiter, Raymond},
  title = {Knowledge in Action. {L}ogical Foundations for Specifying
			and Implementing Dynamical Systems},
  publisher = {MIT, available at \url{http://cognet.mit.edu/book/knowledge-action} },
  year = {2001},
  doi = {https://doi.org/10.7551/mitpress/4074.001.0001},
  url = {http://www.cs.toronto.edu/cogrobo/kia/index.html}
}
@inproceedings{DBLP:conf/ijcai/ScalaHMT17,
  author = {Enrico Scala and
               Patrik Haslum and
               Daniele Magazzeni and
               Sylvie Thi{\'{e}}baux},
  editor = {Carles Sierra},
  title = {Landmarks for Numeric Planning Problems},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
               19-25, 2017},
  pages = {4384--4390},
  publisher = {ijcai.org},
  year = {2017},
  url = {https://doi.org/10.24963/ijcai.2017/612},
  doi = {10.24963/ijcai.2017/612}
}
@inproceedings{DBLP:conf/ijcai/ScalaHT16,
  author = {Enrico Scala and
               Patrik Haslum and
               Sylvie Thi{\'{e}}baux},
  editor = {Subbarao Kambhampati},
  title = {Heuristics for Numeric Planning via Subgoaling},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages = {3228--3234},
  publisher = {{IJCAI/AAAI} Press},
  year = {2016},
  url = {http://www.ijcai.org/Abstract/16/457}
}
@article{ScherlLevesque2003,
  author = {Richard B. Scherl and Hector J. Levesque},
  title = {Knowledge, action, and the frame problem},
  journal = {Artificial Intelligence},
  volume = {144},
  number = {1-2},
  pages = {1--39},
  doi = {https://doi.org/10.1016/S0004-3702(02)00365-X},
  year = {2003}
}
@inproceedings{SoutchanskiIJCAI01,
  author = {Mikhail Soutchanski},
  editor = {Bernhard Nebel},
  title = {An On-line Decision-Theoretic Golog Interpreter},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
               2001},
  pages = {19--26},
  publisher = {Morgan Kaufmann},
  url = {https://www.cs.toronto.edu/kr/publications/onlinedtgi.pdf},
  year = {2001}
}
@book{Strogatz2019,
  author = {Strogatz, Steven H.},
  title = {Infinite Powers: How Calculus Reveals the Secrets of the Universe},
  publisher = {Houghton Mifflin Harcourt},
  url = {https://www.stevenstrogatz.com/books/infinite-powers},
  year = {2019}
}
@inproceedings{Ternovskaia94,
  author = {Eugenia Ternovskaia},
  editor = {         },
  title = {Interval Situation Calculus},
  booktitle = {Proceedings of the {ECAI-94} Workshop {W5} on {Logic and Change}},
  address = {Amsterdam, Netherlands},
  series = {},
  volume = {},
  pages = {153--164},
  publisher = {},
  year = {1994}
}
@inproceedings{ToussaintIJCAI2015,
  author = {Marc Toussaint},
  editor = {Qiang Yang and
               Michael J. Wooldridge},
  title = {Logic-Geometric Programming: An Optimization-Based Approach to Combined
               Task and Motion Planning},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages = {1930--1936},
  publisher = {{AAAI} Press},
  year = {2015},
  url = {http://ijcai.org/Abstract/15/274}
}
@inproceedings{traffic,
  title = {Efficient Macroscopic Urban Traffic Models for Reducing Congestion: 
                A {PDDL+} Planning Approach},
  author = {Vallati, Mauro and Magazzeni, Daniele and De Schutter, Bart and Chrpa, Luk{\'a}s and McCluskey, Thomas Leo},
  booktitle = {AAAI},
  url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/download/11985/12079},
  pages = {3188--3194},
  year = {2016}
}
@article{VassosLevesqueAI2013,
  author = {Stavros Vassos and
               Hector J. Levesque},
  title = {How to progress a database {III}},
  journal = {Artif. Intell.},
  volume = {195},
  pages = {203--221},
  year = {2013},
  url = {https://doi.org/10.1016/j.artint.2012.10.005},
  doi = {10.1016/j.artint.2012.10.005}
}
@inproceedings{VassosPatrizi2013,
  author = {Stavros Vassos and
               Fabio Patrizi},
  editor = {Francesca Rossi},
  title = {A Classification of First-Order Progressable Action Theories in Situation
               Calculus},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages = {1132--1138},
  publisher = {{IJCAI/AAAI}},
  year = {2013},
  url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6646}
}
@inproceedings{Waldinger77,
  author = {Waldinger, R.},
  title = {Achieving several goals simultaneously},
  url = {https://www.sri.com/wp-content/uploads/pdf/763.pdf},
  booktitle = {Machine Intelligence},
  year = {1977},
  editor = {E.\ Elcock and D.\ Michie},
  volume = {8},
  pages = {94--136},
  address = {Edinburgh, Scotland},
  publisher = {Ellis Horwood},
  ref = {}
}
@article{Weld1999,
  author = {Daniel S. Weld},
  title = {Recent Advances in {AI} Planning},
  journal = {{AI} Mag.},
  volume = {20},
  number = {2},
  pages = {93--123},
  year = {1999},
  url = {https://doi.org/10.1609/aimag.v20i2.1459},
  doi = {10.1609/aimag.v20i2.1459}
}
@inproceedings{WichlaczHollerHoffmann2021,
  author = {Julia Wichlacz and
               Daniel H{\"{o}}ller and
               J{\"{o}}rg Hoffmann},
  editor = {Hang Ma and
               Ivan Serina},
  title = {Landmark Heuristics for Lifted Planning - Extended Abstract},
  booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
               Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
               2021},
  pages = {242--244},
  publisher = {{AAAI} Press},
  year = {2021},
  url = {https://ojs.aaai.org/index.php/SOCS/article/view/18597}
}

This file was generated by bibtex2html 1.99.