| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patrick Rodler, Erich Teppan, Dietmar Jannach |
Randomized Problem-Relaxation Solving for Over-Constrained Schedules.  |
KR  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance |
The Nondeterministic Situation Calculus. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen, Leendert van der Torre |
A Principle-based Analysis of Abstract Agent Argumentation Semantics. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | David Rajaratnam, Michael Thielscher |
Representing and Reasoning with Event Models for Epistemic Planning. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek |
Satisfiability Checking of Strategy Logic with Simple Goals. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy van Bremen, Ondrej Kuzelka |
Lifted Inference with Tree Axioms. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Markus Hecher, Rafael Kiesel |
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Spencer Killen, Jia-Huai You |
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero |
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk |
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Antonio Di Stasio 0001, Giuseppe Perelli, Shufang Zhu 0001 |
Synthesis with Mandatory Stop Actions. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Bresson, Johanne Cohen, Eyke Hüllermeier, Christophe Labreuche, Michèle Sebag |
On the Identifiability of Hierarchical Decision Models. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, AnneMarie Borg, Christian Straßer |
Characterizations and Classifications of Argumentative Entailments. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Matthias König 0002, Stefan Woltran |
On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Sedlár |
Decidability and Complexity of Some Finitely-valued Dynamic Logics. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Everaere, Chouaib Fellah, Sébastien Konieczny, Ramón Pino Pérez |
Borda, Cancellation and Belief Merging. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
Logical Separability of Incomplete Data under Ontologies. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius |
Explanations for Negative Query Answers under Existential Rules. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande |
A Preference-Based Approach to Defeasible Deontic Inference. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto, Steven Schockaert |
Plausible Reasoning about EL-Ontologies using Concept Interpolation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka |
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
DatalogMTL over the Integer Timeline. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Boolean Role Inclusions in DL-Lite With and Without Time. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey |
Lightweight Parallel Multi-Agent Epistemic Planning. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Dupin de Saint-Cyr, Henri Prade |
Jokes and Belief Revision. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Adwait Godbole, S. Krishna 0004, Wim Martens, Matthias Niewerth, Tina Trautner |
Containment of Simple Conjunctive Regular Path Queries. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Buckingham, Daniel Kasenberg, Matthias Scheutz |
Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiwei Zeng, Zhiqi Shen 0001, Benny Toh Hsiang Tan, Jing Jih Chin, Cyril Leung, Yu Wang 0108, Ying Chi, Chunyan Miao |
Explainable and Argumentation-based Decision Making with Qualitative Preferences for Diagnostics and Prognostics of Alzheimer's Disease. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Niskanen, Matti Järvisalo |
µ-toksia: An Efficient Abstract Argumentation Reasoner. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Camille Bourgaux |
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hunter |
Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic Argumentation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano |
Answer Set Programming with Composed Predicate Names. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Claßen, James P. Delgrande |
Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura |
Balancing Expressiveness and Inexpressiveness in View Design. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
A First-Order Logic of Limited Belief Based on Possible Worlds. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tjitze Rienstra, Claudia Schon, Steffen Staab |
Concept Contraction in the Description Logic EL. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller |
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Niskanen, Matti Järvisalo |
Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Umbrico, Gabriella Cortellessa, Andrea Orlandini, Amedeo Cesta |
Modeling Affordances and Functioning for Personalized Robotic Assistance. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Ganian, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider |
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Schwind, Sébastien Konieczny |
Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Potyka |
Bipolar Abstract Argumentation with Dual Attacks and Supports. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Marco Manna, Andreas Pieris |
Multi-head Guarded Existential Rules Over Fixed Signatures. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Richard-Bollans, Lucía Gómez Álvarez, Anthony G. Cohn 0001 |
Modelling the Polysemy of Spatial Prepositions in Referring Expressions. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Erman Acar, Rafael Peñaloza |
Reasoning with Contextual Knowledge and Influence Diagrams. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Vadim Malvone |
A Three-valued Approach to Strategic Abilities under Imperfect Information. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu |
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Felicitas Ritter |
Token-based Execution Semantics for Multi-Agent Epistemic Planning. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
Finite Controllability for Ontology-Mediated Query Answering of CRPQ. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Bernardini, Fabio Fagnani, Santiago Franco |
An Optimization Approach to Robust Goal Obfuscation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son |
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Nguyen 0001, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh 0001 |
Explainable Planning Using Answer Set Programming. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Katzouris, Alexander Artikis |
WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Mattia Fumagalli |
Entity Type Recognition - Dealing with the Diversity of Knowledge. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Keren, Sara Bernardini, Kofi Kwapong, David C. Parkes |
Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi |
On Tractable Representations of Binary Neural Networks. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano de Leoni, Paolo Felli, Marco Montali |
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus |
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Paulo E. Santos |
Spatial Reasoning about String Loops and Holes in Temporal ASP. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Cima, Maurizio Lenzerini, Antonella Poggi |
Non-Monotonic Ontology-based Abstractions of Data Services. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo 0001 |
Stable and Supported Semantics in Continuous Vector Spaces. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Aurelio D'Asaro, Matteo Spezialetti, Luca Raggioli, Silvia Rossi 0002 |
Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov |
On the Approximability of Weighted Model Integration on DNF Structures. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Rago 0001, Oana Cocarascu, Christos Bechlivanidis, Francesca Toni |
Argumentation as a Framework for Interactive Explanations for Recommendations. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Bastien Maubert, Aniello Murano |
Nondeterministic Strategies and their Refinement in Strategy Logic. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Esra Erdem 0001, Michael Thielscher (eds.) |
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. |
KR |
2020 |
DBLP BibTeX RDF |
|
| 1 | Jean Christoph Jung, Carsten Lutz, Thomas Zeume |
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Evan Piermont |
Dynamic Awareness. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Heba Aamer, Bart Bogaerts 0001, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche |
Inputs, Outputs, and Composition in the Logic of Information Flows. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fillipe Resina, Marco Garapa, Renata Wassermann, Eduardo Fermé, Maurício D. Luís Reis |
Choosing What to Believe - New Results in Selective Revision. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynep G. Saribatur, Thomas Eiter |
A Semantic Perspective on Omission Abstraction in ASP. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle |
Syntax Splitting for Iterated Contractions. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jake Chandler, Richard Booth 0001 |
Revision by Conditionals: From Hook to Arrow. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov |
Fine-Grained Complexity of Temporal Problems. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt |
Signature-Based Abduction for Expressive Description Logics. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nahla Ben Amor, Hélène Fargier, Régis Sabbadin, Meriem Trabelsi |
Ordinal Polymatrix Games with Incomplete Information. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Riveret, Son N. Tran, Artur S. d'Avila Garcez |
Neuro-Symbolic Probabilistic Argumentation Machines. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Casini, Thomas Meyer 0002, Ivan Varzinczak |
Rational Defeasible Belief Change. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Anna Rapberger, Stefan Woltran |
Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer |
Logics of Preference when There Is No Best. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Aniello Murano, Adriano Peron |
Module Checking of Pushdown Multi-agent Systems. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ringo Baumann, Gerhard Brewka, Markus Ulbricht 0001 |
Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca |
Temporal Logic Monitoring Rewards via Transducers. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Krötzsch |
Computing Cores for Existential Rules with the Standard Chase and ASP. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tjitze Rienstra, Matthias Thimm, Kristian Kersting, Xiaoting Shao |
Independence and D-separation in Abstract Argumentation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin |
High-level Programming via Generalized Planning and LTL Synthesis. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Hecher |
Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All? |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Rey, Ulle Endriss, Ronald de Haan |
Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
Changing Beliefs about Domain Dynamics in the Situation Calculus. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Peñaloza |
Towards a Logic of Meta-Analysis. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Stewart, Wei Liu 0006 |
Seq2KG: An End-to-End Neural Model for Domain Agnostic Knowledge Graph (not Text Graph) Construction from Text. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaoyan Chen, Freddy Lécué, Yuxia Geng, Jeff Z. Pan, Huajun Chen |
Ontology-guided Semantic Composition for Zero-shot Learning. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Frédéric Koriche, Pierre Marquis |
On Tractable XAI Queries based on Compiled Representations. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Agnese Chiatti, Enrico Motta, Enrico Daga |
Towards a Framework for Visual Intelligence in Service Robotics: Epistemic Requirements and Gap Analysis. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo |
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license