Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/kr/kr89.bht:"
@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} }
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.