| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Efficiently Computable Datalog∃ Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Only-Knowing Meets Nonmonotonic Modal Logic. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Bartholomew, Joohyung Lee |
Stable Models of Formulas with Intensional Functions. |
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 | 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 | James P. Delgrande, Hector J. Levesque |
Belief Revision with Sensing and Fallible Actions. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati, Enrico Franconi |
Generalized Ontology-Based Production Systems. |
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 | |
Conference Committee. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran |
Complexity-Sensitive Decision Procedures for Abstract Argumentation. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jinbo Huang |
Search Strategy Simulation in Constraint Booleanization. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran |
Strong Equivalence of Qualitative Optimization Problems. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martin Lackner, Andreas Pfandler |
Fixed-Parameter Algorithms for Finding Minimal Models. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jinbo Huang |
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning. |
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 | |
Invited Talks. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni |
The Complexity of Explaining Negative Query Answers in DL-Lite. |
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 | Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca |
JASP: A Framework for Integrating Answer Set Programming with Java. |
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 | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
An Abstraction Technique for the Verification of Artifact-Centric Systems. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata |
Abstract Normative Systems: Semantics and Proof Theory. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Cristina Feier |
Worst-Case Optimal Reasoning with Forest Logic Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar |
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang |
Acyclicity Conditions and their Application to Query Answering in Description Logics. |
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 | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
Conjunctive Query Answering with OWL 2 QL. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Henri Prade, Gilles Richard |
Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams |
Efficient Argumentation for Medical Decision-Making. |
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 | Patrick Doherty, Jonas Kvarnström, Andrzej Szalas |
Temporal Composite Actions with Constraints. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell |
Assertion Absorption in Object Queries over Knowledge Bases. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Fink |
Paraconsistent Hybrid Theories. |
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 | Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov |
Ontology Evolution Under Semantic Constraints. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Leora Morgenstern |
Lecture in Remembrance of John McCarthy. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Haufe, Michael Thielscher |
Automated Verification of Epistemic Properties for General Game Playing. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Lawry, Didier Dubois |
A Bipolar Framework for Combining Beliefs about Vague Propositions. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Thomas Schwentick |
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque, Ernest Davis, Leora Morgenstern |
The Winograd Schema Challenge. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang |
Forgetting in Logic Programs under Strong Equivalence. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | |
Area Chairs and Program Committee. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Stefan Borgwardt, Barbara Morawska |
Extending Unification in EL Towards General TBoxes. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nic Wilson, Radu Marinescu |
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities. |
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 | Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
Compositional Belief Merging. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jochen Renz |
Implicit Constraints for Qualitative Spatial and Temporal Reasoning. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Justification Masking in Ontologies. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vincent Conitzer, Lirong Xia |
Paradoxes of Multiple Elections: An Approximation Approach. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Didier Dubois, Henri Prade, Steven Schockaert |
Stable Models in Generalized Possibilistic Logic. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph |
A Generic Querying Algorithm for Greedy Sets of Existential Rules. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Kira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán |
Horn Belief Contraction: Remainders, Envelopes and Complexity. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas |
Towards Parallel Nonmonotonic Reasoning with Billions of Facts. |
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 | Vladimir Lifschitz |
Logic Programs with Intensional Functions. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Zhi Qiang Zhuang, Maurice Pagnucco |
Model Based Horn Contraction. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martin Slota, João Leite |
Robust Equivalence Models for Semantic Updates of Answer-Set Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran |
Belief Revision within Fragments of Propositional Logic. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Guohua Liu, Tomi Janhunen, Ilkka Niemelä |
Answer Set Programming via Mixed Integer Programming. |
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 | Laura Giordano, Alberto Martelli, Daniele Theseider Dupré |
Achieving Completeness in Bounded Model Checking of Action Theories in ASP. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez |
Credibility-Limited Revision Operators in Propositional Logic. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefan Borgwardt, Rafael Peñaloza |
Undecidability of Fuzzy Description Logics. |
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 | 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 | Joseph Y. Halpern, Willemien Kets |
Ambiguous Language and Differences in Beliefs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefano Moretti, Alexis Tsoukiàs |
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Davide Grossi |
Fixpoints and Iterated Updates in Abstract Argumentation. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | |
Preface. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Mikolás Janota, João P. Marques Silva, Pierre Marquis |
On Unit-Refutation Complete Formulae with Existentially Quantified Variables. |
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 | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query Containment in Description Logics Reconsidered. |
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 | Ofer Arieli, Arnon Avron, Anna Zamansky |
Maximally Paraconsistent Three-Valued Logics. |
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 | Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre |
A Logical Understanding of Legal Interpretation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Ian Horrocks, Yoav Shoham |
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. |
KR |
2010 |
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 | Thomas Eiter, Michael Fink, João Moura |
Paracoherent Answer Set Programming. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query and Predicate Emptiness in Description Logics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stuart C. Shapiro |
Set-Oriented Logical Connectives: Syntax and Semantics. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Sebastian Rudolph |
Status QIO: Conjunctive Query Entailment Is Decidable. |
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 | Vaishak Belle, Gerhard Lakemeyer |
Multi-Agent Only-Knowing Revisited. |
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 | Yuxiao Hu, Hector J. Levesque |
A Correctness Result for Reasoning about One-Dimensional Planning Problems. |
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 | Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
Efficient Dominance Testing for Unconditional Preferences. |
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 | Nadia Creignou, Johannes Schmidt, Michael Thomas |
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Jan van Eijck, William Wu |
One Hundred Prisoners and a Lightbulb - Logic and Computation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Stefan Woltran |
Abstract Dialectical Frameworks. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Guilin Qi, Zhizheng Zhang |
Preferential Semantics for Plausible Subsumption in Possibility Theory. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Poole |
Towards a Logic of Feature-Based Semantic Science Theories. |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")