Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Patrick Rodler, Erich Teppan, Dietmar Jannach |
Randomized Problem-Relaxation Solving for Over-Constrained Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 696-701, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo, Yves Lespérance |
The Nondeterministic Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 216-226, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 629-640, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David Rajaratnam, Michael Thielscher |
Representing and Reasoning with Event Models for Epistemic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 519-528, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Magdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek |
Satisfiability Checking of Strategy Logic with Simple Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 400-410, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Timothy van Bremen, Ondrej Kuzelka |
Lifted Inference with Tree Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 599-608, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Markus Hecher, Rafael Kiesel |
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 269-279, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Spencer Killen, Jia-Huai You |
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 432-441, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 661-664, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 368-378, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo, Antonio Di Stasio 0001, Giuseppe Perelli, Shufang Zhu 0001 |
Synthesis with Mandatory Stop Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 237-246, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 151-161, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli, AnneMarie Borg, Christian Straßer |
Characterizations and Classifications of Argumentative Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 52-62, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 671-675, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Igor Sedlár |
Decidability and Complexity of Some Finitely-valued Dynamic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 570-580, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Everaere, Chouaib Fellah, Sébastien Konieczny, Ramón Pino Pérez |
Borda, Cancellation and Belief Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 291-300, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
Logical Separability of Incomplete Data under Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 517-528, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 223-232, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | James P. Delgrande |
A Preference-Based Approach to Defeasible Deontic Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 326-335, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 506-516, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 560-571, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
DatalogMTL over the Integer Timeline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 768-777, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Boolean Role Inclusions in DL-Lite With and Without Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 582-591, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 274-283, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 22-32, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florence Dupin de Saint-Cyr, Henri Prade |
Jokes and Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 336-340, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 371-380, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 203-212, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Buckingham, Daniel Kasenberg, Matthias Scheutz |
Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 172-181, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 816-826, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Niskanen, Matti Järvisalo |
µ-toksia: An Efficient Abstract Argumentation Reasoner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 800-804, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Meghyn Bienvenu, Camille Bourgaux |
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 141-151, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Hunter |
Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 496-505, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano |
Answer Set Programming with Composed Predicate Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 44-48, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jens Claßen, James P. Delgrande |
Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 253-263, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura |
Balancing Expressiveness and Inexpressiveness in View Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 109-118, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Lakemeyer, Hector J. Levesque |
A First-Order Logic of Limited Belief Based on Possible Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 624-635, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tjitze Rienstra, Claudia Schon, Steffen Staab |
Concept Contraction in the Description Logic EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 723-732, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 779-789, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Niskanen, Matti Järvisalo |
Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 667-671, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Umbrico, Gabriella Cortellessa, Andrea Orlandini, Amedeo Cesta |
Modeling Affordances and Functioning for Personalized Robotic Assistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 917-926, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider |
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 392-402, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Schwind, Sébastien Konieczny |
Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 738-747, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nico Potyka |
Bipolar Abstract Argumentation with Dual Attacks and Supports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 677-686, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 193-202, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Georg Gottlob, Marco Manna, Andreas Pieris |
Multi-head Guarded Existential Rules Over Fixed Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 445-454, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 703-712, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erman Acar, Rafael Peñaloza |
Reasoning with Contextual Knowledge and Influence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 12-21, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli, Vadim Malvone |
A Three-valued Approach to Strategic Abilities under Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 89-98, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 361-370, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Felicitas Ritter |
Token-based Execution Semantics for Multi-Agent Epistemic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 351-360, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
Finite Controllability for Ontology-Mediated Query Answering of CRPQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 381-391, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sara Bernardini, Fabio Fagnani, Santiago Franco |
An Optimization Approach to Robust Goal Obfuscation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 119-129, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 69-78, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Van Nguyen 0001, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh 0001 |
Explainable Planning Using Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 662-666, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 790-799, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Giunchiglia, Mattia Fumagalli |
Entity Type Recognition - Dealing with the Diversity of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 414-423, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 550-559, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi |
On Tractable Representations of Binary Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 882-892, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Massimiliano de Leoni, Paolo Felli, Marco Montali |
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 315-325, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 434-444, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Paulo E. Santos |
Spatial Reasoning about String Loops and Holes in Temporal ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 182-192, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Cima, Maurizio Lenzerini, Antonella Poggi |
Non-Monotonic Ontology-based Abstractions of Data Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 243-252, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo 0001 |
Stable and Supported Semantics in Continuous Vector Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 59-68, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 855-859, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov |
On the Approximability of Weighted Model Integration on DNF Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 828-837, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Rago 0001, Oana Cocarascu, Christos Bechlivanidis, Francesca Toni |
Argumentation as a Framework for Interactive Explanations for Recommendations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 805-815, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo, Bastien Maubert, Aniello Murano |
Nondeterministic Strategies and their Refinement in Strategy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 294-303, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![, 978-0-9992411-7-2 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 529-538, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Evan Piermont |
Dynamic Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 476-484, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 2-11, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 687-691, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zeynep G. Saribatur, Thomas Eiter |
A Semantic Perspective on Omission Abstraction in ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 733-737, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle |
Syntax Splitting for Iterated Contractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 465-475, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jake Chandler, Richard Booth 0001 |
Revision by Conditionals: From Hook to Arrow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 233-242, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov |
Fine-Grained Complexity of Temporal Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 284-293, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt |
Signature-Based Abduction for Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 592-602, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nahla Ben Amor, Hélène Fargier, Régis Sabbadin, Meriem Trabelsi |
Ordinal Polymatrix Games with Incomplete Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 99-108, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 33-43, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Régis Riveret, Son N. Tran, Artur S. d'Avila Garcez |
Neuro-Symbolic Probabilistic Argumentation Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 871-881, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Casini, Thomas Meyer 0002, Ivan Varzinczak |
Rational Defeasible Belief Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 213-222, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 341-350, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer |
Logics of Preference when There Is No Best. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 455-464, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Aniello Murano, Adriano Peron |
Module Checking of Pushdown Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 162-171, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 79-88, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca |
Temporal Logic Monitoring Rewards via Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 860-870, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Markus Krötzsch |
Computing Cores for Existential Rules with the Standard Chase and ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 603-613, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tjitze Rienstra, Matthias Thimm, Kristian Kersting, Xiaoting Shao |
Independence and D-separation in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 713-722, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 152-161, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Markus Hecher |
Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All? ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 485-495, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Rey, Ulle Endriss, Ronald de Haan |
Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 692-702, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
Changing Beliefs about Domain Dynamics in the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 572-581, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Peñaloza |
Towards a Logic of Meta-Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 672-676, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 748-757, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 850-854, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Frédéric Koriche, Pierre Marquis |
On Tractable XAI Queries based on Compiled Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 838-849, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 905-916, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 636-646, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 403-413, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|