default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kr/kr2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/kr/AmirM00,
author = {Eyal Amir and
Sheila A. McIlraith},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Partition-Based Logical Reasoning},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {389--400},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/AmirM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AmorBDGP00,
author = {Nahla Ben Amor and
Salem Benferhat and
Didier Dubois and
Hector Geffner and
Henri Prade},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Independence in qualitative uncertainty frameworks},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {235--246},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AmorBDGP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderK00,
author = {Franz Baader and
Ralf K{\"{u}}sters},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Matching Concept Descriptions with Existential Restrictions},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {261--272},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaaderK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderKM00,
author = {Franz Baader and
Ralf K{\"{u}}sters and
Ralf Molitor},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Rewriting Concepts Using Terminologies},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {297--308},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaaderKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BalbianiO00,
author = {Philippe Balbiani and
Aomar Osmani},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {A Model for Reasoning about Topologic Relations between cyclic intervals},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {378--385},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BalbianiO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaralMS00,
author = {Chitta Baral and
Sheila A. McIlraith and
Tran Cao Son},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Formulating diagnostic problem solving using an action language with
narratives and sensing},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {311--322},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaralMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BesnardS00,
author = {Philippe Besnard and
Torsten Schaub},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Significant Inferences : Preliminary Report},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {401--410},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BesnardS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BisoRS00,
author = {Alessandro Biso and
Francesca Rossi and
Alessandro Sperduti},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Experimental Results on Learning Soft Constraints},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {435--444},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BisoRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Bloch00,
author = {Isabelle Bloch},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Spatial representation of spatial relationship knowledge},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {247--258},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Bloch00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseGLV00,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Maurizio Lenzerini and
Moshe Y. Vardi},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Containment of Conjunctive Regular Path Queries with Inverse},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {176--185},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseGLV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Chalupsky00,
author = {Hans Chalupsky},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {OntoMorph: {A} Translation System for Symbolic Knowledge},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {471--482},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Chalupsky00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChomickiLN00,
author = {Jan Chomicki and
Jorge Lobo and
Shamim A. Naqvi},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {A Logic Programming Approach to Conflict Resolution in Policy Management},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {121--132},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Wed, 27 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ChomickiLN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CiocoiuN00,
author = {Mihai Ciocoiu and
Dana S. Nau},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Ontology-Based Semantics},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {539--546},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CiocoiuN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ClarkTP00,
author = {Peter Clark and
John A. Thompson and
Bruce W. Porter},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Knowledge Patterns},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {591--600},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ClarkTP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Condotta00,
author = {Jean{-}Fran{\c{c}}ois Condotta},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {The Augmented Interval and Rectangle Networks},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {571--579},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Condotta00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CristaniCB00,
author = {Matteo Cristani and
Anthony G. Cohn and
Brandon Bennett},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Spatial Locations via Morpho-Mereology},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {15--25},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CristaniCB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CumbyR00,
author = {Chad M. Cumby and
Dan Roth},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Relational Representations that Facilitate Learning},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {425--434},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CumbyR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DeneckerMT00,
author = {Marc Denecker and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Uniform semantic treatment of default and autoepistemic logic},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {74--84},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DeneckerMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DimopoulosNT00,
author = {Yannis Dimopoulos and
Bernhard Nebel and
Francesca Toni},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Finding Admissible and Preferred Arguments Can be Very Hard},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {53--61},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DimopoulosNT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterL00,
author = {Thomas Eiter and
Thomas Lukasiewicz},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Complexity Results for Default Reasoning from Conditional Knowledge
Bases},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {62--73},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/EiterL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FargierLM00,
author = {H{\'{e}}l{\`{e}}ne Fargier and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Propositional Logic and One-Stage Decision Making},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {445--456},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FargierLM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FattahP00,
author = {Yousri El Fattah and
Mark A. Peot},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {A Compositional Structured Query Approach to Automated Inference},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {213--224},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FattahP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Galton00,
author = {Antony Galton},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Continuous Motion in Discrete Space},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {26--37},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Galton00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GinsbergP00,
author = {Matthew L. Ginsberg and
Andrew J. Parkes},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Satisfiability Algorithms and Finite Quantification},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {690--701},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GinsbergP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Giunchiglia00,
author = {Enrico Giunchiglia},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Planning as Satisfiability with Expressive Action Languages: Concurrency,
Constraints and Nondeterminism},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {657--666},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Giunchiglia00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HaarslevM00,
author = {Volker Haarslev and
Ralf M{\"{o}}ller},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Expressive ABox Reasoning with Number Restrictions, Role Hierarchies,
and Transitively Closed Roles},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {273--284},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HaarslevM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HorrocksT00,
author = {Ian Horrocks and
Stephan Tobies},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Reasoning with Axioms: Theory and Practice},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {285--296},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HorrocksT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/IocchiNR00,
author = {Luca Iocchi and
Daniele Nardi and
Riccardo Rosati},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Planning with sensing, concurrency, and exogenous events: logical
framework and implementation},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {678--689},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/IocchiNR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/IsmailS00,
author = {Haythem O. Ismail and
Stuart C. Shapiro},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Two Problems with Reasoning and Acting in Time},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {355--365},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/IsmailS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Jamil00,
author = {Hasan M. Jamil},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {A Logic Based Language for Parametric Inheritance},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {611--622},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Jamil00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JanhunenNSY00,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Patrik Simons and
Jia{-}Huai You},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {411--422},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/JanhunenNSY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Konieczny00,
author = {S{\'{e}}bastien Konieczny},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {On the Difference between Merging Knowledge Bases and Combining them},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {135--144},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Konieczny00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LafageL00,
author = {Celine Lafage and
J{\'{e}}r{\^{o}}me Lang},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Logical representation of preferences for group decision making},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {457--468},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LafageL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LampertiZ00,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Generation of Diagnostic Knowledge by Discrete-Event Model Compilation},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {333--344},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LampertiZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LangM00,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {In search of the right extension},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {625--636},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LangM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LiberatoreS00,
author = {Paolo Liberatore and
Marco Schaerf},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {BReLS: {A} System for the Integration of Knowledge Bases},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {145--152},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LiberatoreS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lifschitz00,
author = {Vladimir Lifschitz},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Missionaries and Cannibals in the Causal Calculator},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {85--96},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lifschitz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin00,
author = {Fangzhen Lin},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {On Strongest Necessary and Weakest Sufficient Conditions},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {167--175},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MartinG00,
author = {Mario Mart{\'{\i}}n and
Hector Geffner},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Learning Generalized Policies in Planning Using Concept Languages},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {667--677},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 01 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MartinG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Massacci00,
author = {Fabio Massacci},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Reduction rules and universal variables for first order tableaux and
{DPLL}},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {186--197},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Massacci00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Maynard-ReidL00,
author = {Pedrito Maynard{-}Reid II and
Daniel Lehmann},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Representing and Aggregating Conflicting Beliefs},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {153--164},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Maynard-ReidL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McCarthy00,
author = {John McCarthy},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Approximate Objects and Approximate Theories},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {519--526},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 14 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/McCarthy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McGuinnessFRW00,
author = {Deborah L. McGuinness and
Richard Fikes and
James Rice and
Steve Wilder},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {An Environment for Merging and Testing Large Ontologies},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {483--493},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/McGuinnessFRW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MontanariPS00,
author = {Angelo Montanari and
Alberto Policriti and
Matteo Slanina},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Supporting automated deduction in first-order modal logics},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {547--556},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MontanariPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MorgensternT00,
author = {Leora Morgenstern and
Richmond H. Thomason},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Teaching Knowledge Representation: Challenges and Proposals},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {725--733},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MorgensternT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MorrisM00,
author = {Robert A. Morris and
Paul H. Morris},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {On the complexity of reasoning about repeating events},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {580--588},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 24 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MorrisM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Mota00,
author = {Edjard Mota},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Cyclical and Granular Time Theories as Subsets of the Herbrand Universe},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {366--377},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Mota00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PeaseCLF00,
author = {Adam Pease and
Vinay K. Chaudhri and
Fritz Lehmann and
Adam Farquhar},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Practical Knowledge Representation and the {DARPA} High Performance
Knowledge Bases Project},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {717--724},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/PeaseCLF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Pino-PerezU00,
author = {Ram{\'{o}}n Pino P{\'{e}}rez and
Carlos Uzc{\'{a}}tegui},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Ordering explanations and the structural rules for abduction},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {637--646},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Pino-PerezU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Reiter00,
author = {Raymond Reiter},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Narratives as Programs},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {99--108},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Reiter00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RychtyckyjR00,
author = {Nestor Rychtyckyj and
Robert G. Reynolds},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Long-Term Maintanability of Deployed Knowledge Representation Systems},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {494--504},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/RychtyckyjR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SchulzH00,
author = {Stefan Schulz and
Udo Hahn},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Knowledge Engineering by Large-Scale Knowledge Reuse - Experience
from the Medical Domain},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {601--610},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/SchulzH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ShapiroPLL00,
author = {Steven Shapiro and
Maurice Pagnucco and
Yves Lesp{\'{e}}rance and
Hector J. Levesque},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Iterated Belief Change in the Situation Calculus},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {527--538},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ShapiroPLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Stell00,
author = {John G. Stell},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {The Representation of Discrete Multi-resolution Spatial Knowledge},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {38--49},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Stell00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Thielscher00,
author = {Michael Thielscher},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Representing the Knowledge of a Robot},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {109--120},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Thielscher00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Thomason00,
author = {Richmond H. Thomason},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Desires and Defaults: {A} Framework for Planning with Inferred Goals},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {702--713},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Thomason00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/VerberneHT00,
author = {Alan Verberne and
Frank van Harmelen and
Annette ten Teije},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Anytime Diagnostic Reasoning using Approximate Boolean Constraint
Propagation},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {323--332},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/VerberneHT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Vidal00,
author = {Thierry Vidal},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Controllability characterization and checking in Contingent Temporal
Constraint Networks},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {559--570},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Vidal00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Voronkov00,
author = {Andrei Voronkov},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Deciding {K} using inverse-K},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {198--209},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Voronkov00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Wassermann00,
author = {Renata Wassermann},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {An Algorithm for Belief Revision},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {345--352},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Wassermann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WolterZ00,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Spatio-temporal representation and reasoning based on {RCC-8}},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {3--14},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/WolterZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WurbelJP00,
author = {{\'{E}}ric W{\"{u}}rbel and
Robert Jeansoulin and
Odile Papini},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Revision: an application in the framework of {GIS}},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {505--515},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WurbelJP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Yelland00,
author = {Philipp M. Yelland},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {An Alternative Combination of Bayesian Networks and Description Logics},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {225--234},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Yelland00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ZhuLCZ00,
author = {Zhaohui Zhu and
Ben Li and
Shifu Chen and
Wujia Zhu},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Valuation-ranked preferential model},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {647--653},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ZhuLCZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2000,
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2000.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.
retrieved on 2024-09-23 01:32 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:
