@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.