| |
KR2002 Accepted Papers |
| | Paper ID | 6 |
| | Title | CP-nets - Reasoning and Consistency Testing |
| | Authors | Carmel Domshlak, Ronen I. Brafman |
| | Country | Israel |
| | Paper ID | 16 |
| | Title | Connecting abstract description systems |
| | Authors | Oliver Kutz, Frank Wolter, Michael Zakharyaschev |
| | Country | Germany |
| | Paper ID | 20 |
| | Title | Actions and other events in situation calculus |
| | Authors | John McCarthy |
| | Country | USA |
| | Paper ID | 22 |
| | Title | On the limitations of ordinal approaches to decision-making |
| | Authors | Didier Dubois, Helene Fargier, Patrice Perny |
| | Country | France |
| | Paper ID | 27 |
| | Title | As Time Goes By: Automatic Complexity Analysis of Simplification Rules |
| | Authors | Thom Fruehwirth |
| | Country | Germany |
| | Paper ID | 32 |
| | Title | Evaluating a modular Abox algorithm |
| | Authors | Sergio Tessaris, Ian Horrocks, Graham Gough |
| | Country | United Kingdom |
| | Paper ID | 33 |
| | Title | Adding Numbers to the SHIQ Description Logic---First Results |
| | Authors | Carsten Lutz |
| | Country | Germany |
| | Paper ID | 34 |
| | Title | Qualitative Choice Logic |
| | Authors | Gerhard Brewka, Salem Benferhat, Daniel Le Berre |
| | Country | Germany |
| | Paper ID | 35 |
| Title | Ultimate approximations in nonmonotonic knowledge representation systems |
| Authors | Marc Denecker, Victor W. Marek, Miroslaw Truszczynski |
| Country | USA |
| Paper ID | 36 |
| Title | Complexity results for paraconsistent inference relations (extended abstract) |
| Authors | Sylvie Coste-Marquis, Pierre Marquis |
| Country | France |
| Paper ID | 42 |
| Title | Eliminating Incoherence from Subjective Estimates of Chance |
| Authors | Randy Batsell, Lyle Brenner, Daniel Osherson, Spyros Tsavachidis, Moshe Y. Vardi |
| Country | USA |
| Paper ID | 46 |
| Title | The Complexity of Model Checking for Knowledge Update |
| Authors | Chitta Baral, Yan Zhang |
| Country | Australia |
| Paper ID | 47 |
| Title | Programming of Reasoning and Planning Agents with FLUX |
| Authors | Michael Thielscher |
| Country | Germany |
| Paper ID | 50 |
| Title | Complexity Results for Explanations in the Structural-Model Approach |
| Authors | Thomas Eiter, Thomas Lukasiewicz |
| Country | Austria |
| Paper ID | 52 |
| Title | Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing |
| Authors | Mathias Broxvall |
| Country | Sweden |
| Paper ID | 54 |
| Title | Design and comparison of lattices of topologicalrelations based on Galois lattice theory |
| Authors | Le Ber, Napoli |
| Country | France |
| Paper ID | 59 |
| Title | Bipolar representation and fusion of preferences in the possibilistic logicframework |
| Authors | Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade |
| Country | France |
| Paper ID | 62 |
| Title | On the Frontier between Arbitration and Majority |
| Authors | Sebastien Konieczny, Ramon Pino Perez |
| Country | France |
| Paper ID | 63 |
| Title | Necessary Parts and Wholes in Bio-Ontologies |
| Authors | Stefan Schulz |
| Country | Germany |
| Paper ID | 65 |
| Title | On the semantics of deliberation in IndiGolog -- From theory to implementation |
| Authors | De Giacomo, Giuseppe, Yves Lesperance, Hector J. Levesque, Sebastian Sardina |
| Country | Italy |
| Paper ID | 66 |
| Title | Solving QBF by SMV |
| Authors | Francesco M. Donini, Paolo Liberatore, Fabio O. P. Massacci, Marco Schaerf |
| Country | Italy |
| Paper ID | 67 |
| Title | A fuzzy set approach to flexible case-based querying: methodology and experimentation |
| Authors | Martine de Calmes, Didier Dubois, Eyke Hullermeier, Henri Prade, Florence Sedes |
| Country | France |
| Paper ID | 68 |
| Title | Distance-Based Merging : A General Framework and some Complexity Results |
| Authors | Sebastien Konieczny, Jerome Lang, Pierre Marquis |
| Country | France |
| Paper ID | 69 |
| Title | Updating Contexts |
| Authors | Antonia Dona`, Luciano Serafini |
| Country | Italy |
| Paper ID | 71 |
| Title | Building Large Composition Tables via Axiomatic Theories |
| Authors | Randell, David, Witkowski, Mark |
| Country | United Kingdom |
| Paper ID | 73 |
| Title | Resolving inconsistencies by variable forgetting |
| Authors | Jerome Lang, Pierre Marquis |
| Country | France |
| Paper ID | 74 |
| Title | A Model-Based Diagnosis Framework for Distributed Embedded Systems |
| Authors | Gregory Provan |
| Country | USA |
| Paper ID | 75 |
| Title | A Generic Approach for Knowledge-Based Information-Site Selection |
| Authors | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| Country | Austria |
| Paper ID | 79 |
| Title | Reasoning about Actions and Planning in LTL Action Theories |
| Authors | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi |
| Country | Italy |
| Paper ID | 80 |
| Title | Approximation and Difference in Description Logics |
| Authors | Sebastian Brandt, Ralf Kuesters, Anni-Yasmin Turhan |
| Country | Germany |
| Paper ID | 81 |
| Title | Belief extrapolation (or how to reason about observations and unpredicted change) |
| Authors | Florence Dupin de Saint-Cyr, Jerome Lang |
| Country | France |
| Paper ID | 82 |
| Title | From preference representation to combinatorial vote |
| Authors | Jerome Lang |
| Country | France |
| Paper ID | 85 |
| Title | Declarative & Procedural Goals in Intelligent Agent Systems |
| Authors | Michael Winikoff, Lin Padgham, James Harland, John Thangarajah |
| Country | Australia |
| Paper ID | 88 |
| Title | Qualitative spatio-temporal relations |
| Authors | Thomas Bittner |
| Country | USA |
| Paper ID | 92 |
| Title | A Logical Approach to Factoring Belief Networks |
| Authors | Adnan Darwiche |
| Country | USA |
| Paper ID | 100 |
| Title | A structural approach to default reasoning |
| Authors | Gabriele Kern-Isberner |
| Country | Germany |
| Paper ID | 111 |
| Title | Social contraction and belief negotiation |
| Authors | Richard Booth |
| Country | Germany |
| Paper ID | 114 |
| Title | Observations and the Probabilistic Situation Calculus |
| Authors | Paulo Mateus, Antonio Pacheco, Javier Pinto |
| Country | Portugal |
| Paper ID | 115 |
| Title | Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases |
| Authors | Gerhard Lakemeyer, Hector J. Levesque |
| Country | Germany |
| Paper ID | 117 |
| Title | Scientific Benchmarking with Temporal Logic Decision Procedures |
| Authors | Ullrich Hustadt, Renate A. Schmidt |
| Country | United Kingdom |
| Paper ID | 120 |
| Title | A Logical Account of Perception Incorporating Feedback and Expectation |
| Authors | Murray Shanahan |
| Country | England |
| Paper ID | 122 |
| Title | On the logic of d-separation |
| Authors | Balder ten Cate |
| Country | Netherlands |
| Paper ID | 125 |
| Title | Knowledge equivalence in combined action theories |
| Authors | Ronald P. A. Petrick, Hector J. Levesque |
| Country | Canada |
| Paper ID | 129 |
| Title | Abducing Qualitative Spatio-Temporal Histories from Partial Observations |
| Authors | Shyamanta M Hazarika, Anthony G Cohn |
| Country | United Kingdom |
| Paper ID | 136 |
| Title | Evolving Ontologies in Distributed and Dynamic Settings |
| Authors | Helena Sofia Pinto, Joćo Pavćo Martins |
| Country | Portugal |
| Paper ID | 141 |
| Title | A transition function based characterization of actions with delayed and continuous effects |
| Authors | Chitta Baral, Tran Cao Son, Le-Chi Tuan |
| Country | USA |
| Paper ID | 150 |
| Title | Reducing strong equivalence of logic programs to entailment in classical propositional logic |
| Authors | Fangzhen Lin |
| Country | Hong Kong |
| Paper ID | 151 |
| Title | Inference complexity as a model-selection criterion for learning Bayesian networks |
| Authors | Alina Beygelzimer, Irina Rish |
| Country | USA |
| Paper ID | 153 |
| Title | Projection in Decomposed Situation Calculus |
| Authors | Eyal Amir |
| Country | USA |
| Paper ID | 154 |
| Title | Adapting Golog for Composition of Semantic Web Services |
| Authors | Sheila A. McIlraith, Tran Cao Son |
| Country | USA |
| Paper ID | 158 |
| Title | Many-Sorted Preference Relations |
| Authors | Matteo Cristani |
| Country | Italy |
| Paper ID | 160 |
| Title | Physical Objects, Identity and Vagueness |
| Authors | Brandon Bennett |
| Country | UK |