| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña |
On the Progression of Situation Calculus Universal Theories with Constants.  |
KR  |
2018 |
DBLP BibTeX RDF |
|
| 1 | Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo |
A Hybrid Approach to Optimization in Answer Set Programming. |
KR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Shailaja Sampat, Joohyung Lee |
A Model-Based Approach to Visual Reasoning on CNLVR Dataset. |
KR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation. |
KR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Matthias van der Hallen, Gerda Janssens |
SOGrounder: Modelling and Solving Second-Order Logic. |
KR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Rudolph |
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Saïd Jabbour, Yue Ma 0009, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
A MIS Partition Based Framework for Measuring Inconsistency. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Roy Luo, Richard Anthony Valenzano, Yi Li 0008, J. Christopher Beck, Sheila A. McIlraith |
Using Metric Temporal Logic to Specify Scheduling Problems. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Vasanth Sarathy, Matthias Scheutz |
Cognitive Affordance Representations in Uncertain Logic. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic |
Ranking Arguments With Compensation-Based Semantics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Thomas Lukasiewicz, Maria Vanina Martinez, David Poole 0001, Gerardo Ignacio Simari |
Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Alexander Bochman |
On Logics and Semantics of Indeterminate Causation. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Özgür Lütfü Özçep |
Minimality Postulates for Ontology Revision. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Matthias Thimm, Johannes Peter Wallner |
Some Complexity Results on Inconsistency Measurement. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran |
On the Functional Completeness of Argumentation Semantics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Monica Martinez, Edelweis Rohrer, Paula Severi |
Complexity of the Description Logic ALCM. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck |
Open-World Probabilistic Databases. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ivanovska, Audun Jøsang, Francesco Sambo |
Bayesian Deduction with Subjective Opinions. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ofer Arieli, Christian Straßer |
Argumentative Approaches to Reasoning with Maximal Consistency. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | David Buchman, David Poole 0001 |
Negation Without Negation in Probabilistic Logic Programming. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Lukás Chrpa, Roman Barták |
Guiding Planning Engines by Transition-Based Domain Control Knowledge. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer |
Preference and Priorities: A Study Based on Contrction. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Julian Gutierrez 0001, Giuseppe Perelli, Michael J. Wooldridge |
Imperfect Information in Reactive Modules Games. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao 0001, Xiaoyan Zhu 0001 |
Knowledge Graph Embedding by Flexible Translation. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Kristijonas Cyras, Ken Satoh, Francesca Toni |
Abstract Argumentation for Case-Based Reasoning. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Condotta, Issam Nouaouri, Michael Sioutis |
A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Alexander Borgida, David Toman 0001, Grant E. Weddell |
On Referring Expressions in Query Answering over First Order Knowledge Bases. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Leila Amgoud, Jonathan Ben-Naim |
Axiomatic Foundations of Acceptability Semantics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Joohyung Lee 0002, Yi Wang 0048 |
Weighted Rules under the Stable Model Semantics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran |
Merging of Abstract Argumentation Frameworks. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Vaishak Belle, Hector J. Levesque |
Foundations for Generalized Planning in Unbounded Stochastic Domains. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
Regular Open APIs. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
On First-Order μ-Calculus over Situation Calculus Action Theories. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ronald de Haan, Stefan Szeider |
Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Kristijonas Cyras, Francesca Toni |
ABA+: Assumption-Based Argumentation with Preferences. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Decidable Reasoning in a Logic of Limited Belief with Function Symbols. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ulle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang |
Succinctness of Languages for Judgment Aggregation. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Paul Saikko, Johannes Peter Wallner, Matti Järvisalo |
Implicit Hitting Set Algorithms for Reasoning Beyond NP. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira |
Bisimulations on Data Graphs. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
Reasoning about Truthfulness of Agents Using Answer Set Programming. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Arnaud Carayol, Zoltán Ésik |
An Analysis of the Equational Properties of the Well-Founded Fixed Point. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Pietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret |
On the Justification of Statements in Argumentation-based Reasoning. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Muhannad Al-Omari, Eris Chinellato, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn 0001 |
Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Pierre Bourhis, Carsten Lutz |
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance |
Online Situation-Determined Agents and their Supervision. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu |
Generalized Consistent Query Answering under Existential Rules. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Theodore Patkos, Antonis Bikakis, Giorgos Flouris |
A Multi-Aspect Evaluation Framework for Comments on the Social Web. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Nhung Ngo, Magdalena Ortiz 0001, Mantas Simkus |
Closed Predicates in Description Logics: Results on Combined Complexity. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr 0001, João Leite 0001 |
The Ultimate Guide to Forgetting in Answer Set Programming. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Riccardo Rosati 0001 |
Query-Based Comparison of Mappings in Ontology-Based Data Access. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann |
Consolidating Probabilistic Knowledge Bases via Belief Contraction. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ringo Baumann, Hannes Strass |
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
Sequential Equilibrium in Games of Imperfect Recall. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Zhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-won Hwang, Zhongyuan Wang |
Commonsense Causal Reasoning between Short Texts. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger |
Prompt Alternating-Time Epistemic Logics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber |
Building Epistemic Logic from Observations and Public Announcements. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue |
Representative Solutions for Multi-Objective Constraint Optimization Problems. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi |
Declarative Solver Development: Case Studies. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Condotta, Badran Raddaoui, Yakoub Salhi |
Quantifying Conflicts for Spatial and Temporal Information. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Jakub Michaliszyn |
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Shakil M. Khan 0001, Yves Lespérance |
Infinite Paths in the Situation Calculus: Axiomatization and Properties. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi |
A Higher-Order Semantics for Metaquerying in OWL 2 QL. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Egor V. Kostylev |
On Expressibility of Non-Monotone Operators in SPARQL. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks 0001 |
Extending Consequence-Based Reasoning to SRIQ. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Casini, Thomas Andreas Meyer |
Using Defeasible Information to Obtain Coherence. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Umut Oztok, Arthur Choi, Adnan Darwiche |
Solving PPPP-Complete Problems Using Knowledge Compilation. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Haris Aziz 0001, Paul Harrenstein, Jérôme Lang, Michael J. Wooldridge |
Boolean Hedonic Games. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina A. M. Tamma |
Limiting Logical Violations in Ontology Alignnment Through Negotiation. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Anthony Hunter, Matthias Thimm |
On Partial Information and Contradictions in Probabilistic Abstract Argumentation. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Petra Kubincová, Ján Kluka, Martin Homola |
Expressive Description Logic with Instantiation Metamodelling. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Antonio Rago 0001, Francesca Toni, Marco Aurisicchio, Pietro Baroni |
Discontinuity-Free Decision Support with Quantitative Argumentation Debates. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Temur Kutsia |
Anti-Unification of Concepts in Description Logic EL. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo |
Easy OWL Drawing with the Graphol Visual Ontology Language. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Federico Cerutti 0001, Mauro Vallati, Massimiliano Giacomin |
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Zhiguo Long, Steven Schockaert, Sanjiang Li |
Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Marco Console, Paolo Guagliardo, Leonid Libkin |
Approximations and Refinements of Certain Answers via Many-Valued Logics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia |
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, James P. Delgrande, Frank Wolter (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Seyed Mehran Kazemi, David Poole 0001 |
Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ringo Baumann |
Characterizing Equivalence Notions for Labelling-Based Semantics. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Hannes Strass, Johannes Peter Wallner |
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query Inseparability for Description Logic Knowledge Bases. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Salem Benferhat, Karim Tabia |
Reasoning with Uncertain Inputs in Possibilistic Networks. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
A Formalization of Programs in First-Order Logic with a Discrete Linear Order. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | |
Preface. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Julian Gutierrez 0001, Paul Harrenstein, Michael J. Wooldridge |
Reasoning about Equilibria in Game-Like Concurrent Systems. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
On Egalitarian Belief Merging. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Sjur Kristoffer Dyrkolbotn |
How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Loizos Michael |
Simultaneous Learning and Prediction. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Viachaslau Sazonau, Uli Sattler, Gavin Brown 0001 |
Predicting Performance of OWL Reasoners: Locally or Globally? |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan |
Answering Instance Queries Relaxed by Concept Similarity. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Peng Zhang 0021, Jochen Renz |
Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Fabio Patrizi, Stavros Vassos |
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract). |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | |
Area Chairs and Program Committee. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Sylvie Doutre, Andreas Herzig, Laurent Perrussel |
A Dynamic Logic Framework for Abstract Argumentation. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Yuping Shen, Xishun Zhao |
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Davide Grossi, Wiebe van der Hoek |
Justified Beliefs by Justified Arguments. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Aucher |
Axioms .2 and .4 as Interaction Axioms. |
KR |
2014 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license