Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hector J. Levesque
@inproceedings{DBLP:conf/aaai/BrachmanL22,
author = {Ronald J. Brachman and
Hector J. Levesque},
title = {Toward a New Science of Common Sense},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {12245--12249},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i11.21485},
doi = {10.1609/AAAI.V36I11.21485},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrachmanL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-12754,
author = {Ronald J. Brachman and
Hector J. Levesque},
title = {Toward a New Science of Common Sense},
journal = {CoRR},
volume = {abs/2112.12754},
year = {2021},
url = {https://arxiv.org/abs/2112.12754},
eprinttype = {arXiv},
eprint = {2112.12754},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-12754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelleL20,
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},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BelleL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KlassenML20,
author = {Toryn Q. Klassen and
Sheila A. McIlraith and
Hector J. Levesque},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Changing Beliefs about Domain Dynamics in the Situation Calculus},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {572--581},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/57},
doi = {10.24963/KR.2020/57},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KlassenML20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL20,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A First-Order Logic of Limited Belief Based on Possible Worlds},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {624--635},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/62},
doi = {10.24963/KR.2020/62},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DelgrandeL19,
author = {James P. Delgrande and
Hector J. Levesque},
title = {An Epistemic Approach to Nondeterminism: Believing in the Simplest
Course of Events},
journal = {Stud Logica},
volume = {107},
number = {5},
pages = {859--886},
year = {2019},
url = {https://doi.org/10.1007/s11225-018-9808-6},
doi = {10.1007/S11225-018-9808-6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DelgrandeL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL19,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Sarit Kraus},
title = {A Tractable, Expressive, and Eventually Complete First-Order Logic
of Limited Belief},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1764--1771},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/244},
doi = {10.24963/IJCAI.2019/244},
timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelleL18,
author = {Vaishak Belle and
Hector J. Levesque},
title = {Reasoning about discrete and continuous noisy sensors and effectors
in dynamical systems},
journal = {Artif. Intell.},
volume = {262},
pages = {189--221},
year = {2018},
url = {https://doi.org/10.1016/j.artint.2018.06.003},
doi = {10.1016/J.ARTINT.2018.06.003},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BelleL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KlassenML18,
author = {Toryn Q. Klassen and
Sheila A. McIlraith and
Hector J. Levesque},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Specifying Plausibility Levels for Iterated Belief Change in the Situation
Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {257--266},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18051},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/KlassenML18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05314,
author = {Vaishak Belle and
Hector J. Levesque},
title = {Reasoning about Discrete and Continuous Noisy Sensors and Effectors
in Dynamical Systems},
journal = {CoRR},
volume = {abs/1809.05314},
year = {2018},
url = {http://arxiv.org/abs/1809.05314},
eprinttype = {arXiv},
eprint = {1809.05314},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-05314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/commonsense/KlassenLM17,
author = {Toryn Q. Klassen and
Hector J. Levesque and
Sheila A. McIlraith},
editor = {Andrew S. Gordon and
Rob Miller and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {Towards Representing What Readers of Fiction Believe},
booktitle = {Proceedings of the Thirteenth International Symposium on Commonsense
Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2052},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2052/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/commonsense/KlassenLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BelleL16,
author = {Vaishak Belle and
Hector J. Levesque},
title = {A Logical Theory of Localization},
journal = {Stud Logica},
volume = {104},
number = {4},
pages = {741--772},
year = {2016},
url = {https://doi.org/10.1007/s11225-015-9625-0},
doi = {10.1007/S11225-015-9625-0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BelleL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BelleLL16,
author = {Vaishak Belle and
Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {A First-Order Logic of Probability and Only Knowing in Unbounded Domains},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {893--899},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10108},
doi = {10.1609/AAAI.V30I1.10108},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BelleLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL16,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Decidable Reasoning in a Logic of Limited Belief with Function Symbols},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {288--297},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12912},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelleL16,
author = {Vaishak Belle and
Hector J. Levesque},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Foundations for Generalized Planning in Unbounded Stochastic Domains},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {380--389},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12881},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelleL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BelleL15,
author = {Vaishak Belle and
Hector J. Levesque},
title = {Robot location estimation in the situation calculus},
journal = {J. Appl. Log.},
volume = {13},
number = {4},
pages = {397--413},
year = {2015},
url = {https://doi.org/10.1016/j.jal.2015.02.004},
doi = {10.1016/J.JAL.2015.02.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BelleL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/KlassenML15,
author = {Toryn Q. Klassen and
Sheila A. McIlraith and
Hector J. Levesque},
title = {Towards Tractable Inference for Resource-Bounded Agents},
booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 22-25, 2015},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10291},
timestamp = {Wed, 14 Nov 2018 14:01:49 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/KlassenML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelleL15a,
author = {Vaishak Belle and
Hector J. Levesque},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {{ALLEGRO:} Belief-Based Programming in Stochastic Dynamical Domains},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2762--2769},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/391},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BelleL15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GiacomoL15,
author = {Giuseppe De Giacomo and
Hector J. Levesque},
editor = {Marcelo Arenas and
{\'{O}}scar Corcho and
Elena Simperl and
Markus Strohmaier and
Mathieu d'Aquin and
Kavitha Srinivas and
Paul Groth and
Michel Dumontier and
Jeff Heflin and
Krishnaprasad Thirunarayan and
Steffen Staab},
title = {Adding DL-Lite TBoxes to Proper Knowledge Bases},
booktitle = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9366},
pages = {305--321},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25007-6\_18},
doi = {10.1007/978-3-319-25007-6\_18},
timestamp = {Tue, 21 Mar 2023 20:58:48 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GiacomoL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Levesque14,
author = {Hector J. Levesque},
title = {On our best behaviour},
journal = {Artif. Intell.},
volume = {212},
pages = {27--35},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2014.03.007},
doi = {10.1016/J.ARTINT.2014.03.007},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Levesque14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BelleL14,
author = {Vaishak Belle and
Hector J. Levesque},
editor = {Carla E. Brodley and
Peter Stone},
title = {{PREGO:} An Action Language for Belief-Based Cognitive Robotics in
Continuous Domains},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {989--995},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8865},
doi = {10.1609/AAAI.V28I1.8865},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BelleL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BelleL14,
author = {Vaishak Belle and
Hector J. Levesque},
title = {A Logical Theory of Robot Localization},
booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 24-26, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7688},
timestamp = {Wed, 14 Nov 2018 14:23:12 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/BelleL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelleL14,
author = {Vaishak Belle and
Hector J. Levesque},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {A logical theory of robot localization},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {349--356},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615789},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/BelleL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelleL14,
author = {Vaishak Belle and
Hector J. Levesque},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {How to Progress Beliefs in Continuous Domains},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7998},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelleL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL14,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Decidable Reasoning in a Fragment of the Epistemic Situation Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7990},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RajaratnamLPT14,
author = {David Rajaratnam and
Hector J. Levesque and
Maurice Pagnucco and
Michael Thielscher},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Forgetting in Action},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7983},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RajaratnamLPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/0001L14,
author = {Yongmei Liu and
Hector J. Levesque},
editor = {Alexandru Baltag and
Sonja Smets},
title = {Incorporating Action Models into the Situation Calculus},
booktitle = {Johan van Benthem on Logic and Information Dynamics},
pages = {569--590},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06025-5\_21},
doi = {10.1007/978-3-319-06025-5\_21},
timestamp = {Mon, 26 Jun 2023 08:47:47 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/0001L14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BelleL14,
author = {Vaishak Belle and
Hector J. Levesque},
title = {Robot Location Estimation in the Situation Calculus},
journal = {CoRR},
volume = {abs/1402.7276},
year = {2014},
url = {http://arxiv.org/abs/1402.7276},
eprinttype = {arXiv},
eprint = {1402.7276},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BelleL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/VassosL13,
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},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/VassosL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelleL13,
author = {Vaishak Belle and
Hector J. Levesque},
editor = {Francesca Rossi},
title = {Reasoning about Continuous Uncertainty in the Situation Calculus},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {732--738},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6656},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelleL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DelgrandeL13,
author = {James P. Delgrande and
Hector J. Levesque},
editor = {Francesca Rossi},
title = {A Formal Account of Nondeterministic and Failed Actions},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {861--868},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6661},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/DelgrandeL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL13,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Francesca Rossi},
title = {Decidable Reasoning in a Logic of Limited Belief with Introspection
and Unknown Individuals},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {969--975},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6638},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/BelleL13,
author = {Vaishak Belle and
Hector J. Levesque},
editor = {Ann E. Nicholson and
Padhraic Smyth},
title = {Reasoning about Probabilities in Dynamic Systems using Goal Regression},
booktitle = {Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial
Intelligence, {UAI} 2013, Bellevue, WA, USA, August 11-15, 2013},
publisher = {{AUAI} Press},
year = {2013},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2367\&\#38;proceeding\_id=29},
timestamp = {Fri, 16 Jul 2021 16:15:58 +0200},
biburl = {https://dblp.org/rec/conf/uai/BelleL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BelleL13,
author = {Vaishak Belle and
Hector J. Levesque},
title = {Reasoning about Probabilities in Dynamic Systems using Goal Regression},
journal = {CoRR},
volume = {abs/1309.6816},
year = {2013},
url = {http://arxiv.org/abs/1309.6816},
eprinttype = {arXiv},
eprint = {1309.6816},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BelleL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LevesqueL12,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {The Truth about Defaults},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {422--435},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_29},
doi = {10.1007/978-3-642-30743-0\_29},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LevesqueL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DelgrandeL12,
author = {James P. Delgrande and
Hector J. Levesque},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Belief Revision with Sensing and Fallible Actions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4528},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DelgrandeL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL12,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Only-Knowing Meets Nonmonotonic Modal Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4507},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LevesqueDM12,
author = {Hector J. Levesque and
Ernest Davis and
Leora Morgenstern},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {The Winograd Schema Challenge},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4492},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LevesqueDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LakemeyerL11,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
title = {A semantic characterization of a useful fragment of the situation
calculus with knowledge},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {142--164},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.005},
doi = {10.1016/J.ARTINT.2010.04.005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LakemeyerL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ShapiroPLL11,
author = {Steven Shapiro and
Maurice Pagnucco and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
title = {Iterated belief change in the situation calculus},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {165--192},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.003},
doi = {10.1016/J.ARTINT.2010.04.003},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ShapiroPLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Levesque11,
author = {Hector J. Levesque},
title = {The Winograd Schema Challenge},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
{AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
USA, March 21-23, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2502},
timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/Levesque11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiacomoLL11,
author = {Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
editor = {Toby Walsh},
title = {Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {827--832},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-144},
doi = {10.5591/978-1-57735-516-8/IJCAI11-144},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiacomoLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HuL11,
author = {Yuxiao Hu and
Hector J. Levesque},
editor = {Toby Walsh},
title = {A Correctness Result for Reasoning about One-Dimensional Planning
Problems},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2638--2643},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-439},
doi = {10.5591/978-1-57735-516-8/IJCAI11-439},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/HuL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HuL10,
author = {Yuxiao Hu and
Hector J. Levesque},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {A Correctness Result for Reasoning about One-Dimensional Planning
Problems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HuL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10081,
editor = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
title = {Cognitive Robotics, 21.02. - 26.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10081},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10081/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LakemeyerLP10,
author = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
editor = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
title = {10081 Abstracts Collection - Cognitive Robotics},
booktitle = {Cognitive Robotics, 21.02. - 26.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10081},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2777/},
timestamp = {Thu, 10 Jun 2021 13:02:08 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LakemeyerLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LevesqueL10,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
editor = {Gerhard Lakemeyer and
Hector J. Levesque and
Fiora Pirri},
title = {Cognitive Robotics},
booktitle = {Cognitive Robotics, 21.02. - 26.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10081},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2633/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LevesqueL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LakemeyerL09,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Alexander Borgida and
Vinay K. Chaudhri and
Paolo Giorgini and
Eric S. K. Yu},
title = {A Semantical Account of Progression in the Presence of Defaults},
booktitle = {Conceptual Modeling: Foundations and Applications - Essays in Honor
of John Mylopoulos},
series = {Lecture Notes in Computer Science},
volume = {5600},
pages = {82--98},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02463-4\_6},
doi = {10.1007/978-3-642-02463-4\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LakemeyerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL09,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Craig Boutilier},
title = {A Semantical Account of Progression in the Presence of Defaults},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {842--847},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/144.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Levesque09,
author = {Hector J. Levesque},
editor = {Craig Boutilier},
title = {Is It Enough to Get the Behavior Right?},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {1439--1444},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/241.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Levesque09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/GiacomoLLS09,
author = {Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque and
Sebastian Sardi{\~{n}}a},
editor = {Rafael H. Bordini and
Mehdi Dastani and
J{\"{u}}rgen Dix and
Amal El Fallah Seghrouchni},
title = {IndiGolog: {A} High-Level Programming Language for Embedded Reasoning
Agents},
booktitle = {Multi-Agent Programming, Languages, Tools and Applications},
pages = {31--72},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-89299-3\_2},
doi = {10.1007/978-0-387-89299-3\_2},
timestamp = {Wed, 12 Aug 2020 21:55:15 +0200},
biburl = {https://dblp.org/rec/books/sp/09/GiacomoLLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VassosL08,
author = {Stavros Vassos and
Hector J. Levesque},
editor = {Dieter Fox and
Carla P. Gomes},
title = {On the Progression of Situation Calculus Basic Action Theories: Resolving
a 10-year-old Conjecture},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1004--1009},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-159.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/VassosL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/VassosLL08,
author = {Stavros Vassos and
Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {First-Order Strong Progression for Local-Effect Basic Action Theories},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {662--672},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-065.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/VassosLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/LevesqueL08,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Cognitive Robotics},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {869--886},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03023-4},
doi = {10.1016/S1574-6526(07)03023-4},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/LevesqueL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ShapiroLL07,
author = {Steven Shapiro and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
title = {Goal Change in the Situation Calculus},
journal = {J. Log. Comput.},
volume = {17},
number = {5},
pages = {983--1018},
year = {2007},
url = {https://doi.org/10.1093/logcom/exm050},
doi = {10.1093/LOGCOM/EXM050},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ShapiroLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GhaderiLL07,
author = {Hojjat Ghaderi and
Hector J. Levesque and
Yves Lesp{\'{e}}rance},
title = {A Logical Theory of Coordination and Joint Ability},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {421--426},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-066.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GhaderiLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GhaderiLL07,
author = {Hojjat Ghaderi and
Hector J. Levesque and
Yves Lesp{\'{e}}rance},
title = {A Logical Theory of Coordination and Joint Ability},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
{AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
USA, March 26-28, 2007},
pages = {53--58},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-010.php},
timestamp = {Fri, 17 Feb 2012 14:14:44 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/GhaderiLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GhaderiLL07,
author = {Hojjat Ghaderi and
Hector J. Levesque and
Yves Lesp{\'{e}}rance},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {Towards a logical theory of coordination and joint ability},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {81},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329223},
doi = {10.1145/1329125.1329223},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/GhaderiLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Levesque07,
author = {Hector J. Levesque},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Some Further Thoughts on Expressiveness and Tractability},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250/invited\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Levesque07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VassosL07,
author = {Stavros Vassos and
Hector J. Levesque},
editor = {Manuela M. Veloso},
title = {Progression of Situation Calculus Action Theories with Incomplete
Information},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {2029--2024},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/327.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/VassosL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LakemeyerL06,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
title = {Towards an Axiom System for Default Logic},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {263--268},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-042.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LakemeyerL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Levesque06,
author = {Hector J. Levesque},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {The Truth About Defaults},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {5},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1632},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Levesque06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SardinaGLL06,
author = {Sebastian Sardi{\~{n}}a and
Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {On the Limits of Planning over Belief States under Strict Uncertainty},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {463--471},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-048.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SardinaGLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/MitchellL05,
author = {Tom M. Mitchell and
Hector J. Levesque},
title = {The 2005 {AAAI} Classic Paper Awards},
journal = {{AI} Mag.},
volume = {26},
number = {4},
pages = {98--99},
year = {2005},
url = {https://doi.org/10.1609/aimag.v26i4.1853},
doi = {10.1609/AIMAG.V26I4.1853},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/MitchellL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LakemeyerL05,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Only-Knowing: Taking It Beyond Autoepistemic Reasoning},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {633--638},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-099.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LakemeyerL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiuL05,
author = {Yongmei Liu and
Hector J. Levesque},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Tractable Reasoning in First-Order Knowledge Bases with Disjunctive
Information},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {639--644},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-100.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiuL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL05,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Semantics for a useful fragment of the situation calculus},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {490--496},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0973.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Levesque05,
author = {Hector J. Levesque},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Planning with Loops},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {509--515},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0305.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Levesque05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiuL05,
author = {Yongmei Liu and
Hector J. Levesque},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic
Systems with Context-Dependent Actions},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {522--527},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0706.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LiuL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShapiroLL05,
author = {Steven Shapiro and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Goal Change},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {582--588},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1114.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ShapiroLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023546,
author = {Ronald J. Brachman and
Hector J. Levesque},
title = {Knowledge Representation and Reasoning},
publisher = {Elsevier},
year = {2004},
url = {http://www.elsevier.com/wps/find/bookdescription.cws\_home/702602/description},
isbn = {978-1-55860-932-7},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023546.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DixFLS04,
author = {J{\"{u}}rgen Dix and
Michael Fisher and
Hector J. Levesque and
Leon Sterling},
title = {Introduction},
journal = {Ann. Math. Artif. Intell.},
volume = {41},
number = {2-4},
pages = {131--133},
year = {2004},
url = {https://doi.org/10.1023/B:AMAI.0000031230.18901.7b},
doi = {10.1023/B:AMAI.0000031230.18901.7B},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/DixFLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SardinaGLL04,
author = {Sebastian Sardi{\~{n}}a and
Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
title = {On the Semantics of Deliberation in Indigolog - from Theory to Implementation},
journal = {Ann. Math. Artif. Intell.},
volume = {41},
number = {2-4},
pages = {259--299},
year = {2004},
url = {https://doi.org/10.1023/B:AMAI.0000031197.13122.aa},
doi = {10.1023/B:AMAI.0000031197.13122.AA},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/SardinaGLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SardinaGLL04,
author = {Sebastian Sardi{\~{n}}a and
Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
title = {On Ability to Autonomously Execute Agent Programs with Sensing},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {1522--1523},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10236},
doi = {10.1109/AAMAS.2004.10236},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/SardinaGLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL04,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Situations, Si! Situation Terms, No!},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {516--526},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-054.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LiuLL04,
author = {Yongmei Liu and
Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {A Logic of Limited Belief for Reasoning with Disjunctive Information},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {587--597},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-061.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LiuLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ScherlL03,
author = {Richard B. Scherl and
Hector J. Levesque},
title = {Knowledge, action, and the frame problem},
journal = {Artif. Intell.},
volume = {144},
number = {1-2},
pages = {1--39},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00365-X},
doi = {10.1016/S0004-3702(02)00365-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ScherlL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiuL03,
author = {Yongmei Liu and
Hector J. Levesque},
editor = {Georg Gottlob and
Toby Walsh},
title = {A Tractability Result for Reasoning with Incomplete First-Order Knowledge
Bases},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {83--88},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/012.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LiuL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/PirriHL02,
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},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/PirriHL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ShapiroLL02,
author = {Steven Shapiro and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
title = {The cognitive agents specification language and verification environment
for multiagent systems},
booktitle = {The First International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
Proceedings},
pages = {19--26},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/544741.544746},
doi = {10.1145/544741.544746},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/ShapiroLL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PetrickL02,
author = {Ronald P. A. Petrick and
Hector J. Levesque},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Knowledge Equivalence in Combined Action Theories},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {303--314},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/PetrickL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiacomoLLS02,
author = {Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque and
Sebastian Sardi{\~{n}}a},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {On the Semantics of Deliberation in IndiGolog: From Theory to Implementation},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {603--614},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiacomoLLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GiacomoLS01,
author = {Giuseppe De Giacomo and
Hector J. Levesque and
Sebastian Sardi{\~{n}}a},
title = {Incremental execution of guarded theories},
journal = {{ACM} Trans. Comput. Log.},
volume = {2},
number = {4},
pages = {495--525},
year = {2001},
url = {https://doi.org/10.1145/383779.383782},
doi = {10.1145/383779.383782},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GiacomoLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0005127,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
title = {The logic of knowledge bases},
publisher = {{MIT} Press},
year = {2000},
url = {https://mitpress.mit.edu/books/logic-knowledge-bases},
isbn = {978-0-262-12232-0},
timestamp = {Mon, 03 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0005127.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiacomoLL00,
author = {Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
title = {ConGolog, a concurrent programming language based on the situation
calculus},
journal = {Artif. Intell.},
volume = {121},
number = {1-2},
pages = {109--169},
year = {2000},
url = {https://doi.org/10.1016/S0004-3702(00)00031-X},
doi = {10.1016/S0004-3702(00)00031-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GiacomoLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LesperanceLLS00,
author = {Yves Lesp{\'{e}}rance and
Hector J. Levesque and
Fangzhen Lin and
Richard B. Scherl},
title = {Ability and Knowing How in the Situation Calculus},
journal = {Stud Logica},
volume = {66},
number = {1},
pages = {165--186},
year = {2000},
url = {https://doi.org/10.1023/A:1026761331498},
doi = {10.1023/A:1026761331498},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/LesperanceLLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KumarHMCL00,
author = {Sanjeev Kumar and
Marcus J. Huber and
David McGee and
Philip R. Cohen and
Hector J. Levesque},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Semantics of Agent Communication Languages for Group Interaction},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {42--47},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-007.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KumarHMCL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LakemeyerL00,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Steffen H{\"{o}}lldobler},
title = {Querying {AOL} Knowledge Bases},
booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
of his 60th birthday)},
series = {Applied Logic Series},
volume = {19},
pages = {225--244},
publisher = {Kluwer},
year = {2000},
timestamp = {Thu, 03 Jan 2002 11:54:05 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LakemeyerL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HindriksLL00,
author = {Koen V. Hindriks and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
editor = {Werner Horn},
title = {An Embedding of ConGolog in 3APL},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {558--562},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 09 Feb 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/HindriksLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/KumarCL00,
author = {Sanjeev Kumar and
Philip R. Cohen and
Hector J. Levesque},
title = {The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent
Broker Teams},
booktitle = {4th International Conference on Multi-Agent Systems, {ICMAS} 2000,
Boston, MA, USA, July 10-12, 2000},
pages = {159--166},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICMAS.2000.858448},
doi = {10.1109/ICMAS.2000.858448},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmas/KumarCL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ShapiroPLL00,
author = {Steven Shapiro and
Maurice Pagnucco and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Iterated Belief Change in the Situation Calculus},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {527--538},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/ShapiroPLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BacchusHL99,
author = {Fahiem Bacchus and
Joseph Y. Halpern and
Hector J. Levesque},
title = {Reasoning about Noisy Sensors and Effectors in the Situation Calculus},
journal = {Artif. Intell.},
volume = {111},
number = {1-2},
pages = {171--208},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00031-4},
doi = {10.1016/S0004-3702(99)00031-4},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BacchusHL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LakemeyerL99,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Thomas Dean},
title = {Query Evaluation and Progression in {AOL} Knowledge Bases},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {124--131},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/019.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LakemeyerL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiacomoL99,
author = {Giuseppe De Giacomo and
Hector J. Levesque},
editor = {Thomas Dean},
title = {Projection Using Regression and Sensors},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {160--165},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/024.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiacomoL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LinD98,
author = {Fangzhen Lin and
Hector J. Levesque},
title = {What Robots Can Do: Robot Programs and Effective Achievability},
journal = {Artif. Intell.},
volume = {101},
number = {1-2},
pages = {201--226},
year = {1998},
url = {https://doi.org/10.1016/S0004-3702(98)00041-1},
doi = {10.1016/S0004-3702(98)00041-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LinD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/etai/LevesquePR98,
author = {Hector J. Levesque and
Fiora Pirri and
Raymond Reiter},
title = {Foundations for the Situation Calculus},
journal = {Electron. Trans. Artif. Intell.},
volume = {2},
pages = {159--178},
year = {1998},
url = {http://www.ep.liu.se/ej/etai/1998/005/},
timestamp = {Wed, 05 May 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/etai/LevesquePR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Levesque98,
author = {Hector J. Levesque},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {A Completeness Result for Reasoning with Incomplete First-Order Knowledge
Bases},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {14--23},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/Levesque98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL98,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {{AOL:} {A} logic of Acting, Sensing, Knowing, and Only Knowing},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {316--329},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Levesque98a,
author = {Hector J. Levesque},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {What Robots Can Do},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {651},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Levesque98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-9809013,
author = {Fahiem Bacchus and
Joseph Y. Halpern and
Hector J. Levesque},
title = {Reasoning about Noisy Sensors and Effectors in the Situation Calculus},
journal = {CoRR},
volume = {cs.AI/9809013},
year = {1998},
url = {https://arxiv.org/abs/cs/9809013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-9809013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LevesqueRLLS97,
author = {Hector J. Levesque and
Raymond Reiter and
Yves Lesp{\'{e}}rance and
Fangzhen Lin and
Richard B. Scherl},
title = {{GOLOG:} {A} Logic Programming Language for Dynamic Domains},
journal = {J. Log. Program.},
volume = {31},
number = {1-3},
pages = {59--83},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00121-5},
doi = {10.1016/S0743-1066(96)00121-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LevesqueRLLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agents/LesperanceLR97,
author = {Yves Lesp{\'{e}}rance and
Hector J. Levesque and
Shane J. Ruman},
editor = {W. Lewis Johnson},
title = {An Experiment in Using Golog to Build a Personal Banking Assistant
(Extended Abstract)},
booktitle = {Proceedings of the First International Conference on Autonomous Agents,
{AGENTS} 1997, Marina del Rey, California, USA, February 5-8, 1997},
pages = {486--487},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/267658.267780},
doi = {10.1145/267658.267780},
timestamp = {Tue, 06 Nov 2018 11:07:02 +0100},
biburl = {https://dblp.org/rec/conf/agents/LesperanceLR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ShapiroLL97,
author = {Steven Shapiro and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
editor = {Wayne Wobcke and
Maurice Pagnucco and
Chengqi Zhang},
title = {Specifying Communicative Multi-Agent Systems (Invited Paper)},
booktitle = {Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications,
Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent
Agents, and Distributed Artificial Intelligence, Perth, Australia,
December 1, 1997},
series = {Lecture Notes in Computer Science},
volume = {1441},
pages = {1--14},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0055016},
doi = {10.1007/BFB0055016},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ShapiroLL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/TamLLLLMRJ97,
author = {Kenneth Tam and
J. Lloyd and
Yves Lesp{\'{e}}rance and
Hector J. Levesque and
Fangzhen Lin and
Daniel Marcu and
Raymond Reiter and
Michael R. M. Jenkin},
editor = {Abdul Sattar},
title = {Controlling Autonomous Robots with \emph{GOLOG}},
booktitle = {Advanced Topics in Artificial Intelligence, 10th Australian Joint
Conference on Artificial Intelligence, {AI} '97, Perth, Australia,
November 30 - December 4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1342},
pages = {1--12},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63797-4\_53},
doi = {10.1007/3-540-63797-4\_53},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/TamLLLLMRJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiacomoLL97,
author = {Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
title = {Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous
Actions in the Situation Calculus},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {1221--1226},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-2/Papers/062.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiacomoLL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SelmanML96,
author = {Bart Selman and
David G. Mitchell and
Hector J. Levesque},
title = {Generating Hard Satisfiability Problems},
journal = {Artif. Intell.},
volume = {81},
number = {1-2},
pages = {17--29},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(95)00045-3},
doi = {10.1016/0004-3702(95)00045-3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/SelmanML96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MitchellL96,
author = {David G. Mitchell and
Hector J. Levesque},
title = {Some Pitfalls for Experimenters with Random {SAT}},
journal = {Artif. Intell.},
volume = {81},
number = {1-2},
pages = {111--125},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(95)00049-6},
doi = {10.1016/0004-3702(95)00049-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MitchellL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SelmanL96,
author = {Bart Selman and
Hector J. Levesque},
title = {Support Set Selection for Abductive and Default Reasoning},
journal = {Artif. Intell.},
volume = {82},
number = {1-2},
pages = {259--272},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(94)00069-7},
doi = {10.1016/0004-3702(94)00069-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SelmanL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BrachmanL96,
author = {Ronald J. Brachman and
Hector J. Levesque},
title = {Undirected Behavior Without Unbounded Search},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {1},
year = {1996},
url = {https://doi.org/10.1145/242224.242226},
doi = {10.1145/242224.242226},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BrachmanL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Levesque96,
author = {Hector J. Levesque},
editor = {William J. Clancey and
Daniel S. Weld},
title = {What Is Planning in the Presence of Sensing?},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
2},
pages = {1139--1146},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-169.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Levesque96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/LesperanceLR96,
author = {Yves Lesp{\'{e}}rance and
Hector J. Levesque and
Shane J. Ruman},
editor = {Lawrence Cavedon and
Anand S. Rao and
Wayne Wobcke},
title = {An Experiment in Using Golog to Build a Personal Banking Assistant},
booktitle = {Intelligent Agent Systems, Theoretical and Practical Issues, Based
on a Workshop Held at PRICAI'96, Cairns, Australia, August 26-30,
1996},
series = {Lecture Notes in Computer Science},
volume = {1209},
pages = {27--43},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62686-7\_26},
doi = {10.1007/3-540-62686-7\_26},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/LesperanceLR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LesperanceL95,
author = {Yves Lesp{\'{e}}rance and
Hector J. Levesque},
title = {Indexical Knowledge and Robot Action - {A} Logical Account},
journal = {Artif. Intell.},
volume = {73},
number = {1-2},
pages = {69--115},
year = {1995},
url = {https://doi.org/10.1016/0004-3702(94)00010-X},
doi = {10.1016/0004-3702(94)00010-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LesperanceL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BrachmanL95,
author = {Ronald J. Brachman and
Hector J. Levesque},
title = {Undirected Behaviour Without Unbounded Search},
journal = {{ACM} Comput. Surv.},
volume = {27},
number = {3},
pages = {314--316},
year = {1995},
url = {https://doi.org/10.1145/212094.212104},
doi = {10.1145/212094.212104},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BrachmanL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LesperanceLLMRS95,
author = {Yves Lesp{\'{e}}rance and
Hector J. Levesque and
Fangzhen Lin and
Daniel Marcu and
Raymond Reiter and
Richard B. Scherl},
editor = {Michael J. Wooldridge and
J{\"{o}}rg P. M{\"{u}}ller and
Milind Tambe},
title = {Foundations of a Logical Approach to Agent Programming},
booktitle = {Intelligent Agents II, Agent Theories, Architectures, and Languages,
{IJCAI} '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1037},
pages = {331--346},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3540608052\_76},
doi = {10.1007/3540608052\_76},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/LesperanceLLMRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/CohenL95,
author = {Philip R. Cohen and
Hector J. Levesque},
editor = {Victor R. Lesser and
Les Gasser},
title = {Communicative Actions for Artificial Agents},
booktitle = {Proceedings of the First International Conference on Multiagent Systems,
June 12-14, 1995, San Francisco, California, {USA}},
pages = {65--72},
publisher = {The {MIT} Press},
year = {1995},
timestamp = {Tue, 16 Nov 2004 11:26:50 +0100},
biburl = {https://dblp.org/rec/conf/icmas/CohenL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BacchusHL95,
author = {Fahiem Bacchus and
Joseph Y. Halpern and
Hector J. Levesque},
title = {Reasoning about Noisy Sensors in the Situation Calculus},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {1933--1940},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/116.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BacchusHL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rur/BacchusHL95,
author = {Fahiem Bacchus and
Joseph Y. Halpern and
Hector J. Levesque},
editor = {Leo Dorst and
Michiel van Lambalgen and
Frans Voorbraak},
title = {Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus},
booktitle = {Reasoning with Uncertainty in Robotics, International Workshop, {RUR}
'95, Amsterdam, The Netherlands, December 4-6, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1093},
pages = {218--220},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0013962},
doi = {10.1007/BFB0013962},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rur/BacchusHL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/speech/CohenL94,
author = {Philip R. Cohen and
Hector J. Levesque},
title = {Preliminaries to a collaborative model of dialogue},
journal = {Speech Communication},
volume = {15},
number = {3-4},
pages = {265--274},
year = {1994},
url = {https://doi.org/10.1016/0167-6393(94)90077-9},
doi = {10.1016/0167-6393(94)90077-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/speech/CohenL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Levesque94,
author = {Hector J. Levesque},
editor = {Ronald Fagin},
title = {Knowledge, Action, and Ability in the Situation Calculus},
booktitle = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1994},
pages = {1--4},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Tue, 05 Mar 2002 09:23:12 +0100},
biburl = {https://dblp.org/rec/conf/tark/Levesque94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SelmanL93,
author = {Bart Selman and
Hector J. Levesque},
title = {The Complexity of Path-Based Defeasible Inheritance},
journal = {Artif. Intell.},
volume = {62},
number = {2},
pages = {303--339},
year = {1993},
url = {https://doi.org/10.1016/0004-3702(93)90081-L},
doi = {10.1016/0004-3702(93)90081-L},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SelmanL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ScherlL93,
author = {Richard B. Scherl and
Hector J. Levesque},
editor = {Richard Fikes and
Wendy G. Lehnert},
title = {The Frame Problem and Knowledge-Producing Actions},
booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence.
Washington, DC, USA, July 11-15, 1993},
pages = {689--695},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1993},
url = {http://www.aaai.org/Library/AAAI/1993/aaai93-103.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ScherlL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanLM92,
author = {Bart Selman and
Hector J. Levesque and
David G. Mitchell},
editor = {William R. Swartout},
title = {A New Method for Solving Hard Satisfiability Problems},
booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
San Jose, CA, USA, July 12-16, 1992},
pages = {440--446},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1992},
url = {http://www.aaai.org/Library/AAAI/1992/aaai92-068.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MitchellSL92,
author = {David G. Mitchell and
Bart Selman and
Hector J. Levesque},
editor = {William R. Swartout},
title = {Hard and Easy Distributions of {SAT} Problems},
booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
San Jose, CA, USA, July 12-16, 1992},
pages = {459--465},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1992},
url = {http://www.aaai.org/Library/AAAI/1992/aaai92-071.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MitchellSL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BrachmanLR91,
author = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Introduction to the Special Volume on Knowledge Representation},
journal = {Artif. Intell.},
volume = {49},
number = {1-3},
pages = {1--3},
year = {1991},
url = {https://doi.org/10.1016/0004-3702(91)90003-3},
doi = {10.1016/0004-3702(91)90003-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BrachmanLR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Levesque91,
author = {Hector J. Levesque},
editor = {Vladimir Lifschitz},
title = {Belief and Introspection},
booktitle = {Artificial and Mathematical Theory of Computation, Papers in Honor
of John McCarthy on the occasion of his sixty-fourth birthday},
pages = {247--260},
publisher = {Academic Press / Elsevier},
year = {1991},
url = {https://doi.org/10.1016/b978-0-12-450010-5.50020-7},
doi = {10.1016/B978-0-12-450010-5.50020-7},
timestamp = {Wed, 26 Jun 2019 13:52:03 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Levesque91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CohenL91,
author = {Philip R. Cohen and
Hector J. Levesque},
editor = {John Mylopoulos and
Raymond Reiter},
title = {Confirmations and Joint Action},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {951--959},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-2/Papers/051A.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CohenL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/91/SelmanL91,
author = {Bart Selman and
Hector J. Levesque},
editor = {John F. Sowa},
title = {The Tractability of Path-Based Inheritance},
booktitle = {Principles of Semantic Networks - Explorations in the Representation
of Knowledge},
series = {The Morgan Kaufmann Series in representation and reasoning},
pages = {283--297},
publisher = {Morgan Kaufmann},
year = {1991},
url = {https://doi.org/10.1016/B978-1-4832-0771-1.50016-3},
doi = {10.1016/B978-1-4832-0771-1.50016-3},
timestamp = {Fri, 17 Jul 2020 16:12:40 +0200},
biburl = {https://dblp.org/rec/books/el/91/SelmanL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CohenL90,
author = {Philip R. Cohen and
Hector J. Levesque},
title = {Intention is Choice with Commitment},
journal = {Artif. Intell.},
volume = {42},
number = {2-3},
pages = {213--261},
year = {1990},
url = {https://doi.org/10.1016/0004-3702(90)90055-5},
doi = {10.1016/0004-3702(90)90055-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CohenL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Levesque90,
author = {Hector J. Levesque},
title = {All {I} Know: {A} Study in Autoepistemic Logic},
journal = {Artif. Intell.},
volume = {42},
number = {2-3},
pages = {263--309},
year = {1990},
url = {https://doi.org/10.1016/0004-3702(90)90056-6},
doi = {10.1016/0004-3702(90)90056-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Levesque90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LevesqueCN90,
author = {Hector J. Levesque and
Philip R. Cohen and
Jos{\'{e}} H. T. Nunes},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {On Acting Together},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {94--99},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-014.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LevesqueCN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanL90,
author = {Bart Selman and
Hector J. Levesque},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Abductive and Default Reasoning: {A} Computational Core},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {343--348},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-053.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SelmanL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LesperanceL90,
author = {Yves Lesp{\'{e}}rance and
Hector J. Levesque},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Indexical Knowledge in Robot Plans},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {1030--1037},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-154.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LesperanceL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/CohenL90,
author = {Philip R. Cohen and
Hector J. Levesque},
editor = {Robert C. Berwick},
title = {Performatives in a Rationally Based Speech Act Theory},
booktitle = {28th Annual Meeting of the Association for Computational Linguistics,
6-9 June 1990, University of Pittsburgh, Pittsburgh, Pennsylvania,
USA, Proceedings},
pages = {79--88},
publisher = {{ACL}},
year = {1990},
url = {https://aclanthology.org/P90-1011/},
doi = {10.3115/981823.981834},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/CohenL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Levesque89,
author = {Hector J. Levesque},
editor = {N. S. Sridharan},
title = {A Knowledge-Level Account of Abduction},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {1061--1067},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/034.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Levesque89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SelmanL89,
author = {Bart Selman and
Hector J. Levesque},
editor = {N. S. Sridharan},
title = {The Tractability of Path-Based Inheritance},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {1140--1145},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/047.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SelmanL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1989,
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
publisher = {Morgan Kaufmann},
year = {1989},
isbn = {1-55860-032-9},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/RivieresL88,
author = {Jim des Rivi{\`{e}}res and
Hector J. Levesque},
title = {The consistency of syntactical treatments of knowledge},
journal = {Comput. Intell.},
volume = {4},
pages = {31--41},
year = {1988},
url = {https://doi.org/10.1111/j.1467-8640.1988.tb00088.x},
doi = {10.1111/J.1467-8640.1988.TB00088.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/RivieresL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Levesque88,
author = {Hector J. Levesque},
title = {Logic and the complexity of reasoning},
journal = {J. Philos. Log.},
volume = {17},
number = {4},
pages = {355--389},
year = {1988},
url = {https://doi.org/10.1007/BF00297511},
doi = {10.1007/BF00297511},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Levesque88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/LakemeyerL88,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Moshe Y. Vardi},
title = {A Tractable Knowledge Representation Service with Full Introspection},
booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1988},
pages = {145--159},
publisher = {Morgan Kaufmann},
year = {1988},
timestamp = {Thu, 21 Jun 2018 07:50:39 +0200},
biburl = {https://dblp.org/rec/conf/tark/LakemeyerL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/RosencheinDLLM88,
author = {Stanley J. Rosenchein and
Jon Doyle and
Ronald Prescott Loui and
Hector J. Levesque and
Robert S. Moore},
editor = {Joseph Y. Halpern},
title = {Panel: Locality vs. Rationality},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1986},
pages = {343},
publisher = {Morgan Kaufmann},
year = {1988},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/RosencheinDLLM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Levesque88,
author = {Hector J. Levesque},
editor = {Moshe Y. Vardi},
title = {Comments on "Knowledge, Representation, and Rational Self-Government"},
booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1988},
pages = {361--362},
publisher = {Morgan Kaufmann},
year = {1988},
timestamp = {Tue, 05 Mar 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/Levesque88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/LevesqueB87,
author = {Hector J. Levesque and
Ronald J. Brachman},
title = {Expressiveness and tractability in knowledge representation and reasoning},
journal = {Comput. Intell.},
volume = {3},
pages = {78--93},
year = {1987},
url = {https://doi.org/10.1111/j.1467-8640.1987.tb00176.x},
doi = {10.1111/J.1467-8640.1987.TB00176.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/LevesqueB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CohenL87,
author = {Philip R. Cohen and
Hector J. Levesque},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Intention = Choice + Commitment},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {410--415},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-073.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CohenL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Levesque87,
author = {Hector J. Levesque},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {All {I} Know: An Abridged Report},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {426--431},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-076.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Levesque87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Levesque86,
author = {Hector J. Levesque},
title = {Making Believers out of Computers},
journal = {Artif. Intell.},
volume = {30},
number = {1},
pages = {81--108},
year = {1986},
url = {https://doi.org/10.1016/0004-3702(86)90068-8},
doi = {10.1016/0004-3702(86)90068-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Levesque86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eds/BrachmanL86,
author = {Ronald J. Brachman and
Hector J. Levesque},
editor = {Larry Kerschberg},
title = {Tales from the Far Side of {KRYPTON}},
booktitle = {Expert Database Systems, Proceedings From the First International
Conference, Charleston, South Carolina, USA, April 1-4, 1986},
pages = {3--43},
publisher = {Benjamin/Cummings},
year = {1986},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eds/BrachmanL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/RivieresL86,
author = {Jim des Rivi{\`{e}}res and
Hector J. Levesque},
editor = {Joseph Y. Halpern},
title = {The Consistency of Syntactical Treatments of Knowledge},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1986},
pages = {115--130},
publisher = {Morgan Kaufmann},
year = {1986},
timestamp = {Tue, 05 Mar 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/RivieresL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/StalnakerKKLT86,
author = {Robert Stalnaker and
Hans Kamp and
Kurt Konolige and
Hector J. Levesque and
Richmond H. Thomason},
editor = {Joseph Y. Halpern},
title = {Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1986},
pages = {223},
publisher = {Morgan Kaufmann},
year = {1986},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/StalnakerKKLT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/CohenL85,
author = {Philip R. Cohen and
Hector J. Levesque},
editor = {William C. Mann},
title = {Speech Acts and Rationality},
booktitle = {23rd Annual Meeting of the Association for Computational Linguistics,
8-12 July 1985, University of Chicago, Chicago, Illinois, USA, Proceedings},
pages = {49--60},
publisher = {{ACL}},
year = {1985},
url = {https://aclanthology.org/P85-1007/},
doi = {10.3115/981210.981217},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/CohenL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/BrachmanL85,
author = {Ronald J. Brachman and
Hector J. Levesque},
editor = {Michael L. Brodie and
John Mylopoulos},
title = {The Knowledge Level of a {KBMS}},
booktitle = {On Knowledge Base Management Systems: Integrating Artificial Intelligence
and Database Technologies, Book resulting from the Islamorada Workshop
1985 (Islamorada, FL, {USA)}},
series = {Topics in Information Systems},
pages = {9--12},
publisher = {Springer},
year = {1985},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/BrachmanL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/LevesqueB85,
author = {Hector J. Levesque and
Ronald J. Brachman},
editor = {Michael L. Brodie and
John Mylopoulos},
title = {Knowledge Level Interfaces to Information Systems},
booktitle = {On Knowledge Base Management Systems: Integrating Artificial Intelligence
and Database Technologies, Book resulting from the Islamorada Workshop
1985 (Islamorada, FL, {USA)}},
series = {Topics in Information Systems},
pages = {13--34},
publisher = {Springer},
year = {1985},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/LevesqueB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Levesque85,
author = {Hector J. Levesque},
editor = {Michael L. Brodie and
John Mylopoulos},
title = {A View Of Knowledge Representation},
booktitle = {On Knowledge Base Management Systems: Integrating Artificial Intelligence
and Database Technologies, Book resulting from the Islamorada Workshop
1985 (Islamorada, FL, {USA)}},
series = {Topics in Information Systems},
pages = {63--69},
publisher = {Springer},
year = {1985},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/Levesque85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrachmanGL85,
author = {Ronald J. Brachman and
Victoria P. Gilbert and
Hector J. Levesque},
editor = {Aravind K. Joshi},
title = {An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts
of {KRYPTON}},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {532--539},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-1/Papers/102.pdf},
timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BrachmanGL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Levesque84,
author = {Hector J. Levesque},
title = {Foundations of a Functional Approach to Knowledge Representation},
journal = {Artif. Intell.},
volume = {23},
number = {2},
pages = {155--212},
year = {1984},
url = {https://doi.org/10.1016/0004-3702(84)90009-2},
doi = {10.1016/0004-3702(84)90009-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Levesque84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrachmanL84,
author = {Ronald J. Brachman and
Hector J. Levesque},
editor = {Ronald J. Brachman},
title = {The Tractability of Subsumption in Frame-Based Description Languages},
booktitle = {Proceedings of the National Conference on Artificial Intelligence.
Austin, TX, USA, August 6-10, 1984},
pages = {34--37},
publisher = {{AAAI} Press},
year = {1984},
url = {http://www.aaai.org/Library/AAAI/1984/aaai84-036.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrachmanL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Levesque84,
author = {Hector J. Levesque},
editor = {Ronald J. Brachman},
title = {A Logic of Implicit and Explicit Belief},
booktitle = {Proceedings of the National Conference on Artificial Intelligence.
Austin, TX, USA, August 6-10, 1984},
pages = {198--202},
publisher = {{AAAI} Press},
year = {1984},
url = {http://www.aaai.org/Library/AAAI/1984/aaai84-038.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Levesque84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eds/BrachmanL84,
author = {Ronald J. Brachman and
Hector J. Levesque},
editor = {Larry Kerschberg},
title = {What Makes a Knowledge Base Knowledgeable? {A} View of Databases from
the Knowledge Level},
booktitle = {Expert Database Systems, Proceedings From the First international
Workshop, Kiawah Island, South Carolina, USA, October 24-27, 1984},
pages = {69--78},
publisher = {Benjamin/Cummings},
year = {1984},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eds/BrachmanL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BrachmanFL83,
author = {Ronald J. Brachman and
Richard Fikes and
Hector J. Levesque},
title = {Krypton: {A} Functional Approach to Knowledge Representation},
journal = {Computer},
volume = {16},
number = {10},
pages = {67--73},
year = {1983},
url = {https://doi.org/10.1109/MC.1983.1654200},
doi = {10.1109/MC.1983.1654200},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BrachmanFL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrachmanLF83,
author = {Ronald J. Brachman and
Hector J. Levesque and
Richard Fikes},
editor = {Michael R. Genesereth},
title = {{KRYPTON:} Integrating Terminology and Assertion},
booktitle = {Proceedings of the National Conference on Artificial Intelligence,
Washington, D.C., USA, August 22-26, 1983},
pages = {31--35},
publisher = {{AAAI} Press},
year = {1983},
url = {http://www.aaai.org/Library/AAAI/1983/aaai83-005.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrachmanLF83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MylopoulosL83,
author = {John Mylopoulos and
Hector J. Levesque},
editor = {Bernd Neumann},
title = {An Overview of Knowledge Representation},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {143--157},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_13},
doi = {10.1007/978-3-642-69391-5\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/MylopoulosL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrachmanL82,
author = {Ronald J. Brachman and
Hector J. Levesque},
editor = {David L. Waltz},
title = {Competence in Knowledge Representation},
booktitle = {Proceedings of the National Conference on Artificial Intelligence,
Pittsburgh, PA, USA, August 18-20, 1982},
pages = {189--192},
publisher = {{AAAI} Press},
year = {1982},
url = {http://www.aaai.org/Library/AAAI/1982/aaai82-045.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrachmanL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/MylopoulosL82,
author = {John Mylopoulos and
Hector J. Levesque},
editor = {Michael L. Brodie and
John Mylopoulos and
Joachim W. Schmidt},
title = {An Overview of Knowledge Representation},
booktitle = {On Conceptual Modelling, Perspectives from Artificial Intelligence,
Databases, and Programming Languages, Book resulting from the Intervale
Workshop 1982},
series = {Topics in information systems},
pages = {3--17},
publisher = {Springer},
year = {1982},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/MylopoulosL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Levesque82,
author = {Hector J. Levesque},
editor = {Michael L. Brodie and
John Mylopoulos and
Joachim W. Schmidt},
title = {The Logic of Incomplete Knowledge Bases},
booktitle = {On Conceptual Modelling, Perspectives from Artificial Intelligence,
Databases, and Programming Languages, Book resulting from the Intervale
Workshop 1982},
series = {Topics in information systems},
pages = {165--189},
publisher = {Springer},
year = {1982},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/Levesque82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Levesque81,
author = {Hector J. Levesque},
title = {A formal treatment of incomplete knowledge bases},
school = {University of Toronto, Canada},
year = {1981},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106624076306196},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Levesque81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Levesque81,
author = {Hector J. Levesque},
editor = {Patrick J. Hayes},
title = {The Interaction with Incomplete Knowledge Bases: {A} Formal Treatment},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial
Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
pages = {240--245},
publisher = {William Kaufmann},
year = {1981},
url = {http://ijcai.org/Proceedings/81-1/Papers/049.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Levesque81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Levesque80,
author = {Hector J. Levesque},
editor = {Michael L. Brodie and
Stephen N. Zilles},
title = {Incompleteness in Knowledge Bases},
booktitle = {Proceedings of the Workshop on Data Abstraction, Databases and Conceptual
Modelling, Pingree Park, Colorado, USA, June 23-26, 1980},
volume = {11},
number = {2},
pages = {150--152},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/800227.806905},
doi = {10.1145/800227.806905},
timestamp = {Tue, 03 Aug 2021 13:44:55 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/Levesque80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LevesqueM77,
author = {Hector J. Levesque and
John Mylopoulos},
editor = {Raj Reddy},
title = {An Overview of a Procedural Approach to Semantic Networks},
booktitle = {Proceedings of the 5th International Joint Conference on Artificial
Intelligence. Cambridge, MA, USA, August 22-25, 1977},
pages = {283},
publisher = {William Kaufmann},
year = {1977},
url = {http://ijcai.org/Proceedings/77-1/Papers/042.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LevesqueM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
