Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
On Merging Strategy-Proofness. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Weixiong Zhang, Xiaotao Zhang |
An Improved Integer Local Search for Complex Scheduling Problems. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Kaile Su, Guanfeng Lv, Yan Zhang 0003 |
Reasoning about Knowledge by Variable Forgetting. |
KR |
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. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Patrick Doherty 0001, Andrzej Szalas, Witold Lukaszewicz |
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Luciano Serafini, Floris Roelofsen |
Satisfiability for Propositional Contexts. |
KR |
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. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Hector Geffner |
Planning Graphs and Knowledge Compilation. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | William A. Woods |
Meaning and Links: A Semantic Odyssey. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Jean-François Baget |
Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Rong Zhou 0001, Eric A. Hansen |
Breadth-First Heuristic Search. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Clinton Smyth, David Poole 0001 |
Qualitative Probabilistic Matching with Hierarchical Descriptions. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Ronald P. A. Petrick, Fahiem Bacchus |
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Chitta Baral, Thomas Eiter |
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Jussi Rintanen |
Phase Transitions in Classical Planning: An Experimental Study. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Ken Kaneiwa, Riichiro Mizoguchi |
Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Itzhak Gilboa, David Schmeidler |
Evidence and Belief. |
KR |
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. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Jean-François Condotta, Gérard Ligozat |
Axiomatizing the Cyclic Interval Calculus. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Alfredo Gabaldon |
Precondition Control and the Progression Algorithm. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran |
On Eliminating Disjunctions in Stable Logic Programming. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino |
Social Roles and their Descriptions. |
KR |
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. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Gerhard Lakemeyer, Hector J. Levesque |
Situations, Si! Situation Terms, No! |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Murray Shanahan, David A. Randell |
A Logic-Based Formulation of Active Visual Perception. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Salem Benferhat, Jean-François Bonnefon, Rui Da Silva Neves |
An Experimental Analysis of Possibilistic Default Reasoning. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Andreas Herzig, Dominique Longin |
C&L Intention Revisited. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Ernest Davis |
A First-Order Theory of Communicating First-Order Formulas. |
KR |
2004 |
DBLP BibTeX RDF |
|
1 | Richard Booth 0001 |
Social Contraction and Belief Negotiation. |
KR |
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. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Sébastien Konieczny, Ramón Pino Pérez |
On the Frontier between Arbitration and Majority. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Sylvie Coste-Marquis, Pierre Marquis |
Complexity Results for Paraconsistent Inference Relations. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Helena Sofia Andrade N. P. Pinto, João Pavão Martins |
Evolving Ontologies in Distributed and Dynamic Settings. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Gregory M. Provan |
A Model-Based Diagnosis Framework for Distributed Embedded Systems. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Bittner |
Judgements about spatio-temporal relations. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Christopher A. Welty |
Panel: Are Upper-Level Ontologies Worth the Effort?. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Oliver Kutz, Frank Wolter, Michael Zakharyaschev |
Connecting Abstract Description Systems. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Gabriele Kern-Isberner |
A Structural Approach to Default Reasoning. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits |
A Generic Approach for Knowledge-Based Information-Site Selection. |
KR |
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. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Sergio Tessaris, Ian Horrocks 0001, Graham Gough |
Evaluating a Modular Abox Algorithm. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Antonia Donà, Luciano Serafini |
Updating Contexts. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Jérôme Lang |
From Preference Representation to Combinatorial Vote. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Fangzhen Lin |
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Eyal Amir |
Projection in Decomposed Situation Calculus. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Alina Beygelzimer, Irina Rish |
Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | John McCarthy 0001 |
Actions and Other Events in Situation Calculus. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Michael Winikoff, Lin Padgham, James Harland, John Thangarajah |
Declarative & Procedural Goals in Intelligent Agent Systems. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Didier Dubois, Hélène Fargier, Patrice Perny |
On the Limitations of Ordinal Approaches to Decision-making. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Balder ten Cate |
On the Logic of d-separation. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | David A. Randell, Mark Witkowski |
Building Large Composition Tables via Axiomatic Theories. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Matteo Cristani |
Many-Sorted Preference Relations. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Bernhard Nebel |
The Philosophical Soccer Player. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Thom W. Frühwirth |
As Time Goes by: Automatic Complexity Analysis of Simplified Rules. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Carmel Domshlak, Ronen I. Brafman |
CP-nets: Reasoning and Consistency Testing. |
KR |
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). |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Stefan Schulz 0001 |
Necessary Parts and Wholes in Bio-Ontologies. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Gerhard Lakemeyer |
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz |
Adding Numbers to the SHIQ Description Logic: First Results. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Murray Shanahan |
A Logical Account of Perception Incorporating Feedback and Expectation. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Sheila A. McIlraith, Tran Cao Son |
Adapting Golog for Composition of Semantic Web Services. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi |
Eliminating Incoherence from Subjective Estimates of Chance. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Thomas Lukasiewicz |
Complexity Results for Explanations in the Structural-Model Approach. |
KR |
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. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Ronald P. A. Petrick, Hector J. Levesque |
Knowledge Equivalence in Combined Action Theories. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Paulo Mateus, António Pacheco 0001, Javier Pinto |
Observations and the Probabilistic Situation Calculus. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Mathias Broxvall |
Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Sebastian Brandt 0001, Ralf Küsters, Anni-Yasmin Turhan |
Approximation and Difference in Description Logics. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | James A. Hendler |
The Semantic Web: KR's Worst Nightmare?. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Ullrich Hustadt, Renate A. Schmidt |
Scientific Benchmarking with Temporal Logic Decision Procedures. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Peter Gärdenfors |
The Role of Higher Order Similarity in Induction and Concept Formation. |
KR |
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 |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Florence Le Ber, Amedeo Napoli |
Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf |
Solving QBF by SMV. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade |
Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi |
Reasoning about Actions and Planning in LTL Action Theories. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Adnan Darwiche |
A Logical Approach to Factoring Belief Networks. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Sébastien Konieczny, Jérôme Lang, Pierre Marquis |
Distance Based Merging: A General Framework and some Complexity Results. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Shyamanta M. Hazarika, Anthony G. Cohn 0001 |
Abducing Qualitative Spatio-Temporal Histories from Partial Observations. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Chitta Baral, Yan Zhang |
The Complexity of Model Checking for Knowledge Update. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Gerhard Brewka, Salem Benferhat, Daniel Le Berre |
Qualitative Choice Logic. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Brandon Bennett |
Physical Objects, Identity and Vagueness. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Jérôme Lang, Pierre Marquis |
Resolving Inconsistencies by Variable Forgetting. |
KR |
2002 |
DBLP BibTeX RDF |
|
1 | Philipp M. Yelland |
An Alternative Combination of Bayesian Networks and Description Logics. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Haythem O. Ismail, Stuart C. Shapiro |
Two Problems with Reasoning and Acting in Time. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Ramón Pino Pérez, Carlos Uzcátegui |
Ordering explanations and the structural rules for abduction. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Renata Wassermann |
An Algorithm for Belief Revision. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Fangzhen Lin |
On Strongest Necessary and Weakest Sufficient Conditions. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Isabelle Bloch |
Spatial representation of spatial relationship knowledge. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Fabio Massacci |
Reduction rules and universal variables for first order tableaux and DPLL. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Ralf Küsters, Ralf Molitor |
Rewriting Concepts Using Terminologies. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Andrei Voronkov |
Deciding K using inverse-K. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Thierry Vidal |
Controllability characterization and checking in Contingent Temporal Constraint Networks. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Thomas Lukasiewicz |
Complexity Results for Default Reasoning from Conditional Knowledge Bases. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Éric Würbel, Robert Jeansoulin, Odile Papini |
Revision: an application in the framework of GIS. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Antony Galton |
Continuous Motion in Discrete Space. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Alan Verberne, Frank van Harmelen, Annette ten Teije |
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Paolo Liberatore, Marco Schaerf |
BReLS: A System for the Integration of Knowledge Bases. |
KR |
2000 |
DBLP BibTeX RDF |
|
1 | Luca Iocchi, Daniele Nardi, Riccardo Rosati 0001 |
Planning with sensing, concurrency, and exogenous events: logical framework and implementation. |
KR |
2000 |
DBLP BibTeX RDF |
|