| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
Constrained Argumentation Frameworks.  |
KR  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia |
From Wine to Water: Optimizing Description Logic Reasoning for Nominals. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jens Claßen, Gerhard Lakemeyer |
Foundations for Knowledge-Based Programs using ES. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Umberto Straccia |
Query Answering under the Any-World Assumption for Normal Logic Programs. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
Description Logics with Circumscription. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christian Fritz 0001, Sheila A. McIlraith |
Decision-Theoretic GOLOG with Qualitative Preferences. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jon Doyle |
On Mechanization of Thought Processes (Extended Abstract). |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Selim T. Erdogan, Vladimir Lifschitz |
Actions as Special Cases. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Reasoning about Knowledge of Unawareness. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Christian Fritz 0001, Sheila A. McIlraith |
Planning with Qualitative Temporal Preferences. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis |
Representing Policies for Quantified Boolean Formulae. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Didier Dubois, Hélène Fargier |
Qualitative Decision Making with Bipolar Information. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Natasha Alechina |
Semantics for Dynamic Syntactic Epistemic Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Lawrence E. Blume, David A. Easley, Joseph Y. Halpern |
Redoing the Foundations of Decision Theory. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alan L. Rector |
Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Brandon Bennett |
A Theory of Vague Adjectives Grounded in Relevant Observables. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Ben-Naim |
Lack of Finite Characterizations for the Distance-Based Revision. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Blai Bonet, Hector Geffner |
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Didier Dubois, Jérôme Lang |
Iterated Revision as Prioritized Merging. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jorge A. Baier, Sheila A. McIlraith |
On Planning with Programs that Sense. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema |
Definitorially Complete Description Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur |
Modularity and Web Ontologies. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yan Zhang 0003 |
Computational Properties of Epistemic Logic Programs. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anna Zamansky, Arnon Avron |
Non-Deterministic Semantics for First-Order Paraconsistent Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | David Maier 0001, Alon Y. Halevy, Michael J. Franklin |
Dataspaces: Co-existence with Heterogeneity. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher, Thomas Witkowski |
The Features-and-Fluents Semantics for the Fluent Calculus. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Lukasiewicz, Jörg Schellhase |
Variable-Strength Conditional Preferences for Matchmaking in Description Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yin Chen 0005, Fangzhen Lin, Yisong Wang, Mingyi Zhang 0002 |
First-Order Loop Formulas for Normal Logic Programs. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner |
Probabilistic Abduction without Priors. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Philippe Besnard, Anthony Hunter |
Knowledgebase Compilation for Efficient Logical Argumentation. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Silvio Ghilardi, Carsten Lutz, Frank Wolter |
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Florence Dupin de Saint-Cyr, Henri Prade |
Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati 0001 |
DL+log: Tight Integration of Description Logics and Disjunctive Datalog. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 |
Logical Foundations of Well-Founded Semantics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Robert Feldmann, Gerhard Brewka, Sandro Wenzel |
Planning with Prioritized Goals. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Richard Booth 0001, Thomas Andreas Meyer, Ka-Shu Wong |
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | David A. Randell, Mark Witkowski |
Abductive Visual Perception with Feature Clouds. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks 0001, Oliver Kutz, Ulrike Sattler |
The Even More Irresistible SROIQ. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Patrick Doherty 0001, John Mylopoulos, Christopher A. Welty (eds.) |
Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Wachter 0001, Rolf Haenni |
Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anthony Hunter, Sébastien Konieczny |
Shapley Inconsistency Values. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Phan Huy Tu |
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Scott Sanner, Sheila A. McIlraith |
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Victor Jauregui |
Semantical Considerations for a Logic of Actions: An Imperative Manifesto. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Madalina Croitoru, Ernesto Compatangelo |
A Tree Decomposition Algorithm for Conceptual Graph Projection. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Updating Description Logic ABoxes. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Hans Tompits, Patrick Traxler, Stefan Woltran |
Replacements in Non-Ground Answer-Set Programming. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Benoit Gaudou, Andreas Herzig, Dominique Longin |
Grounding and the Expression of Belief. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yongmei Liu 0001, Gerhard Lakemeyer, Hector J. Levesque |
A Logic of Limited Belief for Reasoning with Disjunctive Information. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Youngja Park |
GlossOnt: A Concept-focused Ontology Building Tool. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Didier Dubois, Christopher A. Welty, Mary-Anne Williams (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang |
Logical Foundations of Negotiation: Strategies and Preferences. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Leila Amgoud, Henri Prade |
Reaching Agreement Through Argumentation: A Possibilistic Approach. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jérôme Lang |
A Preference-Based Interpretation of Other Agents' Actions. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alexander Bochman |
A Causal Logic of Logic Programming. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
Domain-Specific Preferences for Causal Reasoning and Planning. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Boris Mailhé, Henri Prade |
Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | James Matthew Fielding, Jonathan Simon, Werner Ceusters, Barry Smith 0001 |
Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Eric Pacuit, Samer Salame |
Majority Logic. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Luc De Raedt, Jan Ramon |
Condensed Representations for Inductive Logic Programming. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | John McCarthy 0001 |
Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Automated Reformulation of Specifications by Safe Delay of Constraints. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
Discovering State Invariants. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Leila Amgoud, Claudette Cayrol |
On the Use of an ATMS for Handling Conflicting Desires. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Carola Eschenbach |
How to Interweave Knowledge about Object Structure and Concepts. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Eugenia Ternovska |
Inductive Situation Calculus. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tran Hoai Nam, Chitta Baral |
Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Anthony Barrett |
From Hybrid Systems to Universal Plans Via Domain Compilation. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits |
Combining Answer Set Programming with Description Logics for the Semantic Web. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stuart C. Shapiro |
A Logic of Arbitrary and Indefinite Objects. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Volker Haarslev, Ralf Möller 0001 |
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka |
Complex Preferences for Answer Set Optimization. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Patrick Doherty 0001 |
Advanced Research with Autonomous Unmanned Aerial Vehicles. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yves Martin, Iman Narasamdya, Michael Thielscher |
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Lukasiewicz |
Weak Nonmonotonic Probabilistic Logics. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Philippe Besnard, Sylvie Doutre |
Characterization of Semantics for Argument Systems. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter F. Patel-Schneider |
What Is OWL (and Why Should I Care)? |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Jens Fisseler |
Knowledge Discovery by Reversing Inductive Knowledge Representation. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pavlos Peppas, Samir Chopra, Norman Y. Foo |
Distance Semantics for Relevance-Sensitive Belief Revision. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yi Zhou, Xiaoping Chen |
Partial Implication Semantics for Desirable Propositions. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefan Schulz 0001, Udo Hahn |
Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker |
What's in a Model? Epistemological Analysis of Logic Programming. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pawel Garbacz |
The Four Dimensions of Artifacts. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui |
A Unified Treatment for Knowledge Dynamics. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Gerald Pfeifer, Stefan Woltran |
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ken Barker 0002, Vinay K. Chaudhri, Shaw Yi Chaw, Peter Clark, James Fan, David J. Israel, Sunil Mishra, Bruce W. Porter, Pedro Romero, Dan Tecuci, Peter Z. Yeh |
A Question-Answering System for AP Chemistry: Assessing KR&R Technologies. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Intransitivity and Vagueness. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leendert W. N. van der Torre |
Regulative and Constitutive Norms in Normative Multiagent Systems. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guilin Qi, Weiru Liu, David H. Glass |
A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | John Bell |
Causation and Causal Conditionals. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gregory M. Provan |
Inferential Complexity Control for Model-Based Abduction. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fiora Pirri |
Indoor Environment Classification and Perceptual Matching. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christophe Gonzales, Patrice Perny |
GAI Networks for Utility Elicitation. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hanna Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling |
Learning Probabilistic Relational Planning Rules. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Antony Galton |
Multidimensional Mereotopology. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bình Vu Trân, James Harland, Margaret Hamilton 0001 |
Observation Expectation Reasoning in Agent Systems. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fusun Yaman, Dana S. Nau, V. S. Subrahmanian |
A Logic of Motion. |
KR |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license