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/kr94.bht:"
download as .bib file
@inproceedings{DBLP:conf/kr/ArtaleF94,
author = {Alessandro Artale and
Enrico Franconi},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {A Computational Account for a Description Logic of Time and Action},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {3--14},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/ArtaleF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AttardiS94,
author = {Giuseppe Attardi and
Maria Simi},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Proofs in Context},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {15--26},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AttardiS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaalenF94,
author = {Jeffrey Van Baalen and
Richard Fikes},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {The Role of Reversible Grammars in Translating Between Representation
Languages},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {562--571},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaalenF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BarndenHIS94,
author = {John A. Barnden and
Stephen Helmreich and
Eric Iverson and
Gees C. Stein},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {An Integrated Implementation of Simulative, Uncertain and Metaphorical
Reasoning about Mental States},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {27--38},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BarndenHIS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BeekD94,
author = {Peter van Beek and
Rina Dechter},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Constraint Tightness versus Global Consistency},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {572--582},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BeekD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ben-EliyahuP94,
author = {Rachel Ben{-}Eliyahu and
Luigi Palopoli},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Reasoning with Minimal Models: Efficient Algorithms and Applications},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {39--50},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Ben-EliyahuP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Bennett94,
author = {Brandon Bennett},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Spatial Reasoning with Propositional Logics},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {51--62},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Bennett94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Bochman94,
author = {Alexander Bochman},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {On the Relation Between Default and Modal Consequence Relations},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {63--74},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Bochman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Boutilier94,
author = {Craig Boutilier},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Toward a Logic for Qualitative Decision Theory},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {75--86},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Boutilier94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BrafmanT94,
author = {Ronen I. Brafman and
Moshe Tennenholtz},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Belief Ascription and Mental-Level Modelling},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {87--98},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BrafmanT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CadoliEG94,
author = {Marco Cadoli and
Thomas Eiter and
Georg Gottlob},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Default Logic as a Query Language},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {99--108},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CadoliEG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseLN94,
author = {Diego Calvanese and
Maurizio Lenzerini and
Daniele Nardi},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {A Unified Framework for Class-Based Representation Formalisms},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {109--120},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseLN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Carbonell94,
author = {Jaime G. Carbonell},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Knowledge Representation Issues in Integrated Planning and Learning
Systems (Abstract)},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {633},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Carbonell94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CohenH94,
author = {William W. Cohen and
Haym Hirsh},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Learning the Classic Description Logic: Theoretical and Experimental
Results},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {121--133},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CohenH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DamasioNP94,
author = {Carlos Viegas Dam{\'{a}}sio and
Wolfgang Nejdl and
Lu{\'{\i}}s Moniz Pereira},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {{REVISE:} An Extended Logic Programming System for Revising Knowledge
Bases},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {607--618},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DamasioNP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DechterR94,
author = {Rina Dechter and
Irina Rish},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Directional Resolution: The Davis-Putnam Procedure, Revisited},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {134--145},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DechterR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DelgrandeS94,
author = {James P. Delgrande and
Torsten Schaub},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {A General Approach to Specificity in Default Reasoning},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {146--157},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DelgrandeS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DuboisP94,
author = {Didier Dubois and
Henri Prade},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Conditional Objects as Nonmonotonic Consequence Relations: Main Results},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {170--177},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DuboisP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DuboisP94a,
author = {Didier Dubois and
Henri Prade},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Non-Standard Theories of Uncertainty in Knowledge Representation and
Reasoning},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {634--645},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DuboisP94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EtzioniGW94,
author = {Oren Etzioni and
Keith Golden and
Daniel S. Weld},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Tractable Closed World Reasoning with Updates},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {178--189},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/EtzioniGW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Eugenio94,
author = {Barbara Di Eugenio},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Action Representation for Interpreting Purpose Clauses in Natural
Language Instructions},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {158--169},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Eugenio94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FriedmanH94,
author = {Nir Friedman and
Joseph Y. Halpern},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {A Knowledge-Based Framework for Belief Change, Part {II:} Revision
and Update},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {190--201},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FriedmanH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FriedmanH94a,
author = {Nir Friedman and
Joseph Y. Halpern},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {On the Complexity of Conditional Logics},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {202--213},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FriedmanH94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GereviniS94,
author = {Alfonso Gerevini and
Lenhart K. Schubert},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {An Efficient Method for Managing Disjunctions in Qualitative Temporal
Reasoning},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {214--225},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GereviniS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GinsbergM94,
author = {Matthew L. Ginsberg and
David A. McAllester},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {{GSAT} and Dynamic Backtracking},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {226--237},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GinsbergM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GoldmanB94,
author = {Robert P. Goldman and
Mark S. Boddy},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Representing Uncertainty in Simple Planners},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {238--245},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GoldmanB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Gotts94,
author = {Nicholas Mark Gotts},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {246--257},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Gotts94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GruberO94,
author = {Thomas R. Gruber and
Gregory R. Olsen},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {An Ontology for Engineering Mathematics},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {258--269},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GruberO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GuarinoCG94,
author = {Nicola Guarino and
Massimiliano Carrara and
Pierdaniele Giaretta},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {An Ontology of Meta-Level Categories},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {270--280},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GuarinoCG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HoekJT94,
author = {Wiebe van der Hoek and
Jan Jaspars and
Elias Thijsse},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Honesty in Partial Logic},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {583--594},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HoekJT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Hunter94,
author = {Anthony Hunter},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Defeasible Reasoning with Structured Information},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {281--292},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Hunter94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/InoueS94,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {On Positive Occurrences of Negation as Failure},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {293--304},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/InoueS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Jaeger94,
author = {Manfred Jaeger},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Probabilistic Reasoning in Terminological Logics},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {305--316},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Jaeger94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Jiang94,
author = {Yuejun Jiang},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {On Multiagent Autoepistemic Logic : An Extrospective View},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {317--328},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Jiang94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kambhampati94,
author = {Subbarao Kambhampati},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Refinement Search as a Unifying Framework for Analyzing Planning Algorithms},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {329--340},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Kambhampati94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KarthaL94,
author = {G. Neelakantan Kartha and
Vladimir Lifschitz},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Actions with Indirect Effects (Preliminary Report)},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {341--350},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KarthaL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Koehler94,
author = {Jana Koehler},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {An Application of Terminological Logics to Case-based Reasoning},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {351--362},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Koehler94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KoenigS94,
author = {Sven Koenig and
Reid G. Simmons},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Risk-Sensitive Planning with Probabilistic Decision Graphs},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {363--373},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KoenigS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Konolige94,
author = {Kurt Konolige},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Easy to be Hard: Difficult Problems for Greedy Algorithms},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {374--378},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Konolige94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Koubarakis94,
author = {Manolis Koubarakis},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Complexity Results for First-Order Theories of Temporal Constraints},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {379--390},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Koubarakis94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KuipersS94,
author = {Benjamin Kuipers and
Benjamin Shults},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Reasoning in Logic about Continuous Systems},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {391--402},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KuipersS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerM94,
author = {Gerhard Lakemeyer and
Susanne Meyer},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Enhancing the Power of a Decidable First-Order Reasoner},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {403--414},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LamarreS94,
author = {Philippe Lamarre and
Yoav Shoham},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated
Version)},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {415--424},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LamarreS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LinR94,
author = {Fangzhen Lin and
Raymond Reiter},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {How to Progress a Database (and Why) I. Logical Foundations},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {425--436},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LinR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McCarty94,
author = {L. Thorne McCarty},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Modalities Over Actions, I. Model Theory},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {437--448},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/McCarty94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McIlraith94,
author = {Sheila A. McIlraith},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Generating Tests Using Abduction},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {449--460},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/McIlraith94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Meyden94,
author = {Ron van der Meyden},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Mutual Belief Revision (Preliminary Report)},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {595--606},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Meyden94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MoinardR94,
author = {Yves Moinard and
Raymond Rolland},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Preferential Entailments for Circumscriptions},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {461--472},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MoinardR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Niemela94,
author = {Ilkka Niemel{\"{a}}},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic
Reasoning},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {473--484},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Niemela94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PadghamL94,
author = {Lin Padgham and
Patrick Lambrix},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {A Framework for Part-of Hierarchies in Terminological Logics},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {485--496},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/PadghamL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Padghamd94,
author = {Lin Padgham},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Systems vs. Theory vs. ... : KR{\&}R Research Methodologies (Abstract)},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {649},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Padghamd94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Rao94,
author = {Anand S. Rao},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Means-End Plan Recognition - Towards a Theory of Reactive Recognition},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {497--508},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Rao94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Schild94,
author = {Klaus Schild},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Terminological Cycles and the Propositional {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {509--520},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Schild94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Schubert94,
author = {Lenhart K. Schubert},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Exploiting Natural Language for Knowledge Representation and Reasoning
(Abstract)},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {650--651},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Schubert94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Selman94,
author = {Bart Selman},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Near-Optimal Plans, Tractability, and Reactivity},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {521--529},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Selman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TanP94,
author = {Sek{-}Wah Tan and
Judea Pearl},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Specification and Evaluation of Preferences Under Uncertainty},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {530--539},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/TanP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Teege94,
author = {Gunnar Teege},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Making the Difference: {A} Subtraction Operation for Description Logics},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {540--550},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Teege94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Val94,
author = {Alvaro del Val},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Tractable Databases: How to Make Propositional Unit Resolution Complete
Through Compilation},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {551--561},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Val94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Williams94,
author = {Mary{-}Anne Williams},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Transmutations of Knowledge Systems},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {619--629},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Williams94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Woods94,
author = {William A. Woods},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Beyond Ignorance-Based Systems (Abstract)},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {646},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Woods94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1994,
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
publisher = {Morgan Kaufmann},
year = {1994},
isbn = {1-55860-328-X},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/1994.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-04-23 15:23 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:
