| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shahab Tasharrofi, Eugenia Ternovska |
Generalized Multi-Context Systems.  |
KR  |
2014 |
DBLP BibTeX RDF |
|
| 1 | |
Sponsors. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Nico Potyka |
Linear Programs for Measuring Inconsistency in Probabilistic Logics. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Thomas Eiter, Helmut Veith |
Vienna Summer of Logic. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Yi Zhou |
First-Order Default Logic Revisited. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Pavlos Peppas, Mary-Anne Williams |
Belief Change and Semiorders. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Angelos Charalambidis, Panos Rondogiannis |
Constructive Negation in Extensional Higher-Order Logic Programming. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Anthony G. Cohn 0001, Georg Gottlob, Sheila A. McIlraith |
Invited Talks. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alexander Bochman |
Dynamic Causal Calculus. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Valeria Fionda, Claudio Gutierrez 0001, Giuseppe Pirrò |
Knowledge Maps of Web Graphs. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006 |
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Michael Bartholomew, Joohyung Lee 0002 |
Stable Models of Multi-Valued Formulas: Partial versus Total Functions. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati 0001 |
Tutorials. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Márcio Moretto Ribeiro, Renata Wassermann |
Minimal Change in AGM Revision for Non-Classical Logics. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Stefan Borgwardt, Felix Distel, Rafael Peñaloza |
Decidable Gödel Description Logics without the Finitely-Valued Model Property. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | James P. Delgrande |
Towards a Knowledge Level Analysis of Forgetting. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
ASP Encodings of Acyclicity Properties. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Jakub Michaliszyn |
Model Checking Unbounded Artifact-Centric Systems. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Jakub Michaliszyn |
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Peter Schüller |
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris |
Datalog+/-: Questions and Answers. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Joost Vennekens |
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Richard Booth 0001, Edmond Awad, Iyad Rahwan |
Interval Methods for Judgment Aggregation in Argumentation. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |
Exact Learning of Lightweight Description Logic Ontologies. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Xavier Parent, Leon van der Torre |
Aggregative Deontic Detachment for Normative Reasoning. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Giuseppe De Giacomo, Thomas Eiter (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez |
Strong Equivalence of Non-Monotonic Temporal Theories. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Vaishak Belle, Hector J. Levesque |
How to Progress Beliefs in Continuous Domains. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Matt Duckham, Sanjiang Li, Weiming Liu 0001, Zhiguo Long |
On Redundant Topological Constraints. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Federico Cerutti 0001, Massimiliano Giacomin, Mauro Vallati, Marina Zanella |
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader |
Ontology-Based Monitoring of Dynamic Systems. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern |
Appropriate Causal Models and Stability of Causation. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | |
Conference Committee. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich |
Belief Change and Base Dependence. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
Axiomatizing Rationality. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler |
An Abductive Reasoning Approach to the Belief Bias Effect. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Ronald de Haan, Stefan Szeider |
The Parameterized Complexity of Reasoning Problems Beyond NP. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider 0002 |
Finite Model Reasoning in Horn Description Logics. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Markus Krötzsch, Sebastian Rudolph |
Nominal Schemas in Description Logics: Complexities Clarified. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Egor Ianovski, Luke Ong |
EGuaranteeNash for Boolean Games Is NEXP-Hard. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang |
The Semantics of Gringo and Infinitary Propositional Formulas. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller 0002 |
A Psychology-Inspired Approach to Automated Narrative Text Comprehension. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Leonid Libkin |
Certain Answers as Objects and Knowledge. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Marco Manna, Andreas Pieris |
Polynomial Combined Rewritings for Existential Rules. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche |
Probabilistic Sentential Decision Diagrams. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Guy Van den Broeck, Wannes Meert, Adnan Darwiche |
Skolemization for Weighted First-Order Model Counting. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Christopher James Ewin, Adrian R. Pearce, Stavros Vassos |
Transforming Situation Calculus Action Theories for Optimised Reasoning. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Leora Morgenstern |
Representing and Reasoning about Time Travel Narratives: Foundational Concepts. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher |
Forgetting in Action. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Andrea Marrella, Massimo Mecella, Sebastian Sardiña |
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Michel Ludwig, Boris Konev |
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Codruta Liliana Gîrlea, Eyal Amir, Roxana Girju |
Tracking Beliefs and Intentions in the Werewolf Game. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Vaishak Belle, Gerhard Lakemeyer |
On the Progression of Knowledge in Multiagent Systems. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Xiaowei Huang 0001, Ron van der Meyden |
A Temporal Logic of Strategic Knowledge. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith |
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Francesco Belardinelli |
Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Igor Razgon |
On OBDDs for CNFs of Bounded Treewidth. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber |
Belief Revision in the Propositional Closure of a Qualitative Algebra. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Paul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran |
Characteristics of Multiple Viewpoints in Abstract Argumentation. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Seyed Mehran Kazemi, David Buchman, Kristian Kersting, Sriraam Natarajan, David Poole 0001 |
Relational Logistic Regression. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch |
State-Boundedness in Data-Aware Dynamic Systems. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider 0002 |
Lightweight Description Logics and Branching Time: A Troublesome Marriage. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Matthias Thimm |
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Andreas Sideris, Yannis Dimopoulos |
Heuristic Guided Optimization for Propositional Planning. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mehul Bhatt, Carl Schultz 0001, Madhura Thosar |
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Felix Distel, Jamal Atif, Isabelle Bloch |
Concept Dissimilarity with Triangle Inequality. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Claus-Peter Wirth, Frieder Stolzenburg |
David Poole's Specificity Revised. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz |
Stable Model Semantics for Guarded Existential Rules and Description Logics. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Wouter Beek, Stefan Schlobach, Frank van Harmelen |
Rough Set Semantics for Identity on the Web. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz 0001, Mantas Simkus |
Nested Regular Path Queries in Description Logics. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Andreas Herzig |
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé |
Using Answer Set Programming for Solving Boolean Games. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Willemien Kets |
Ambiguous Language and Differences in Beliefs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martin Slota, João Leite 0001 |
Robust Equivalence Models for Semantic Updates of Answer-Set Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefan Borgwardt, Rafael Peñaloza |
Undecidability of Fuzzy Description Logics. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martin Lackner, Andreas Pfandler |
Fixed-Parameter Algorithms for Finding Minimal Models. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Leora Morgenstern |
Lecture in Remembrance of John McCarthy. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Mikolás Janota, João Marques-Silva 0001, Pierre Marquis |
On Unit-Refutation Complete Formulae with Existentially Quantified Variables. |
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 | Sebastian Haufe, Michael Thielscher |
Automated Verification of Epistemic Properties for General Game Playing. |
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 | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
An Abstraction Technique for the Verification of Artifact-Centric Systems. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Magdalena Ortiz 0001, Mantas Simkus, Giorgio Stefanoni |
The Complexity of Explaining Negative Query Answers in DL-Lite. |
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 | Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas |
Towards Parallel Nonmonotonic Reasoning with Billions of Facts. |
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 | Henri Prade, Gilles Richard |
Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jinbo Huang |
Compactness and Its Implications 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 | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query Containment in Description Logics Reconsidered. |
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 | Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
Compositional Belief Merging. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Patrick Doherty 0001, Jonas Kvarnström, Andrzej Szalas |
Temporal Composite Actions with Constraints. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Fink 0001 |
Paraconsistent Hybrid Theories. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yisong Wang, Yan Zhang 0003, Yi Zhou 0013, Mingyi Zhang 0002 |
Forgetting in Logic Programs under Strong Equivalence. |
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 | 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 | Hector J. Levesque, Ernest Davis, Leora Morgenstern |
The Winograd Schema Challenge. |
KR |
2012 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license