| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anthony G. Cohn 0001, Jochen Renz, Muralikrishna Sridhar |
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis.  |
KR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | |
Conference Committee. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams 0001 |
Efficient Argumentation for Medical Decision-Making. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio |
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub |
Stream Reasoning with Answer Set Programming: Preliminary Report. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré |
Achieving Completeness in Bounded Model Checking of Action Theories in ASP. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Cristina Feier |
Worst-Case Optimal Reasoning with Forest Logic Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jochen Renz |
Implicit Constraints for Qualitative Spatial and Temporal Reasoning. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Juraj Dzifcak |
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jiewen Wu, Alexander K. Hudek, David Toman 0001, Grant E. Weddell |
Assertion Absorption in Object Queries over Knowledge Bases. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits |
On the Small-Scope Hypothesis for Testing Answer-Set Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Christer Bäckström, Peter Jonsson |
Abstracting Abstraction in Search with Applications to Planning. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
Ordered Epistemic Logic: Semantics, Complexity and Applications. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks 0001, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang 0001 |
Acyclicity Conditions and their Application to Query Answering in Description Logics. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefano Moretti 0001, Alexis Tsoukiàs |
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vinay K. Chaudhri, Tran Cao Son |
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Non-Uniform Data Complexity of Query Answering in Description Logics. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Richard Booth 0001, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez |
Credibility-Limited Revision Operators in Propositional Logic. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mariano Rodriguez-Muro, Diego Calvanese |
High Performance Query Answering over DL-Lite Ontologies. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Zeinab Bahmani, Leopoldo E. Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan |
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jianbing Ma, Salem Benferhat, Weiru Liu |
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vincent Conitzer, Lirong Xia |
Paradoxes of Multiple Elections: An Approximation Approach. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Bartholomew, Joohyung Lee 0002 |
Stable Models of Formulas with Intensional Functions. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Efficiently Computable Datalog∃ Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jinbo Huang |
Search Strategy Simulation in Constraint Booleanization. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Only-Knowing Meets Nonmonotonic Modal Logic. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Maximiliano Celmo Budán, Mauro Javier Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari |
Modelling Time and Reliability in Structured Argumentation Frameworks. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati 0001, Enrico Franconi |
Generalized Ontology-Based Production Systems. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alban Grastien, Patrik Haslum, Sylvie Thiébaux |
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Shanshan Liang |
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Davide Grossi |
Fixpoints and Iterated Updates in Abstract Argumentation. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | |
Invited Talks. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Giovanni Grasso 0001, Francesco Ricca |
JASP: A Framework for Integrating Answer Set Programming with Java. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata |
Abstract Normative Systems: Semantics and Proof Theory. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Didier Dubois, Henri Prade, Steven Schockaert |
Stable Models in Generalized Possibilistic Logic. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov |
Exchanging Description Logic Knowledge Bases. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Thomas Schwentick |
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Hector J. Levesque |
Belief Revision with Sensing and Fallible Actions. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali |
Weighted Attacks in Argumentation Frameworks. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | |
Preface. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
Extending Unification in EL Towards General TBoxes. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Zhi Qiang Zhuang, Maurice Pagnucco |
Model Based Horn Contraction. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz |
Logic Programs with Intensional Functions. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Inanç Seylan, Frank Wolter |
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
Conjunctive Query Answering with OWL 2 QL. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Miroslaw Truszczynski, Stefan Woltran |
Strong Equivalence of Qualitative Optimization Problems. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | |
Area Chairs and Program Committee. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nic Wilson, Radu Marinescu 0002 |
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik |
Practical Reasoning with Nominals in the EL Family of Description Logics. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi |
Bounded Situation Calculus Action Theories and Decidable Verification. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski |
State Defaults and Ramifications in the Unifying Action Calculus. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Carsten Lutz, David Toman 0001, Frank Wolter, Michael Zakharyaschev |
The Combined Approach to Query Answering in DL-Lite. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marco Cerami, Francesc Esteva, Félix Bou |
Decidability of a Description Logic over Infinite-Valued Product Logic. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bijan Parsia, Thomas Schneider 0002 |
The Modular Structure of an Ontology: An Empirical Study. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Bartholomew, Joohyung Lee 0002 |
A Decidable Class of Groundable Formulas in the General Theory of Stable Models. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
I Don't Want to Think About it Now: Decision Theory with Costly Computation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Icard, Eric Pacuit, Yoav Shoham |
Joint Revision of Beliefs and Intention. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Leonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel |
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vaishak Belle, Gerhard Lakemeyer |
Multi-Agent Only-Knowing Revisited. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Stefan Woltran |
Abstract Dialectical Frameworks. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
From Causal Models To Counterfactual Structures. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Distributed Nonmonotonic Multi-Context Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zhe Wang 0001, Kewen Wang 0001, Rodney W. Topor |
Revising General Knowledge Bases in Description Logics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Konieczny, Mattia Medina Grespan, Ramón Pino Pérez |
Taxonomy of Improvement Operators and the Problem of Minimal Change. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Guilin Qi, Zhizheng Zhang 0002 |
Preferential Semantics for Plausible Subsumption in Possibility Theory. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Peter Schüller, Antonius Weinzierl |
Finding Explanations of Inconsistency in Multi-Context Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Jérôme Lang, Nic Wilson |
From Preference Logics to Preference Languages, and Back. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Poole 0001 |
Towards a Logic of Feature-Based Semantic Science Theories. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis |
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hannaneh Hajishirzi, Eyal Amir |
Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Ian Horrocks 0001, Yoav Shoham |
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Grüninger |
Ontologies for Dates and Duration. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matthew Horridge, Bijan Parsia |
From Justifications Towards Proofs for Ontology Engineering. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran |
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Condotta, Christophe Lecoutre |
A Class of df-Consistencies for Qualitative Constraint Networks. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
Diagnosis as Planning Revisited. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sanjiang Li |
A Layered Graph Representation for Complex Regions. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Baget, Michel Leclère, Marie-Laure Mugnier |
Walking the Decidability Line for Rules with Existential Variables. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre |
A Logical Understanding of Legal Interpretation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Minyi Li 0001, Quoc Bao Vo, Ryszard Kowalczyk |
An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sajjad Ahmed Siddiqi, Jinbo Huang |
New Advances in Sequential Diagnosis. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande, Renata Wassermann |
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis |
Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Jan van Eijck, William Wu |
One Hundred Prisoners and a Lightbulb - Logic and Computation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rafael Peñaloza, Baris Sertkaya |
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev |
Interpreting Topological Logics over Euclidean Spaces. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña |
Generalized Planning with Loops under Strong Fairness Constraints. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Samantha Kleinberg, Bud Mishra |
The Temporal Logic of Token Causes. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001 |
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Henri Prade, Gilles Richard |
Reasoning with Logical Proportions. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yan Zhang, Yi Zhou |
Forgetting Revisited. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ronen I. Brafman, Francesca Rossi 0001, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh |
Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Visara Urovi, Stefano Bromuri, Kostas Stathis, Alexander Artikis |
Towards Runtime Support for Norm-Governed Multi-Agent Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Sebastian Rudolph |
Status QIO: Conjunctive Query Entailment Is Decidable. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati 0001, Alessandro Almatelli |
Improving Query Answering over DL-Lite Ontologies. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp |
Independence and Functional Dependence Relations on Secrets. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz 0001, Sebastian Rudolph, Mantas Simkus |
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Matthias Thimm |
Novel Semantical Approaches to Relational Probabilistic Conditionals. |
KR |
2010 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license