8. KR 2002: Toulouse, France
Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams (Eds.): Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. Morgan Kaufmann 2002 ISBN 1-55860-554-1- Murray Shanahan: A Logical Account of Perception Incorporating Feedback and Expectation. 3-13
- Shyamanta M. Hazarika, Anthony G. Cohn: Abducing Qualitative Spatio-Temporal Histories from Partial Observations. 14-25
- Florence Le Ber, Amedeo Napoli: Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory. 37-48
- Thomas Eiter, Thomas Lukasiewicz: Complexity Results for Explanations in the Structural-Model Approach. 49-60
- Sylvie Coste-Marquis, Pierre Marquis: Complexity Results for Paraconsistent Inference Relations. 61-72
- Gerhard Lakemeyer: Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. 73-81
- Sébastien Konieczny, Jérôme Lang, Pierre Marquis: Distance Based Merging: A General Framework and some Complexity Results. 97-108
- Didier Dubois, Hélène Fargier, Patrice Perny: On the Limitations of Ordinal Approaches to Decision-making. 133-146
- Gabriele Kern-Isberner: A Structural Approach to Default Reasoning. 147-157
- Fangzhen Lin: Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. 170-176
- Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. 177-190
- Carsten Lutz: Adding Numbers to the SHIQ Description Logic: First Results. 191-202
- Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan: Approximation and Difference in Description Logics. 203-214
- Matteo Cristani: Many-Sorted Preference Relations. 265-276
- Jérôme Lang: From Preference Representation to Combinatorial Vote. 277-290
- Chitta Baral, Tran Cao Son, Le-Chi Tuan: A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. 291-302
- Ronald P. A. Petrick, Hector J. Levesque: Knowledge Equivalence in Combined Action Theories. 303-314
- Eyal Amir: Projection in Decomposed Situation Calculus. 315-326
- Paulo Mateus, António Pacheco, Javier Pinto: Observations and the Probabilistic Situation Calculus. 327-340
- Gregory M. Provan: A Model-Based Diagnosis Framework for Distributed Embedded Systems. 341-352
- Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi: Eliminating Incoherence from Subjective Estimates of Chance. 353-364
- Helena Sofia Andrade N. P. Pinto, João Pavão Martins: Evolving Ontologies in Distributed and Dynamic Settings. 365-374
- Richard Booth: Social Contraction and Belief Negotiation. 375-386
- Stefan Schulz: Necessary Parts and Wholes in Bio-Ontologies. 387-394
- Brandon Bennett: Physical Objects, Identity and Vagueness. 395-408
- Adnan Darwiche: A Logical Approach to Factoring Belief Networks. 409-420
- Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade: Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework. 421-448
- Martine de Calmès, Didier Dubois, Eyke Hüllermeier, Henri Prade, Florence Sedes: A Fuzzy Approach to Flexible Case-based Querying: Methodology and Experimentation. 449-458
- Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: A Generic Approach for Knowledge-Based Information-Site Selection. 459-469
- Michael Winikoff, Lin Padgham, James Harland, John Thangarajah: Declarative & Procedural Goals in Intelligent Agent Systems. 470-481
- Florence Dupin de Saint-Cyr, Jérôme Lang: Belief Extrapolation (or how to Reason About Observations and Unpredicted Change). 497-508
- Mathias Broxvall: Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints. 509-520
- Thomas Bittner: Judgements about spatio-temporal relations. 521-532
- Ullrich Hustadt, Renate A. Schmidt: Scientific Benchmarking with Temporal Logic Decision Procedures. 533-546
- Thom W. Frühwirth: As Time Goes by: Automatic Complexity Analysis of Simplified Rules. 547-557
- Alina Beygelzimer, Irina Rish: Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks. 558-567
- Balder ten Cate: On the Logic of d-separation. 568-577
- Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. 593-602
- Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña: On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. 603-614
- John McCarthy: Actions and Other Events in Situation Calculus. 615-628
- Peter Gärdenfors: The Role of Higher Order Similarity in Induction and Concept Formation. 629-629
- James A. Hendler: The Semantic Web: KR's Worst Nightmare?. 630-630
- Bernhard Nebel: The Philosophical Soccer Player. 631-631
- Christopher A. Welty: Panel: Are Upper-Level Ontologies Worth the Effort?. 632-632
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team