Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCID7th KR 2000: Breckenridge, Colorado, USA
- Anthony G. Cohn, Fausto Giunchiglia, Bart Selman:
KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000. Morgan Kaufmann 2000
Spatial Reasoning
- Frank Wolter, Michael Zakharyaschev:
Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14 - Matteo Cristani, Anthony G. Cohn, Brandon Bennett:
Spatial Locations via Morpho-Mereology. KR 2000: 15-25 - Antony Galton:
Continuous Motion in Discrete Space. KR 2000: 26-37 - John G. Stell:
The Representation of Discrete Multi-resolution Spatial Knowledge. KR 2000: 38-49
Non Monotonic Reasoning 1
- Yannis Dimopoulos, Bernhard Nebel, Francesca Toni:
Finding Admissible and Preferred Arguments Can be Very Hard. KR 2000: 53-61 - Thomas Eiter, Thomas Lukasiewicz:
Complexity Results for Default Reasoning from Conditional Knowledge Bases. KR 2000: 62-73 - Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Uniform semantic treatment of default and autoepistemic logic. KR 2000: 74-84 - Vladimir Lifschitz:
Missionaries and Cannibals in the Causal Calculator. KR 2000: 85-96
Representation of Action
- Raymond Reiter:
Narratives as Programs. KR 2000: 99-108 - Michael Thielscher:
Representing the Knowledge of a Robot. KR 2000: 109-120 - Jan Chomicki, Jorge Lobo, Shamim A. Naqvi:
A Logic Programming Approach to Conflict Resolution in Policy Management. KR 2000: 121-132
Integration of Knowledge Sources
- Sébastien Konieczny:
On the Difference between Merging Knowledge Bases and Combining them. KR 2000: 135-144 - Paolo Liberatore, Marco Schaerf:
BReLS: A System for the Integration of Knowledge Bases. KR 2000: 145-152 - Pedrito Maynard-Reid II, Daniel Lehmann:
Representing and Aggregating Conflicting Beliefs. KR 2000: 153-164
Automated Reasoning 1
- Fangzhen Lin:
On Strongest Necessary and Weakest Sufficient Conditions. KR 2000: 167-175 - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185 - Fabio Massacci:
Reduction rules and universal variables for first order tableaux and DPLL. KR 2000: 186-197 - Andrei Voronkov:
Deciding K using inverse-K. KR 2000: 198-209
Uncertainty
- Yousri El Fattah, Mark A. Peot:
A Compositional Structured Query Approach to Automated Inference. KR 2000: 213-224 - Philipp M. Yelland:
An Alternative Combination of Bayesian Networks and Description Logics. KR 2000: 225-234 - Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade:
Independence in qualitative uncertainty frameworks. KR 2000: 235-246 - Isabelle Bloch:
Spatial representation of spatial relationship knowledge. KR 2000: 247-258
Description Logics
- Franz Baader, Ralf Küsters:
Matching Concept Descriptions with Existential Restrictions. KR 2000: 261-272 - Volker Haarslev, Ralf Möller:
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. KR 2000: 273-284 - Ian Horrocks, Stephan Tobies:
Reasoning with Axioms: Theory and Practice. KR 2000: 285-296 - Franz Baader, Ralf Küsters, Ralf Molitor:
Rewriting Concepts Using Terminologies. KR 2000: 297-308
Diagnosis
- Chitta Baral, Sheila A. McIlraith, Tran Cao Son:
Formulating diagnostic problem solving using an action language with narratives and sensing. KR 2000: 311-322 - Alan Verberne, Frank van Harmelen, Annette ten Teije:
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. KR 2000: 323-332 - Gianfranco Lamperti, Marina Zanella:
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. KR 2000: 333-344 - Renata Wassermann:
An Algorithm for Belief Revision. KR 2000: 345-352
Temporal Reasoning 1
- Haythem O. Ismail, Stuart C. Shapiro:
Two Problems with Reasoning and Acting in Time. KR 2000: 355-365 - Edjard Mota:
Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. KR 2000: 366-377 - Philippe Balbiani, Aomar Osmani:
A Model for Reasoning about Topologic Relations between cyclic intervals. KR 2000: 378-385
Automated Reasoning 2
- Eyal Amir, Sheila A. McIlraith:
Partition-Based Logical Reasoning. KR 2000: 389-400 - Philippe Besnard, Torsten Schaub:
Significant Inferences : Preliminary Report. KR 2000: 401-410 - Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You:
Unfolding Partiality and Disjunctions in Stable Model Semantics. KR 2000: 411-422
Learning and Decision Making
- Chad M. Cumby, Dan Roth:
Relational Representations that Facilitate Learning. KR 2000: 425-434 - Alessandro Biso, Francesca Rossi, Alessandro Sperduti:
Experimental Results on Learning Soft Constraints. KR 2000: 435-444 - Hélène Fargier, Jérôme Lang, Pierre Marquis:
Propositional Logic and One-Stage Decision Making. KR 2000: 445-456 - Celine Lafage, Jérôme Lang:
Logical representation of preferences for group decision making. KR 2000: 457-468
Applications and Systems
- Hans Chalupsky:
OntoMorph: A Translation System for Symbolic Knowledge. KR 2000: 471-482 - Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder:
An Environment for Merging and Testing Large Ontologies. KR 2000: 483-493 - Nestor Rychtyckyj, Robert G. Reynolds:
Long-Term Maintanability of Deployed Knowledge Representation Systems. KR 2000: 494-504 - Eric Würbel, Robert Jeansoulin, Odile Papini:
Revision: an application in the framework of GIS. KR 2000: 505-515
Representation Formalisms
- John McCarthy:
Approximate Objects and Approximate Theories. KR 2000: 519-526 - Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque:
Iterated Belief Change in the Situation Calculus. KR 2000: 527-538 - Mihai Ciocoiu, Dana S. Nau:
Ontology-Based Semantics. KR 2000: 539-546 - Angelo Montanari, Alberto Policriti, Matteo Slanina:
Supporting automated deduction in first-order modal logics. KR 2000: 547-556
Temporal Reasoning 2
- Thierry Vidal:
Controllability characterization and checking in Contingent Temporal Constraint Networks. KR 2000: 559-570 - Jean-François Condotta:
The Augmented Interval and Rectangle Networks. KR 2000: 571-579 - Robert A. Morris, Paul H. Morris:
On the complexity of reasoning about repeating events. KR 2000: 580-588
Knowledge Engineering
- Peter Clark, John A. Thompson, Bruce W. Porter:
Knowledge Patterns. KR 2000: 591-600 - Stefan Schulz, Udo Hahn:
Knowledge Engineering by Large-Scale Knowledge Reuse - Experience from the Medical Domain. KR 2000: 601-610 - Hasan M. Jamil:
A Logic Based Language for Parametric Inheritance. KR 2000: 611-622
Non Monotonic Reasoning 2
- Jérôme Lang, Pierre Marquis:
In search of the right extension. KR 2000: 625-636 - Ramón Pino Pérez, Carlos Uzcátegui:
Ordering explanations and the structural rules for abduction. KR 2000: 637-646 - Zhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu:
Valuation-ranked preferential model. KR 2000: 647-653
Planning (Joint program with AIPS 2000)
- Enrico Giunchiglia:
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. KR 2000: 657-666 - Mario Martín, Hector Geffner:
Learning Generalized Policies in Planning Using Concept Languages. KR 2000: 667-677 - Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000: 678-689 - Matthew L. Ginsberg, Andrew J. Parkes:
Satisfiability Algorithms and Finite Quantification. KR 2000: 690-701 - Richmond H. Thomason:
Desires and Defaults: A Framework for Planning with Inferred Goals. KR 2000: 702-713
Panel Abstracts
- Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar:
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project. KR 2000: 717-724 - Leora Morgenstern, Richmond H. Thomason:
Teaching Knowledge Representation: Challenges and Proposals. KR 2000: 725-733
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2020-11-25 22:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
