8. KR 2002:
Toulouse, France
Murray Shanahan:
A Logical Account of Perception Incorporating Feedback and Expectation.
3-13
Gerhard Lakemeyer:
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases.
73-81
Fangzhen Lin:
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic.
170-176
Carsten Lutz:
Adding Numbers to the SHIQ Description Logic: First Results.
191-202
Jérôme Lang:
From Preference Representation to Combinatorial Vote.
277-290
Eyal Amir:
Projection in Decomposed Situation Calculus.
315-326
Gregory M. Provan:
A Model-Based Diagnosis Framework for Distributed Embedded Systems.
341-352
Richard Booth:
Social Contraction and Belief Negotiation.
375-386
Stefan Schulz:
Necessary Parts and Wholes in Bio-Ontologies.
387-394
Adnan Darwiche:
A Logical Approach to Factoring Belief Networks.
409-420
Mathias Broxvall:
Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints.
509-520
Thom W. Frühwirth:
As Time Goes by: Automatic Complexity Analysis of Simplified Rules.
547-557
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
data released under the ODC-BY 1.0 license
