Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak |
On Finite Entailment of Non-Local Queries in Description Logics. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emile van Krieken, Erman Acar, Frank van Harmelen |
Analyzing Differentiable Fuzzy Implications. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Toussaint, Paolo Guagliardo, Leonid Libkin |
Knowledge-Preserving Certain Answers for SQL-like Queries. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo, Antonio Di Stasio 0001, Moshe Y. Vardi, Shufang Zhu 0001 |
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Morak, Lukás Chrpa, Wolfgang Faber 0001, Daniel Fiser |
On the Reversibility of Actions in Planning. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Labai, Magdalena Ortiz 0001, Mantas Simkus |
An ExpTime Upper Bound for ALC with Integers. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Console, Matthias F. J. Hofer, Leonid Libkin |
Reasoning about Measures of Unmeasurable Sets. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guy Mailly, Julien Rossit |
Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
Symbolic Solutions for Symbolic Constraint Satisfaction Problems. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Magdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek |
SAT-Based ATL Satisfiability Checking. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel de Leng, Fredrik Heintz |
Partial-State Progression for Stream Reasoning with Metric Temporal Logic. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis |
Probabilistic Coalition Structure Generation. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Ronald de Haan |
Hunting for Tractable Languages for Judgment Aggregation. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Giovanni Amendola, Francesco Ricca, Mirek Truszczynski |
A Generator of Hard 2QBF Formulas and ASP Programs. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Ronald de Haan |
A Parameterized Complexity View on Description Logic Reasoning. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Marco Console, Paolo Guagliardo, Leonid Libkin |
Propositional and Predicate Logics of Incomplete Information. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Nico Potyka |
Continuous Dynamical Systems for Weighted Bipolar Argumentation. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Ringo Baumann, Markus Ulbricht 0001 |
If Nothing Is Accepted - Repairing Argumentation Frameworks. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Anthony Hunter, Sylwia Polberg, Nico Potyka |
Updating Belief in Arguments in Epistemic Graphs. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak |
Finite Query Answering in Expressive Description Logics with Transitive Roles. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Francesco Belardinelli, Catalin Dima, Aniello Murano |
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Stephanie McIntyre, Alexander Borgida, David Toman 0001, Grant E. Weddell |
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Nandini Ramanan, Gautam Kunapuli, Tushar Khot, Bahare Fatemi, Seyed Mehran Kazemi, David Poole 0001, Kristian Kersting, Sriraam Natarajan |
Structure Learning for Relational Logistic Regression: An Ensemble Approach. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Pavel Naumov, Kevin Ros |
Strategic Coalitions in Systems with Catastrophic Failures. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann |
Towards Belief Contraction without Compactness. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Paulo T. Guerra, Renata Wassermann |
Two AGM-Style Characterizations of Model Repair. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Cristina Civili, Leonid Libkin |
Approximating Certainty in Querying Data and Metadata. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Hiroyuki Kido 0001 |
Bayesian Model Selection in Statistical Construction of Justification. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Jori Bomanson, Tomi Janhunen, Antonius Weinzierl |
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Benjamin Zarrieß |
Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Victor David |
Measuring Similarity between Logical Arguments. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Arindam Mitra, Chitta Baral, Peter Clark |
Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Zeynep G. Saribatur, Thomas Eiter |
Omission-Based Abstraction for Answer Set Programs. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001 |
The Window Validity Problem in Rule-Based Stream Reasoning. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
A Novel Automata-Theoretic Approach to Timeline-Based Planning. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki |
ExactLearner: A Tool for Exact Learning of EL Ontologies. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Gabriele Kern-Isberner |
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Da Shen, Yuliya Lierler |
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Jens Claßen |
Symbolic Verification of Golog Programs with First-Order BDDs. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Adrian Haret, Arianna Novaro, Umberto Grandi |
Preference Aggregation with Incomplete CP-Nets. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Joohyung Lee 0002, Zhun Yang |
Computing Logic Programs with Ordered Disjunction Using asprin. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher |
Exploiting Treewidth for Counting Projected Answer Sets. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin |
Changing Observations in Epistemic Temporal Logic. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Jiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks 0001, Huajun Chen |
Knowledge-Based Transfer Learning Explanation. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Liangda Fang, Kewen Wang 0001, Zhe Wang 0001, Ximing Wen |
Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | James P. Delgrande, Pavlos Peppas |
Incorporating Relevance in Epistemic States in Belief Revision. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
Approximating Perfect Recall When Model Checking Strategic Abilities. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Meir Friedenberg, Joseph Y. Halpern |
Combining the Causal Judgments of Experts with Possibly Different Focus Areas. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan |
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis |
Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Richard Booth 0001, Jake Chandler |
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Alisa Kovtunova, Rafael Peñaloza |
Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Pavlos Peppas, Mary-Anne Williams |
Parametrised Difference Revision. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
A SAT-Based Approach For PSPACE Modal Logics. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz 0001, Mantas Simkus |
Relaxing and Restraining Queries for OBDA - Extended Abstract. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Kristijonas Cyras, Tiago Oliveira 0002 |
Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
Finite LTL Synthesis with Environment Assumptions and Quality Measures. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Henry Prakken |
Probabilistic Strength of Arguments with Structure. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo |
Extension Enforcement under Grounded Semantics in Abstract Argumentation. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel |
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Loris Bozzato, Luciano Serafini, Thomas Eiter |
Reasoning with Justifiable Exceptions in Contextual Hierarchies. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Johannes Marti, Leif Sabellek |
Query Expressibility and Verification in Ontology-Based Data Access. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano |
Reachability Analysis for Neural Agent-Environment Systems. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari |
An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr 0001, João Leite 0001, Stefan Woltran |
Variable Elimination for DLP-Functions. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza |
Making Repairs in Description Logics More Gentle. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka |
Quantified Markov Logic Networks. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis |
Studies in Credibility-Limited Base Revision. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Mario Alviano, Javier Romero 0003, Torsten Schaub |
Preference Relations by Approximation. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Michael Thielscher, Francesca Toni, Frank Wolter (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet |
Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Introducing Temporal Stable Models for Linear Dynamic Logic. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Domenico Lembo, Riccardo Rosati 0001, Domenico Fabio Savo |
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre |
Probabilistic Abstract Argumentation Based on SCC Decomposability. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | David Carral, Irina Dragoste, Markus Krötzsch |
The Combined Approach to Query Answering in Horn-ALCHOIQ. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Henrique Viana, João F. L. Alcântara |
Propositional Belief Merging with OWA Operators. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Xiaoyu Ge, Jochen Renz, Hua Hua |
Towards Explainable Inference about Object Motion using Qualitative Reasoning. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Joohyung Lee 0002, Yi Wang 0048 |
Weight Learning in a Probabilistic Extension of Answer Set Programs. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Hua Hua, Jochen Renz, Xiaoyu Ge |
Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
Synthesis under Assumptions. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Alexander Bochman |
On Laws and Counterfactuals in Causal Reasoning. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Sébastien Konieczny, Pierre Marquis, Srdjan Vesic |
New Inference Relations from Maximal Consistent Subsets. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Jorge Fandinno, Luis Fariñas del Cerro |
Constructive Logic Covers Argumentation and Logic Programming. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny, Nicolas Maudet |
Gradual Semantics Accounting for Similarity between Arguments. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Víctor Gutiérrez-Basulto, Steven Schockaert |
From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Bastien Maubert, Aniello Murano |
Reasoning about Knowledge and Strategies under Hierarchical Information. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato 0001 |
iCon: A Diagrammatic Theorem Prover for Ontologies. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006, Yun Bai 0001, Weisheng Si |
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Veronika Thost |
Metric Temporal Extensions of DL-Lite and Interval-Rigid Names. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan |
Query Answering for Rough EL Ontologies. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Federico Cerutti 0001, Matthias Thimm |
A General Approach to Reasoning with Probabilities - Extended Abstract. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Kaya Deuser, Pavel Naumov |
Navigability with Bounded Recall. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Benedict Wright, Robert Mattmüller, Bernhard Nebel |
Compiling Away Soft Trajectory Constraints in Planning. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Giovanni Casini, Eduardo Fermé, Thomas Meyer 0002, Ivan Varzinczak |
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Dragan Doder |
Gradual Semantics for Weighted Graphs: An Unifying Approach. |
KR |
2018 |
DBLP BibTeX RDF |
|
1 | Nicolas Schwind, Sébastien Konieczny, Pierre Marquis |
On Belief Promotion. |
KR |
2018 |
DBLP BibTeX RDF |
|