default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th KR 2002: Toulouse, France
- Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams:
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. KR 2002: 3-13 - Shyamanta M. Hazarika, Anthony G. Cohn:
Abducing Qualitative Spatio-Temporal Histories from Partial Observations. KR 2002: 14-25 - David A. Randell, Mark Witkowski:
Building Large Composition Tables via Axiomatic Theories. KR 2002: 26-36 - Florence Le Ber, Amedeo Napoli:
Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory. KR 2002: 37-48 - Thomas Eiter, Thomas Lukasiewicz:
Complexity Results for Explanations in the Structural-Model Approach. KR 2002: 49-60 - Sylvie Coste-Marquis, Pierre Marquis:
Complexity Results for Paraconsistent Inference Relations. KR 2002: 61-72 - Gerhard Lakemeyer:
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. KR 2002: 73-81 - Chitta Baral, Yan Zhang:
The Complexity of Model Checking for Knowledge Update. KR 2002: 82-96 - Sébastien Konieczny, Jérôme Lang, Pierre Marquis:
Distance Based Merging: A General Framework and some Complexity Results. KR 2002: 97-108 - Sébastien Konieczny, Ramón Pino Pérez:
On the Frontier between Arbitration and Majority. KR 2002: 109-120 - Carmel Domshlak, Ronen I. Brafman:
CP-nets: Reasoning and Consistency Testing. KR 2002: 121-132 - Didier Dubois, Hélène Fargier, Patrice Perny:
On the Limitations of Ordinal Approaches to Decision-making. KR 2002: 133-146 - Gabriele Kern-Isberner:
A Structural Approach to Default Reasoning. KR 2002: 147-157 - Gerhard Brewka, Salem Benferhat, Daniel Le Berre:
Qualitative Choice Logic. KR 2002: 158-169 - Fangzhen Lin:
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. KR 2002: 170-176 - Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. KR 2002: 177-190 - Carsten Lutz:
Adding Numbers to the SHIQ Description Logic: First Results. KR 2002: 191-202 - Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan:
Approximation and Difference in Description Logics. KR 2002: 203-214 - Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
Connecting Abstract Description Systems. KR 2002: 215-226 - Sergio Tessaris, Ian Horrocks, Graham Gough:
Evaluating a Modular Abox Algorithm. KR 2002: 227-238 - Jérôme Lang, Pierre Marquis:
Resolving Inconsistencies by Variable Forgetting. KR 2002: 239-250 - Antonia Donà, Luciano Serafini:
Updating Contexts. KR 2002: 251-264 - Matteo Cristani:
Many-Sorted Preference Relations. KR 2002: 265-276 - Jérôme Lang:
From Preference Representation to Combinatorial Vote. KR 2002: 277-290 - Chitta Baral, Tran Cao Son, Le-Chi Tuan:
A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. KR 2002: 291-302 - Ronald P. A. Petrick, Hector J. Levesque:
Knowledge Equivalence in Combined Action Theories. KR 2002: 303-314 - Eyal Amir:
Projection in Decomposed Situation Calculus. KR 2002: 315-326 - Paulo Mateus, António Pacheco, Javier Pinto:
Observations and the Probabilistic Situation Calculus. KR 2002: 327-340 - Gregory M. Provan:
A Model-Based Diagnosis Framework for Distributed Embedded Systems. KR 2002: 341-352 - Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi:
Eliminating Incoherence from Subjective Estimates of Chance. KR 2002: 353-364 - Helena Sofia Andrade N. P. Pinto, João Pavão Martins:
Evolving Ontologies in Distributed and Dynamic Settings. KR 2002: 365-374 - Richard Booth:
Social Contraction and Belief Negotiation. KR 2002: 375-386 - Stefan Schulz:
Necessary Parts and Wholes in Bio-Ontologies. KR 2002: 387-394 - Brandon Bennett:
Physical Objects, Identity and Vagueness. KR 2002: 395-408 - Adnan Darwiche:
A Logical Approach to Factoring Belief Networks. KR 2002: 409-420 - Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework. KR 2002: 421-448 - Martine de Calmès, Didier Dubois, Eyke Hüllermeier, Henri Prade, Florence Sèdes:
A Fuzzy Approach to Flexible Case-based Querying: Methodology and Experimentation. KR 2002: 449-458 - Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
A Generic Approach for Knowledge-Based Information-Site Selection. KR 2002: 459-469 - Michael Winikoff, Lin Padgham, James Harland, John Thangarajah:
Declarative & Procedural Goals in Intelligent Agent Systems. KR 2002: 470-481 - Sheila A. McIlraith, Tran Cao Son:
Adapting Golog for Composition of Semantic Web Services. KR 2002: 482-496 - Florence Dupin de Saint-Cyr, Jérôme Lang:
Belief Extrapolation (or how to Reason About Observations and Unpredicted Change). KR 2002: 497-508 - Mathias Broxvall:
Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints. KR 2002: 509-520 - Thomas Bittner:
Judgements about spatio-temporal relations. KR 2002: 521-532 - Ullrich Hustadt, Renate A. Schmidt:
Scientific Benchmarking with Temporal Logic Decision Procedures. KR 2002: 533-546 - Thom W. Frühwirth:
As Time Goes by: Automatic Complexity Analysis of Simplified Rules. KR 2002: 547-557 - Alina Beygelzimer, Irina Rish:
Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks. KR 2002: 558-567 - Balder ten Cate:
On the Logic of d-separation. KR 2002: 568-577 - Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf:
Solving QBF by SMV. KR 2002: 578-592 - Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 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. KR 2002: 603-614 - John McCarthy:
Actions and Other Events in Situation Calculus. KR 2002: 615-628 - Peter Gärdenfors:
The Role of Higher Order Similarity in Induction and Concept Formation. KR 2002: 629-629 - James A. Hendler:
The Semantic Web: KR's Worst Nightmare?. KR 2002: 630-630 - Bernhard Nebel:
The Philosophical Soccer Player. KR 2002: 631-631 - Christopher A. Welty:
Panel: Are Upper-Level Ontologies Worth the Effort?. KR 2002: 632-632
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-17 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
