7. KR 2000: Breckenridge, Colorado, USA

Spatial Reasoning

• Frank Wolter, Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. 3-14
• Matteo Cristani, Anthony G. Cohn, Brandon Bennett: Spatial Locations via Morpho-Mereology. 15-25
• Antony Galton: Continuous Motion in Discrete Space. 26-37
• John G. Stell: The Representation of Discrete Multi-resolution Spatial Knowledge. 38-49

Non Monotonic Reasoning 1

• Yannis Dimopoulos, Bernhard Nebel, Francesca Toni: Finding Admissible and Preferred Arguments Can be Very Hard. 53-61
• Thomas Eiter, Thomas Lukasiewicz: Complexity Results for Default Reasoning from Conditional Knowledge Bases. 62-73
• Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logic. 74-84
• Vladimir Lifschitz: Missionaries and Cannibals in the Causal Calculator. 85-96

Representation of Action

• Raymond Reiter: Narratives as Programs. 99-108
• Michael Thielscher: Representing the Knowledge of a Robot. 109-120
• Jan Chomicki, Jorge Lobo, Shamim A. Naqvi: A Logic Programming Approach to Conflict Resolution in Policy Management. 121-132

Integration of Knowledge Sources

• Sébastien Konieczny: On the Difference between Merging Knowledge Bases and Combining them. 135-144
• Paolo Liberatore, Marco Schaerf: BReLS: A System for the Integration of Knowledge Bases. 145-152
• Pedrito Maynard-Reid II, Daniel J. Lehmann: Representing and Aggregating Conflicting Beliefs. 153-164

Automated Reasoning 1

• Fangzhen Lin: On Strongest Necessary and Weakest Sufficient Conditions. 167-175
• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. 176-185
• Fabio Massacci: Reduction rules and universal variables for first order tableaux and DPLL. 186-197
• Andrei Voronkov: Deciding K using inverse-K. 198-209

Uncertainty

• Yousri El Fattah, Mark A. Peot: A Compositional Structured Query Approach to Automated Inference. 213-224
• Philipp M. Yelland: An Alternative Combination of Bayesian Networks and Description Logics. 225-234
• Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade: Independence in qualitative uncertainty frameworks. 235-246
• Isabelle Bloch: Spatial representation of spatial relationship knowledge. 247-258

Description Logics

• Franz Baader, Ralf Küsters: Matching Concept Descriptions with Existential Restrictions. 261-272
• Volker Haarslev, Ralf Möller: Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. 273-284
• Ian Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Practice. 285-296
• Franz Baader, Ralf Küsters, Ralf Molitor: Rewriting Concepts Using Terminologies. 297-308

Diagnosis

• Chitta Baral, Sheila A. McIlraith, Tran Cao Son: Formulating diagnostic problem solving using an action language with narratives and sensing. 311-322
• Alan Verberne, Frank van Harmelen, Annette ten Teije: Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. 323-332
• Gianfranco Lamperti, Marina Zanella: Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. 333-344
• Renata Wassermann: An Algorithm for Belief Revision. 345-352

Temporal Reasoning 1

• Haythem O. Ismail, Stuart C. Shapiro: Two Problems with Reasoning and Acting in Time. 355-365
• Edjard Mota: Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. 366-377
• Philippe Balbiani, Aomar Osmani: A Model for Reasoning about Topologic Relations between cyclic intervals. 378-385

Automated Reasoning 2

• Eyal Amir, Sheila A. McIlraith: Partition-Based Logical Reasoning. 389-400
• Philippe Besnard, Torsten Schaub: Significant Inferences : Preliminary Report. 401-410
• Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics. 411-422

Learning and Decision Making

• Chad M. Cumby, Dan Roth: Relational Representations that Facilitate Learning. 425-434
• Alessandro Biso, Francesca Rossi, Alessandro Sperduti: Experimental Results on Learning Soft Constraints. 435-444
• Hélène Fargier, Jérôme Lang, Pierre Marquis: Propositional Logic and One-Stage Decision Making. 445-456
• Celine Lafage, Jérôme Lang: Logical representation of preferences for group decision making. 457-468

Applications and Systems

• Hans Chalupsky: OntoMorph: A Translation System for Symbolic Knowledge. 471-482
• Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder: An Environment for Merging and Testing Large Ontologies. 483-493
• Nestor Rychtyckyj, Robert G. Reynolds: Long-Term Maintanability of Deployed Knowledge Representation Systems. 494-504
• Eric Würbel, Robert Jeansoulin, Odile Papini: Revision: an application in the framework of GIS. 505-515

Representation Formalisms

• John McCarthy: Approximate Objects and Approximate Theories. 519-526
• Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque: Iterated Belief Change in the Situation Calculus. 527-538
• Mihai Ciocoiu, Dana S. Nau: Ontology-Based Semantics. 539-546
• Angelo Montanari, Alberto Policriti, Matteo Slanina: Supporting automated deduction in first-order modal logics. 547-556

Temporal Reasoning 2

• Thierry Vidal: Controllability characterization and checking in Contingent Temporal Constraint Networks. 559-570
• Jean-François Condotta: The Augmented Interval and Rectangle Networks. 571-579
• Robert A. Morris, Paul H. Morris: On the complexity of reasoning about repeating events. 580-588

Knowledge Engineering

• Peter Clark, John A. Thompson, Bruce W. Porter: Knowledge Patterns. 591-600
• Stefan Schulz, Udo Hahn: Knowledge Engineering by Large-Scale Knowledge Reuse - Experience from the Medical Domain. 601-610
• Hasan M. Jamil: A Logic Based Language for Parametric Inheritance. 611-622

Non Monotonic Reasoning 2

• Jérôme Lang, Pierre Marquis: In search of the right extension. 625-636
• Ramón Pino Pérez, Carlos Uzcátegui: Ordering explanations and the structural rules for abduction. 637-646
• Zhaohui Zhu, Ben Li, Shifu Chen, Wujia Zhu: Valuation-ranked preferential model. 647-653

Planning (Joint program with AIPS 2000)

• Enrico Giunchiglia: Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. 657-666
• Mario Martin, Hector Geffner: Learning Generalized Policies in Planning Using Concept Languages. 667-677
• Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with sensing, concurrency, and exogenous events: logical framework and implementation. 678-689
• Matthew L. Ginsberg, Andrew J. Parkes: Satisfiability Algorithms and Finite Quantification. 690-701
• Richmond H. Thomason: Desires and Defaults: A Framework for Planning with Inferred Goals. 702-713

Panel Abstracts

• Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar: Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project. 717-724
• Leora Morgenstern, Richmond H. Thomason: Teaching Knowledge Representation: Challenges and Proposals. 725-733

Last update Fri May 25 08:24:54 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page