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
- David A. Randell, Mark Witkowski:
Building Large Composition Tables via Axiomatic Theories.
26-36
- 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
- Chitta Baral, Yan Zhang:
The Complexity of Model Checking for Knowledge Update.
82-96
- Sébastien Konieczny, Jérôme Lang, Pierre Marquis:
Distance Based Merging: A General Framework and some Complexity Results.
97-108
- Sébastien Konieczny, Ramón Pino Pérez:
On the Frontier between Arbitration and Majority.
109-120
- Carmel Domshlak, Ronen I. Brafman:
CP-nets: Reasoning and Consistency Testing.
121-132
- 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
- Gerhard Brewka, Salem Benferhat, Daniel Le Berre:
Qualitative Choice Logic.
158-169
- 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
- Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
Connecting Abstract Description Systems.
215-226
- Sergio Tessaris, Ian Horrocks, Graham Gough:
Evaluating a Modular Abox Algorithm.
227-238
- Jérôme Lang, Pierre Marquis:
Resolving Inconsistencies by Variable Forgetting.
239-250
- Antonia Donà, Luciano Serafini:
Updating Contexts.
251-264
- 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
- Sheila A. McIlraith, Tran Cao Son:
Adapting Golog for Composition of Semantic Web Services.
482-496
- 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
- Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf:
Solving QBF by SMV.
578-592
- 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
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
