Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
On Merging Strategy-Proofness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 357-368, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Weixiong Zhang, Xiaotao Zhang |
An Improved Integer Local Search for Complex Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 692-700, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Kaile Su, Guanfeng Lv, Yan Zhang 0003 |
Reasoning about Knowledge by Variable Forgetting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 576-586, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Perry Groot, Annette ten Teije, Frank van Harmelen |
Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 399-406, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Patrick Doherty 0001, Andrzej Szalas, Witold Lukaszewicz |
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 459-468, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Luciano Serafini, Floris Roelofsen |
Satisfiability for Propositional Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 369-376, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001 |
What to Ask to a Peer: Ontolgoy-based Query Reformulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 469-478, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Hector Geffner |
Planning Graphs and Knowledge Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 662-672, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | William A. Woods |
Meaning and Links: A Semantic Odyssey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 740-742, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Jean-François Baget |
Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 407-414, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Rong Zhou 0001, Eric A. Hansen |
Breadth-First Heuristic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 701-709, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Clinton Smyth, David Poole 0001 |
Qualitative Probabilistic Matching with Hierarchical Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 479-487, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Ronald P. A. Petrick, Fahiem Bacchus |
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 613-622, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Chitta Baral, Thomas Eiter |
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 720-730, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Jussi Rintanen |
Phase Transitions in Classical Planning: An Experimental Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 710-719, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Ken Kaneiwa, Riichiro Mizoguchi |
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 278-288, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Itzhak Gilboa, David Schmeidler |
Evidence and Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 733-734, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Noah S. Friedland, Paul G. Allen, Michael Witbrock, Gavin Matthews, Nancy Salay, Pierluigi Miraglia, Jürgen Angele, Steffen Staab, David J. Israel, Vinay K. Chaudhri, Bruce W. Porter, Ken Barker 0002, Peter Clark |
Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 507-515, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Jean-François Condotta, Gérard Ligozat |
Axiomatizing the Cyclic Interval Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 95-105, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Alfredo Gabaldon |
Precondition Control and the Progression Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 634-643, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran |
On Eliminating Disjunctions in Stable Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 447-458, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino |
Social Roles and their Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 267-277, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis |
Expressive Power and Succinctness of Propositional Languages for Preference Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 203-212, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Gerhard Lakemeyer, Hector J. Levesque |
Situations, Si! Situation Terms, No! ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 516-526, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Murray Shanahan, David A. Randell |
A Logic-Based Formulation of Active Visual Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 64-72, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Salem Benferhat, Jean-François Bonnefon, Rui Da Silva Neves |
An Experimental Analysis of Possibilistic Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 130-140, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Andreas Herzig, Dominique Longin |
C&L Intention Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 527-535, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Ernest Davis |
A First-Order Theory of Communicating First-Order Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 235-245, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Richard Booth 0001 |
Social Contraction and Belief Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 375-386, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña |
On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 603-614, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sébastien Konieczny, Ramón Pino Pérez |
On the Frontier between Arbitration and Majority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 109-120, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sylvie Coste-Marquis, Pierre Marquis |
Complexity Results for Paraconsistent Inference Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 61-72, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Helena Sofia Andrade N. P. Pinto, João Pavão Martins |
Evolving Ontologies in Distributed and Dynamic Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 365-374, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Gregory M. Provan |
A Model-Based Diagnosis Framework for Distributed Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 341-352, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Bittner |
Judgements about spatio-temporal relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 521-532, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Christopher A. Welty |
Panel: Are Upper-Level Ontologies Worth the Effort?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 632-632, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Oliver Kutz, Frank Wolter, Michael Zakharyaschev |
Connecting Abstract Description Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 215-226, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Gabriele Kern-Isberner |
A Structural Approach to Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 147-157, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits |
A Generic Approach for Knowledge-Based Information-Site Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 459-469, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 449-458, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sergio Tessaris, Ian Horrocks 0001, Graham Gough |
Evaluating a Modular Abox Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 227-238, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Antonia Donà, Luciano Serafini |
Updating Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 251-264, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Jérôme Lang |
From Preference Representation to Combinatorial Vote. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 277-290, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Fangzhen Lin |
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 170-176, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Eyal Amir |
Projection in Decomposed Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 315-326, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Alina Beygelzimer, Irina Rish |
Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 558-567, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | John McCarthy 0001 |
Actions and Other Events in Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 615-628, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Michael Winikoff, Lin Padgham, James Harland, John Thangarajah |
Declarative & Procedural Goals in Intelligent Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 470-481, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Didier Dubois, Hélène Fargier, Patrice Perny |
On the Limitations of Ordinal Approaches to Decision-making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 133-146, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Balder ten Cate |
On the Logic of d-separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 568-577, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | David A. Randell, Mark Witkowski |
Building Large Composition Tables via Axiomatic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 26-36, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Matteo Cristani |
Many-Sorted Preference Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 265-276, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Bernhard Nebel |
The Philosophical Soccer Player. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 631-631, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Thom W. Frühwirth |
As Time Goes by: Automatic Complexity Analysis of Simplified Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 547-557, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Carmel Domshlak, Ronen I. Brafman |
CP-nets: Reasoning and Consistency Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 121-132, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Florence Dupin de Saint-Cyr, Jérôme Lang |
Belief Extrapolation (or how to Reason About Observations and Unpredicted Change). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 497-508, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Stefan Schulz 0001 |
Necessary Parts and Wholes in Bio-Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 387-394, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Gerhard Lakemeyer |
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 73-81, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz |
Adding Numbers to the SHIQ Description Logic: First Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 191-202, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Murray Shanahan |
A Logical Account of Perception Incorporating Feedback and Expectation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 3-13, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 177-190, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sheila A. McIlraith, Tran Cao Son |
Adapting Golog for Composition of Semantic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 482-496, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi |
Eliminating Incoherence from Subjective Estimates of Chance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 353-364, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Thomas Lukasiewicz |
Complexity Results for Explanations in the Structural-Model Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 49-60, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Chitta Baral, Tran Cao Son, Le-Chi Tuan |
A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 291-302, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Ronald P. A. Petrick, Hector J. Levesque |
Knowledge Equivalence in Combined Action Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 303-314, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Paulo Mateus, António Pacheco 0001, Javier Pinto |
Observations and the Probabilistic Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 327-340, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Mathias Broxvall |
Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 509-520, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sebastian Brandt 0001, Ralf Küsters, Anni-Yasmin Turhan |
Approximation and Difference in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 203-214, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | James A. Hendler |
The Semantic Web: KR's Worst Nightmare?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 630-630, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Ullrich Hustadt, Renate A. Schmidt |
Scientific Benchmarking with Temporal Logic Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 533-546, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Peter Gärdenfors |
The Role of Higher Order Similarity in Induction and Concept Formation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 629-629, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![Morgan Kaufmann, 1-55860-554-1 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Florence Le Ber, Amedeo Napoli |
Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 37-48, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf |
Solving QBF by SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 578-592, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade |
Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 421-448, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi |
Reasoning about Actions and Planning in LTL Action Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 593-602, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Adnan Darwiche |
A Logical Approach to Factoring Belief Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 409-420, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sébastien Konieczny, Jérôme Lang, Pierre Marquis |
Distance Based Merging: A General Framework and some Complexity Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 97-108, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Shyamanta M. Hazarika, Anthony G. Cohn 0001 |
Abducing Qualitative Spatio-Temporal Histories from Partial Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 14-25, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Chitta Baral, Yan Zhang |
The Complexity of Model Checking for Knowledge Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 82-96, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Gerhard Brewka, Salem Benferhat, Daniel Le Berre |
Qualitative Choice Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 158-169, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Brandon Bennett |
Physical Objects, Identity and Vagueness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 395-408, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Jérôme Lang, Pierre Marquis |
Resolving Inconsistencies by Variable Forgetting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 239-250, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Philipp M. Yelland |
An Alternative Combination of Bayesian Networks and Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 225-234, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Haythem O. Ismail, Stuart C. Shapiro |
Two Problems with Reasoning and Acting in Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 355-365, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Ramón Pino Pérez, Carlos Uzcátegui |
Ordering explanations and the structural rules for abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 637-646, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Renata Wassermann |
An Algorithm for Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 345-352, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Fangzhen Lin |
On Strongest Necessary and Weakest Sufficient Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 167-175, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Isabelle Bloch |
Spatial representation of spatial relationship knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 247-258, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Fabio Massacci |
Reduction rules and universal variables for first order tableaux and DPLL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 186-197, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Ralf Küsters, Ralf Molitor |
Rewriting Concepts Using Terminologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 297-308, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Andrei Voronkov |
Deciding K using inverse-K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 198-209, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Thierry Vidal |
Controllability characterization and checking in Contingent Temporal Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 559-570, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Thomas Lukasiewicz |
Complexity Results for Default Reasoning from Conditional Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 62-73, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Éric Würbel, Robert Jeansoulin, Odile Papini |
Revision: an application in the framework of GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 505-515, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Antony Galton |
Continuous Motion in Discrete Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 26-37, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Alan Verberne, Frank van Harmelen, Annette ten Teije |
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 323-332, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Paolo Liberatore, Marco Schaerf |
BReLS: A System for the Integration of Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 145-152, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Luca Iocchi, Daniele Nardi, Riccardo Rosati 0001 |
Planning with sensing, concurrency, and exogenous events: logical framework and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 678-689, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|