Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kr/kr89.bht:"
download as .bib file
@inproceedings{DBLP:conf/kr/BacchusTK89,
author = {Fahiem Bacchus and
Josh Tenenberg and
Johannes A. G. M. Koomen},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {A Non-Reified Temporal Logic},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {2--10},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Thu, 19 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BacchusTK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Baker89,
author = {Andrew B. Baker},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {A Simple Solution to the Yale Shooting Problem},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {11--20},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Baker89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Barnden89,
author = {John A. Barnden},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Belief, Metaphorically Speaking},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {21--32},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Barnden89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BorgidaE89,
author = {Alexander Borgida and
David W. Etherington},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {33--43},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BorgidaE89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BylanderATJ89,
author = {Tom Bylander and
Dean Allemang and
Michael C. Tanner and
John R. Josephson},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Some Results Concerning the Computational Complexity of Abduction},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {44--54},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BylanderATJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Cohn89,
author = {Anthony G. Cohn},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {On the Appearance of Sortal Literals: a Non Substitutional Framework
for Hybrid Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {55--66},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Cohn89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CrawfordK89,
author = {James M. Crawford and
Benjamin Kuipers},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Towards a Theory of Access-Limited Logic for Knowledge Representation},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {67--78},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CrawfordK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Davis89,
author = {Ernest Davis},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Solutions to a Paradox of Perception with Limited Acuity},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {79--82},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Davis89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DechterMP89,
author = {Rina Dechter and
Itay Meiri and
Judea Pearl},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Temporal Constraint Networks},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {83--93},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DechterMP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DoyleW89,
author = {Jon Doyle and
Michael P. Wellman},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Impediments to Universal Preference-Based Default Theories},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {94--102},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DoyleW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Drummond89,
author = {Mark Drummond},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Situated Control Rules},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {103--113},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Drummond89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EtheringtonFGIL89,
author = {David W. Etherington and
Kenneth D. Forbus and
Matthew L. Ginsberg and
David J. Israel and
Vladimir Lifschitz},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Critical Issues in Nonmonotonic Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {500--504},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/EtheringtonFGIL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Etzioni89,
author = {Oren Etzioni},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Tractable Decision-Analytic Control},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {114--125},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Etzioni89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Frisch89,
author = {Alan M. Frisch},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {A General Framework for Sorted Deduction: Fundamental Results on Hybrid
Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {126--136},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Frisch89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Geffner89,
author = {Hector Geffner},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Default Reasoning, Minimality and Coherence},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {137--148},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Geffner89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Helft89,
author = {Nicolas Helft},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Induction as Nonmonotonic Inference},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {149--156},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Helft89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Hirst89,
author = {Graeme Hirst},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Ontological Assumptions in Knowledge Representation},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {157--169},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Hirst89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ishida89,
author = {Yoshiteru Ishida},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {A Framework for Dynamic Representation of Knowledge: {A} Minimum Principle
in Organizing Knowledge Representation},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {170--179},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Ishida89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kasif89,
author = {Simon Kasif},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Parallel Solutions to Constraint Satisfaction Problems},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {180--188},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Kasif89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KautzS89,
author = {Henry A. Kautz and
Bart Selman},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Hard Problems for Simple Default Logics},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {189--197},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KautzS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Koomen89,
author = {Johannes A. G. M. Koomen},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Localizing Temporal Constraint Propagation},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {198--202},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Koomen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KotonC89,
author = {Phyllis Koton and
Melissa P. Chase},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Knowledge Representation in a Case-Based Reasoning System: Defaults
and Exceptions},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {203--211},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KotonC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lehmann89,
author = {Daniel Lehmann},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {What Does a Conditional Knowledge Base Entail?},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {212--222},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lehmann89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Leishman89,
author = {Debbie Leishman},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Analogy as a Constrained Partial Correspondence Over Conceptual Graphs},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {223--234},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Leishman89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lifschitz89,
author = {Vladimir Lifschitz},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Between Circumscription and Autoepistemic Logic},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {235--244},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lifschitz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LinS89,
author = {Fangzhen Lin and
Yoav Shoham},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Argument Systems: {A} Uniform Basis for Nonmonotonic Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {245--255},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LinS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lozinskii89,
author = {Eliezer L. Lozinskii},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Plausible World Assumption},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {266--275},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lozinskii89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MarekT89,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Relating Autoepistemic and Default Logics},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {276--288},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MarekT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McAllesterGF89,
author = {David A. McAllester and
Robert Givan and
Tanveer Fatima},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Taxonomic Syntax for First Order Inference},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {289--300},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/McAllesterGF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Nebel89,
author = {Bernhard Nebel},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {A Knowledge Level Analysis of Belief Revision},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {301--311},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Nebel89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Neufeld89,
author = {Eric Neufeld},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Defaults and Probabilities; Extensions and Coherence},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {312--323},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Neufeld89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Pearl89,
author = {Judea Pearl},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Probabilistic Semantics for Nonmonotonic Reasoning: {A} Survey},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {505--516},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Pearl89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Pednault89,
author = {Edwin P. D. Pednault},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {{ADL:} Exploring the Middle Ground Between {STRIPS} and the Situation
Calculus},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {324--332},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Pednault89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Poole89,
author = {David Poole},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {What the Lottery Paradox Tells Us About Default Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {333--340},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Poole89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Prescott89,
author = {Ronald Prescott},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Analogical Reasoning, Defeasible Reasoning, and the Reference Class},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {256--265},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Prescott89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Przymusinski89,
author = {Teodor C. Przymusinski},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {341--348},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Przymusinski89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RajasekarLM89,
author = {Arcot Rajasekar and
Jorge Lobo and
Jack Minker},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Skeptical Reasoning and Disjunctive Programs},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {349--356},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Thu, 21 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/RajasekarLM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RandellC89,
author = {David A. Randell and
Anthony G. Cohn},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Modelling Topological and Metrical Properties in Physical Processes},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {357--368},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/RandellC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RaoF89,
author = {Anand S. Rao and
Norman Y. Foo},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Formal Theories of Belief Revision},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {369--380},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/RaoF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Rayner89,
author = {Manny Rayner},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Did Newton Solve the "Extended Prediction Problem"?},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {381--385},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Rayner89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Rosenschein89,
author = {Stanley J. Rosenschein},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Synthesizing Information-Tracking Automata from Environment Descriptions},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {386--393},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Rosenschein89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RossiM89,
author = {Francesca Rossi and
Ugo Montanari},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Exact Solution in Linear Time of Networks of Constraints Using Perfect
Relaxation},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {394--399},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RossiM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RussellW89,
author = {Stuart J. Russell and
Eric Wefald},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Principles of Metareasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {400--411},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/RussellW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Sandewall89,
author = {Erik Sandewall},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Combining Logic and Differential Equations for Describing Real-World
Systems},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {412--420},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Sandewall89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Schmidt-Schauss89,
author = {Manfred Schmidt{-}Schau{\ss}},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Subsumption in {KL-ONE} is Undecidable},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {421--431},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Schmidt-Schauss89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Schmolze89,
author = {James G. Schmolze},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Terminological Knowledge Representation Systems Supporting N-ary Terms},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {432--443},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Schmolze89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SchubertH89,
author = {Lenhart K. Schubert and
Chung Hee Hwang},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {An Episodic Knowledge Representation for Narrative Texts},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {444--458},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/SchubertH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Stabler89,
author = {Edward P. Stabler Jr.},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Syntactic Equality in Knowledge Representation and Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {459--466},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Stabler89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SubramanianW89,
author = {Devika Subramanian and
John Woodfill},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Making Situation Calculus Indexical},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {467--474},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/SubramanianW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Tenenberg89,
author = {Josh D. Tenenberg},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Inheritance in Automated Planning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {475--485},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Tenenberg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Zadrozny89,
author = {Wlodek Zadrozny},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Cardinalities and Well Orderings in a Common-Sense Set Theory},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {486--497},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Zadrozny89.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}
}
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.
retrieved on 2024-05-25 20:20 CEST from data curated 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:
