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 BibTeX
@proceedings{DBLP:conf/kr/2002,
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary-Anne Williams},
title = {Proceedings of the Eights International Conference on Principles
and Knowledge Representation and Reasoning (KR-02), Toulouse,
France, April 22-25, 2002},
booktitle = {KR},
publisher = {Morgan Kaufmann},
year = {2002},
isbn = {1-55860-554-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Murray Shanahan:
A Logical Account of Perception Incorporating Feedback and Expectation.
3-13 BibTeX
- Shyamanta M. Hazarika, Anthony G. Cohn:
Abducing Qualitative Spatio-Temporal Histories from Partial Observations.
14-25 BibTeX
- David A. Randell, Mark Witkowski:
Building Large Composition Tables via Axiomatic Theories.
26-36 BibTeX
- Florence Le Ber, Amedeo Napoli:
Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory.
37-48 BibTeX
- Thomas Eiter, Thomas Lukasiewicz:
Complexity Results for Explanations in the Structural-Model Approach.
49-60 BibTeX
- Sylvie Coste-Marquis, Pierre Marquis:
Complexity Results for Paraconsistent Inference Relations.
61-72 BibTeX
- Gerhard Lakemeyer:
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases.
73-81 BibTeX
- Chitta Baral, Yan Zhang:
The Complexity of Model Checking for Knowledge Update.
82-96 BibTeX
- Sébastien Konieczny, Jérôme Lang, Pierre Marquis:
Distance Based Merging: A General Framework and some Complexity Results.
97-108 BibTeX
- Sébastien Konieczny, Ramón Pino Pérez:
On the Frontier between Arbitration and Majority.
109-120 BibTeX
- Carmel Domshlak, Ronen I. Brafman:
CP-nets: Reasoning and Consistency Testing.
121-132 BibTeX
- Didier Dubois, Hélène Fargier, Patrice Perny:
On the Limitations of Ordinal Approaches to Decision-making.
133-146 BibTeX
- Gabriele Kern-Isberner:
A Structural Approach to Default Reasoning.
147-157 BibTeX
- Gerhard Brewka, Salem Benferhat, Daniel Le Berre:
Qualitative Choice Logic.
158-169 BibTeX
- Fangzhen Lin:
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic.
170-176 BibTeX
- Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems.
177-190 BibTeX
- Carsten Lutz:
Adding Numbers to the SHIQ Description Logic: First Results.
191-202 BibTeX
- Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan:
Approximation and Difference in Description Logics.
203-214 BibTeX
- Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
Connecting Abstract Description Systems.
215-226 BibTeX
- Sergio Tessaris, Ian Horrocks, Graham Gough:
Evaluating a Modular Abox Algorithm.
227-238 BibTeX
- Jérôme Lang, Pierre Marquis:
Resolving Inconsistencies by Variable Forgetting.
239-250 BibTeX
- Antonia Donà, Luciano Serafini:
Updating Contexts.
251-264 BibTeX
- Matteo Cristani:
Many-Sorted Preference Relations.
265-276 BibTeX
- Jérôme Lang:
From Preference Representation to Combinatorial Vote.
277-290 BibTeX
- Chitta Baral, Tran Cao Son, Le-Chi Tuan:
A Transition Function Based Characterization of Actions with Delayed and Continuous Effects.
291-302 BibTeX
- Ronald P. A. Petrick, Hector J. Levesque:
Knowledge Equivalence in Combined Action Theories.
303-314 BibTeX
- Eyal Amir:
Projection in Decomposed Situation Calculus.
315-326 BibTeX
- Paulo Mateus, António Pacheco, Javier Pinto:
Observations and the Probabilistic Situation Calculus.
327-340 BibTeX
- Gregory M. Provan:
A Model-Based Diagnosis Framework for Distributed Embedded Systems.
341-352 BibTeX
- Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi:
Eliminating Incoherence from Subjective Estimates of Chance.
353-364 BibTeX
- Helena Sofia Andrade N. P. Pinto, João Pavão Martins:
Evolving Ontologies in Distributed and Dynamic Settings.
365-374 BibTeX
- Richard Booth:
Social Contraction and Belief Negotiation.
375-386 BibTeX
- Stefan Schulz:
Necessary Parts and Wholes in Bio-Ontologies.
387-394 BibTeX
- Brandon Bennett:
Physical Objects, Identity and Vagueness.
395-408 BibTeX
- Adnan Darwiche:
A Logical Approach to Factoring Belief Networks.
409-420 BibTeX
- Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework.
421-448 BibTeX
- 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 BibTeX
- Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
A Generic Approach for Knowledge-Based Information-Site Selection.
459-469 BibTeX
- Michael Winikoff, Lin Padgham, James Harland, John Thangarajah:
Declarative & Procedural Goals in Intelligent Agent Systems.
470-481 BibTeX
- Sheila A. McIlraith, Tran Cao Son:
Adapting Golog for Composition of Semantic Web Services.
482-496 BibTeX
- Florence Dupin de Saint-Cyr, Jérôme Lang:
Belief Extrapolation (or how to Reason About Observations and Unpredicted Change).
497-508 BibTeX
- Mathias Broxvall:
Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints.
509-520 BibTeX
- Thomas Bittner:
Judgements about spatio-temporal relations.
521-532 BibTeX
- Ullrich Hustadt, Renate A. Schmidt:
Scientific Benchmarking with Temporal Logic Decision Procedures.
533-546 BibTeX
- Thom W. Frühwirth:
As Time Goes by: Automatic Complexity Analysis of Simplified Rules.
547-557 BibTeX
- Alina Beygelzimer, Irina Rish:
Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks.
558-567 BibTeX
- Balder ten Cate:
On the Logic of d-separation.
568-577 BibTeX
- Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf:
Solving QBF by SMV.
578-592 BibTeX
- Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Reasoning about Actions and Planning in LTL Action Theories.
593-602 BibTeX
- 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 BibTeX
- John McCarthy:
Actions and Other Events in Situation Calculus.
615-628 BibTeX
- Peter Gärdenfors:
The Role of Higher Order Similarity in Induction and Concept Formation.
629-629 BibTeX
- James A. Hendler:
The Semantic Web: KR's Worst Nightmare?.
630-630 BibTeX
- Bernhard Nebel:
The Philosophical Soccer Player.
631-631 BibTeX
- Christopher A. Welty:
Panel: Are Upper-Level Ontologies Worth the Effort?.
632-632 BibTeX
Copyright © Sat May 16 23:28:17 2009
by Michael Ley (ley@uni-trier.de)
