Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kr/kr2020.bht:"
download as .bib file
@inproceedings{DBLP:conf/kr/0001CBT20,
author = {Antonio Rago and
Oana Cocarascu and
Christos Bechlivanidis and
Francesca Toni},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Argumentation as a Framework for Interactive Explanations for Recommendations},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {805--815},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/83},
doi = {10.24963/KR.2020/83},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/0001CBT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Aamer0STB20,
author = {Heba Aamer and
Bart Bogaerts and
Dimitri Surinx and
Eugenia Ternovska and
Jan Van den Bussche},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Inputs, Outputs, and Composition in the Logic of Information Flows},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {2--11},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/1},
doi = {10.24963/KR.2020/1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Aamer0STB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AbboudCD20,
author = {Ralph Abboud and
{\.I}smail {\.I}lkan Ceylan and
Radoslav Dimitrov},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On the Approximability of Weighted Model Integration on {DNF} Structures},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {828--837},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/85},
doi = {10.24963/KR.2020/85},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AbboudCD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AcarP20,
author = {Erman Acar and
Rafael Pe{\~{n}}aloza},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Reasoning with Contextual Knowledge and Influence Diagrams},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {12--21},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/2},
doi = {10.24963/KR.2020/2},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AcarP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AkintundeBKL20,
author = {Michael E. Akintunde and
Elena Botoeva and
Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {22--32},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/3},
doi = {10.24963/KR.2020/3},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AkintundeBKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlfanoCGPT20,
author = {Gianvincenzo Alfano and
Marco Calautti and
Sergio Greco and
Francesco Parisi and
Irina Trubitsyna},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity
and Approximation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {33--43},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/4},
doi = {10.24963/KR.2020/4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AlfanoCGPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Alviano20,
author = {Mario Alviano},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Answer Set Programming with Composed Predicate Names},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {44--48},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/5},
doi = {10.24963/KR.2020/5},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Alviano20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AmorFST20,
author = {Nahla Ben Amor and
H{\'{e}}l{\`{e}}ne Fargier and
R{\'{e}}gis Sabbadin and
Meriem Trabelsi},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Ordinal Polymatrix Games with Incomplete Information},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {99--108},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/11},
doi = {10.24963/KR.2020/11},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AmorFST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AspisBR020,
author = {Yaniv Aspis and
Krysia Broda and
Alessandra Russo and
Jorge Lobo},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Stable and Supported Semantics in Continuous Vector Spaces},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {59--68},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/7},
doi = {10.24963/KR.2020/7},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AspisBR020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AudemardKM20,
author = {Gilles Audemard and
Fr{\'{e}}d{\'{e}}ric Koriche and
Pierre Marquis},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On Tractable {XAI} Queries based on Compiled Representations},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {838--849},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/86},
doi = {10.24963/KR.2020/86},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AudemardKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BalducciniGPS20,
author = {Marcello Balduccini and
Michael Gelfond and
Enrico Pontelli and
Tran Cao Son},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {An Answer Set Programming Framework for Reasoning about Agents' Beliefs
and Truthfulness of Statements},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {69--78},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/8},
doi = {10.24963/KR.2020/8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BalducciniGPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannB020,
author = {Ringo Baumann and
Gerhard Brewka and
Markus Ulbricht},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Comparing Weak Admissibility Semantics to their Dung-style Counterparts
- Reduct, Modularization, and Strong Equivalence in Abstract Argumentation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {79--88},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/9},
doi = {10.24963/KR.2020/9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaumannB020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliM20,
author = {Francesco Belardinelli and
Vadim Malvone},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A Three-valued Approach to Strategic Abilities under Imperfect Information},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {89--98},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/10},
doi = {10.24963/KR.2020/10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BenediktBJT20,
author = {Michael Benedikt and
Pierre Bourhis and
Louis Jachiet and
Efthymia Tsamoura},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Balancing Expressiveness and Inexpressiveness in View Design},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {109--118},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/12},
doi = {10.24963/KR.2020/12},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BenediktBJT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Benzmuller20,
author = {Christoph Benzm{\"{u}}ller},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A (Simplified) Supreme Being Necessarily Exists, says the Computer:
Computationally Explored Variants of G{\"{o}}del's Ontological
Argument},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {779--789},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/80},
doi = {10.24963/KR.2020/80},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Benzmuller20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BernardiniFF20,
author = {Sara Bernardini and
Fabio Fagnani and
Santiago Franco},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {An Optimization Approach to Robust Goal Obfuscation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {119--129},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/13},
doi = {10.24963/KR.2020/13},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BernardiniFF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BertoglioLZZ20,
author = {Nicola Bertoglio and
Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Explanatory Diagnosis of Discrete-Event Systems with Temporal Information
and Smart Knowledge-Compilation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {130--140},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/14},
doi = {10.24963/KR.2020/14},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BertoglioLZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuB20,
author = {Meghyn Bienvenu and
Camille Bourgaux},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity
Analysis and Links with Abstract Argumentation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {141--151},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/15},
doi = {10.24963/KR.2020/15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BienvenuB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonetGGPR20,
author = {Blai Bonet and
Giuseppe De Giacomo and
Hector Geffner and
Fabio Patrizi and
Sasha Rubin},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {High-level Programming via Generalized Planning and {LTL} Synthesis},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {152--161},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/16},
doi = {10.24963/KR.2020/16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BonetGGPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BozzelliMP20,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Module Checking of Pushdown Multi-agent Systems},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {162--171},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/17},
doi = {10.24963/KR.2020/17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BozzelliMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BuckinghamKS20,
author = {David Buckingham and
Daniel Kasenberg and
Matthias Scheutz},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Simultaneous Representation of Knowledge and Belief for Epistemic
Planning with Belief Revision},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {172--181},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/18},
doi = {10.24963/KR.2020/18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BuckinghamKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CabalarFSW20,
author = {Pedro Cabalar and
Jorge Fandinno and
Torsten Schaub and
Philipp Wanko},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A Uniform Treatment of Aggregates and Constraints in Hybrid {ASP}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {193--202},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/20},
doi = {10.24963/KR.2020/20},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CabalarFSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CabalarS20,
author = {Pedro Cabalar and
Paulo E. Santos},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Spatial Reasoning about String Loops and Holes in Temporal {ASP}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {182--192},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/19},
doi = {10.24963/KR.2020/19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CabalarS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalauttiGMT20,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Preference-based Inconsistency-Tolerant Query Answering under Existential
Rules},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {203--212},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/21},
doi = {10.24963/KR.2020/21},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CalauttiGMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CasiniMV20,
author = {Giovanni Casini and
Thomas Meyer and
Ivan Varzinczak},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Rational Defeasible Belief Change},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {213--222},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/22},
doi = {10.24963/KR.2020/22},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CasiniMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CeylanLMMV20,
author = {{\.I}smail {\.I}lkan Ceylan and
Thomas Lukasiewicz and
Enrico Malizia and
Cristian Molinaro and
Andrius Vaicenavicius},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Explanations for Negative Query Answers under Existential Rules},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {223--232},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/23},
doi = {10.24963/KR.2020/23},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CeylanLMMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Chandler020,
author = {Jake Chandler and
Richard Booth},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Revision by Conditionals: From Hook to Arrow},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {233--242},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/24},
doi = {10.24963/KR.2020/24},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Chandler020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChenLGPC20,
author = {Jiaoyan Chen and
Freddy L{\'{e}}cu{\'{e}} and
Yuxia Geng and
Jeff Z. Pan and
Huajun Chen},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Ontology-guided Semantic Composition for Zero-shot Learning},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {850--854},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/87},
doi = {10.24963/KR.2020/87},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ChenLGPC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChiattiMD20,
author = {Agnese Chiatti and
Enrico Motta and
Enrico Daga},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Towards a Framework for Visual Intelligence in Service Robotics: Epistemic
Requirements and Gap Analysis},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {905--916},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/93},
doi = {10.24963/KR.2020/93},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ChiattiMD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CimaLP20,
author = {Gianluca Cima and
Maurizio Lenzerini and
Antonella Poggi},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Non-Monotonic Ontology-based Abstractions of Data Services},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {243--252},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/25},
doi = {10.24963/KR.2020/25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CimaLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ClassenD20,
author = {Jens Cla{\ss}en and
James P. Delgrande},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Dyadic Obligations over Complex Actions as Deontic Constraints in
the Situation Calculus},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {253--263},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/26},
doi = {10.24963/KR.2020/26},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ClassenD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ConsoleHL20,
author = {Marco Console and
Matthias F. J. Hofer and
Leonid Libkin},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Reasoning about Measures of Unmeasurable Sets},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {264--273},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/27},
doi = {10.24963/KR.2020/27},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ConsoleHL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CooperHMPV20,
author = {Martin C. Cooper and
Andreas Herzig and
Fr{\'{e}}d{\'{e}}ric Maris and
Elise Perrotin and
Julien Vianey},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Lightweight Parallel Multi-Agent Epistemic Planning},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {274--283},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/28},
doi = {10.24963/KR.2020/28},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CooperHMPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DAsaroSRR20,
author = {Fabio Aurelio D'Asaro and
Matteo Spezialetti and
Luca Raggioli and
Silvia Rossi},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Towards an Inductive Logic Programming Approach for Explaining Black-Box
Preference Learning Systems},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {855--859},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/88},
doi = {10.24963/KR.2020/88},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DAsaroSRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DabrowskiJOO20,
author = {Konrad K. Dabrowski and
Peter Jonsson and
Sebastian Ordyniak and
George Osipov},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Fine-Grained Complexity of Temporal Problems},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {284--293},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/29},
doi = {10.24963/KR.2020/29},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DabrowskiJOO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Delgrande20,
author = {James P. Delgrande},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A Preference-Based Approach to Defeasible Deontic Inference},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {326--335},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/33},
doi = {10.24963/KR.2020/33},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Delgrande20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DvorakRW20,
author = {Wolfgang Dvor{\'{a}}k and
Anna Rapberger and
Stefan Woltran},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Argumentation Semantics under a Claim-centric View: Properties, Expressiveness
and Relation to SETAFs},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {341--350},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/35},
doi = {10.24963/KR.2020/35},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DvorakRW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EngesserMNR20,
author = {Thorsten Engesser and
Robert Mattm{\"{u}}ller and
Bernhard Nebel and
Felicitas Ritter},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Token-based Execution Semantics for Multi-Agent Epistemic Planning},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {351--360},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/36},
doi = {10.24963/KR.2020/36},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EngesserMNR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FengASWL20,
author = {Renyan Feng and
Erman Acar and
Stefan Schlobach and
Yisong Wang and
Wanwei Liu},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On Sufficient and Necessary Conditions in Bounded {CTL:} {A} Forgetting
Approach},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {361--370},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/37},
doi = {10.24963/KR.2020/37},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FengASWL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FigueiraFB20,
author = {Diego Figueira and
Santiago Figueira and
Edwin Pin Baque},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Finite Controllability for Ontology-Mediated Query Answering of {CRPQ}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {381--391},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/39},
doi = {10.24963/KR.2020/39},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FigueiraFB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FigueiraGKMNT20,
author = {Diego Figueira and
Adwait Godbole and
S. Krishna and
Wim Martens and
Matthias Niewerth and
Tina Trautner},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Containment of Simple Conjunctive Regular Path Queries},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {371--380},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/38},
doi = {10.24963/KR.2020/38},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FigueiraGKMNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GanianPSS20,
author = {Robert Ganian and
Tom{\'{a}}s Peitl and
Friedrich Slivovsky and
Stefan Szeider},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Fixed-Parameter Tractability of Dependency {QBF} with Structural Parameters},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {392--402},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/40},
doi = {10.24963/KR.2020/40},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GanianPSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GerasimovaKKPZ20,
author = {Olga Gerasimova and
Stanislav Kikot and
Agi Kurucz and
Vladimir V. Podolskii and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated
Queries with a Covering Axiom},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {403--413},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/41},
doi = {10.24963/KR.2020/41},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GerasimovaKKPZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiacomoFIPR20,
author = {Giuseppe De Giacomo and
Marco Favorito and
Luca Iocchi and
Fabio Patrizi and
Alessandro Ronca},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Temporal Logic Monitoring Rewards via Transducers},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {860--870},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/89},
doi = {10.24963/KR.2020/89},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiacomoFIPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiacomoMM20,
author = {Giuseppe De Giacomo and
Bastien Maubert and
Aniello Murano},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Nondeterministic Strategies and their Refinement in Strategy Logic},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {294--303},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/30},
doi = {10.24963/KR.2020/30},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiacomoMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiacomoSVZ20,
author = {Giuseppe De Giacomo and
Antonio Di Stasio and
Moshe Y. Vardi and
Shufang Zhu},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Two-Stage Technique for LTLf Synthesis Under {LTL} Assumptions},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {304--314},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/31},
doi = {10.24963/KR.2020/31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiacomoSVZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiunchigliaF20,
author = {Fausto Giunchiglia and
Mattia Fumagalli},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Entity Type Recognition - Dealing with the Diversity of Knowledge},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {414--423},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/42},
doi = {10.24963/KR.2020/42},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GiunchigliaF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GogaczGGIM20,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Albert Gutowski and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Filip Murlak},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On Finite Entailment of Non-Local Queries in Description Logics},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {424--433},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/43},
doi = {10.24963/KR.2020/43},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GogaczGGIM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GogaczLOS20,
author = {Tomasz Gogacz and
Sanja Lukumbuzya and
Magdalena Ortiz and
Mantas Simkus},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Datalog Rewritability and Data Complexity of {ALCHOIF} with Closed
Predicates},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {434--444},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/44},
doi = {10.24963/KR.2020/44},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GogaczLOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GottlobMP20,
author = {Georg Gottlob and
Marco Manna and
Andreas Pieris},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Multi-head Guarded Existential Rules Over Fixed Signatures},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {445--454},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/45},
doi = {10.24963/KR.2020/45},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GottlobMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrossiHK20,
author = {Davide Grossi and
Wiebe van der Hoek and
Louwe B. Kuijer},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Logics of Preference when There Is No Best},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {455--464},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/46},
doi = {10.24963/KR.2020/46},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GrossiHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HaldimannKB20,
author = {Jonas Philipp Haldimann and
Gabriele Kern{-}Isberner and
Christoph Beierle},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Syntax Splitting for Iterated Contractions},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {465--475},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/47},
doi = {10.24963/KR.2020/47},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HaldimannKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HalpernP20,
author = {Joseph Y. Halpern and
Evan Piermont},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Dynamic Awareness},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {476--484},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/48},
doi = {10.24963/KR.2020/48},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HalpernP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Hecher20,
author = {Markus Hecher},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Treewidth-aware Reductions of Normal {ASP} to {SAT} - Is Normal {ASP}
Harder than {SAT} after All?},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {485--495},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/49},
doi = {10.24963/KR.2020/49},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Hecher20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Hunter20,
author = {Anthony Hunter},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Reasoning with Inconsistent Knowledge using the Epistemic Approach
to Probabilistic Argumentation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {496--505},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/50},
doi = {10.24963/KR.2020/50},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Hunter20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ibanez-GarciaGS20,
author = {Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Steven Schockaert},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Plausible Reasoning about EL-Ontologies using Concept Interpolation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {506--516},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/51},
doi = {10.24963/KR.2020/51},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Ibanez-GarciaGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JungLPW20,
author = {Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Logical Separability of Incomplete Data under Ontologies},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {517--528},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/52},
doi = {10.24963/KR.2020/52},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/JungLPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JungLZ20,
author = {Jean Christoph Jung and
Carsten Lutz and
Thomas Zeume},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On the Decidability of Expressive Description Logics with Transitive
Closure and Regular Role Expressions},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {529--538},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/53},
doi = {10.24963/KR.2020/53},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/JungLZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kacprzak0P20,
author = {Magdalena Kacprzak and
Artur Niewiadomski and
Wojciech Penczek},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {SAT-Based {ATL} Satisfiability Checking},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {539--549},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/54},
doi = {10.24963/KR.2020/54},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Kacprzak0P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KatzourisA20,
author = {Nikos Katzouris and
Alexander Artikis},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {{WOLED:} {A} tool for Online Learning Weighted Answer Set Rules for
Temporal Reasoning Under Uncertainty},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {790--799},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/81},
doi = {10.24963/KR.2020/81},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KatzourisA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KerenBKP20,
author = {Sarah Keren and
Sara Bernardini and
Kofi Kwapong and
David C. Parkes},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Reasoning About Plan Robustness Versus Plan Cost for Partially Informed
Agents},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {550--559},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/55},
doi = {10.24963/KR.2020/55},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KerenBKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kern-IsbernerBB20,
author = {Gabriele Kern{-}Isberner and
Christoph Beierle and
Gerhard Brewka},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic
Reasoning From Conditional Belief Bases},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {560--571},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/56},
doi = {10.24963/KR.2020/56},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Kern-IsbernerBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KlassenML20,
author = {Toryn Q. Klassen and
Sheila A. McIlraith and
Hector J. Levesque},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Changing Beliefs about Domain Dynamics in the Situation Calculus},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {572--581},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/57},
doi = {10.24963/KR.2020/57},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KlassenML20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KontchakovRWZ20,
author = {Roman Kontchakov and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Boolean Role Inclusions in DL-Lite With and Without Time},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {582--591},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/58},
doi = {10.24963/KR.2020/58},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KontchakovRWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KoopmannDTS20,
author = {Patrick Koopmann and
Warren Del{-}Pinto and
Sophie Tourret and
Renate A. Schmidt},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Signature-Based Abduction for Expressive Description Logics},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {592--602},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/59},
doi = {10.24963/KR.2020/59},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KoopmannDTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KriekenAH20,
author = {Emile van Krieken and
Erman Acar and
Frank van Harmelen},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Analyzing Differentiable Fuzzy Implications},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {893--903},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/92},
doi = {10.24963/KR.2020/92},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KriekenAH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Krotzsch20,
author = {Markus Kr{\"{o}}tzsch},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Computing Cores for Existential Rules with the Standard Chase and
{ASP}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {603--613},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/60},
doi = {10.24963/KR.2020/60},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Krotzsch20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LabaiOS20,
author = {Nadia Labai and
Magdalena Ortiz and
Mantas Simkus},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {An ExpTime Upper Bound for {ALC} with Integers},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {614--623},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/61},
doi = {10.24963/KR.2020/61},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LabaiOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL20,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A First-Order Logic of Limited Belief Based on Possible Worlds},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {624--635},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/62},
doi = {10.24963/KR.2020/62},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LehtonenWJ20,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {An Answer Set Programming Approach to Argumentative Reasoning in the
{ASPIC+} Framework},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {636--646},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/63},
doi = {10.24963/KR.2020/63},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LehtonenWJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeoniFM20,
author = {Massimiliano de Leoni and
Paolo Felli and
Marco Montali},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {315--325},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/32},
doi = {10.24963/KR.2020/32},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LeoniFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MaillyR20,
author = {Jean{-}Guy Mailly and
Julien Rossit},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Argument, {I} Choose You! Preferences and Ranking Semantics in Abstract
Argumentation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {647--651},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/64},
doi = {10.24963/KR.2020/64},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MaillyR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MeloO20,
author = {Alexsander Andrade de Melo and
Mateus de Oliveira Oliveira},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Symbolic Solutions for Symbolic Constraint Satisfaction Problems},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {49--58},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/6},
doi = {10.24963/KR.2020/6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MeloO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MorakC0F20,
author = {Michael Morak and
Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Daniel Fiser},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On the Reversibility of Actions in Planning},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {652--661},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/65},
doi = {10.24963/KR.2020/65},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MorakC0F20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/NguyenSS020,
author = {Van Nguyen and
Vasileiou Loukas Stylianos and
Tran Cao Son and
William Yeoh},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Explainable Planning Using Answer Set Programming},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {662--666},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/66},
doi = {10.24963/KR.2020/66},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/NguyenSS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/NiskanenJ20,
author = {Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {667--671},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/67},
doi = {10.24963/KR.2020/67},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/NiskanenJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/NiskanenJ20a,
author = {Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {{\(\mathrm{\mu}\)}-toksia: An Efficient Abstract Argumentation Reasoner},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {800--804},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/82},
doi = {10.24963/KR.2020/82},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/NiskanenJ20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Penaloza20,
author = {Rafael Pe{\~{n}}aloza},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Towards a Logic of Meta-Analysis},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {672--676},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/68},
doi = {10.24963/KR.2020/68},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Penaloza20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Potyka20,
author = {Nico Potyka},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Bipolar Abstract Argumentation with Dual Attacks and Supports},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {677--686},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/69},
doi = {10.24963/KR.2020/69},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Potyka20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ResinaGWFR20,
author = {Fillipe Resina and
Marco Garapa and
Renata Wassermann and
Eduardo Ferm{\'{e}} and
Maur{\'{\i}}cio D. Lu{\'{\i}}s Reis},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Choosing What to Believe - New Results in Selective Revision},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {687--691},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/70},
doi = {10.24963/KR.2020/70},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ResinaGWFR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ReyEH20,
author = {Simon Rey and
Ulle Endriss and
Ronald de Haan},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Designing Participatory Budgeting Mechanisms Grounded in Judgment
Aggregation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {692--702},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/71},
doi = {10.24963/KR.2020/71},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ReyEH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Richard-Bollans20,
author = {Adam Richard{-}Bollans and
Lucía {Gómez Álvarez} and
Anthony G. Cohn},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Modelling the Polysemy of Spatial Prepositions in Referring Expressions},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {703--712},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/72},
doi = {10.24963/KR.2020/72},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Richard-Bollans20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RienstraSS20,
author = {Tjitze Rienstra and
Claudia Schon and
Steffen Staab},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Concept Contraction in the Description Logic {EL}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {723--732},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/74},
doi = {10.24963/KR.2020/74},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RienstraSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RienstraTKS20,
author = {Tjitze Rienstra and
Matthias Thimm and
Kristian Kersting and
Xiaoting Shao},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Independence and D-separation in Abstract Argumentation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {713--722},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/73},
doi = {10.24963/KR.2020/73},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RienstraTKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RiveretTG20,
author = {R{\'{e}}gis Riveret and
Son N. Tran and
Artur S. d'Avila Garcez},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Neuro-Symbolic Probabilistic Argumentation Machines},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {871--881},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/90},
doi = {10.24963/KR.2020/90},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/RiveretTG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Saint-CyrP20,
author = {Florence Dupin de Saint{-}Cyr and
Henri Prade},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Jokes and Belief Revision},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {336--340},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/34},
doi = {10.24963/KR.2020/34},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Saint-CyrP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SaribaturE20,
author = {Zeynep G. Saribatur and
Thomas Eiter},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {A Semantic Perspective on Omission Abstraction in {ASP}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {733--737},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/75},
doi = {10.24963/KR.2020/75},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SaribaturE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SchwindK20,
author = {Nicolas Schwind and
S{\'{e}}bastien Konieczny},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Non-Prioritized Iterated Revision: Improvement via Incremental Belief
Merging},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {738--747},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/76},
doi = {10.24963/KR.2020/76},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SchwindK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ShiSDC20,
author = {Weijia Shi and
Andy Shih and
Adnan Darwiche and
Arthur Choi},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On Tractable Representations of Binary Neural Networks},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {882--892},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/91},
doi = {10.24963/KR.2020/91},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ShiSDC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Stewart020,
author = {Michael Stewart and
Wei Liu},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Seq2KG: An End-to-End Neural Model for Domain Agnostic Knowledge Graph
(not Text Graph) Construction from Text},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {748--757},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/77},
doi = {10.24963/KR.2020/77},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Stewart020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ToussaintGL20,
author = {Etienne Toussaint and
Paolo Guagliardo and
Leonid Libkin},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Knowledge-Preserving Certain Answers for SQL-like Queries},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {758--767},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/78},
doi = {10.24963/KR.2020/78},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ToussaintGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/UmbricoCOC20,
author = {Alessandro Umbrico and
Gabriella Cortellessa and
Andrea Orlandini and
Amedeo Cesta},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Modeling Affordances and Functioning for Personalized Robotic Assistance},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {917--926},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/94},
doi = {10.24963/KR.2020/94},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/UmbricoCOC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WalegaGKK20,
author = {Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau and
Mark Kaminski and
Egor V. Kostylev},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {DatalogMTL over the Integer Timeline},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {768--777},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/79},
doi = {10.24963/KR.2020/79},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/WalegaGKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ZengSTCLWCM20,
author = {Zhiwei Zeng and
Zhiqi Shen and
Benny Toh Hsiang Tan and
Jing Jih Chin and
Cyril Leung and
Yu Wang and
Ying Chi and
Chunyan Miao},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Explainable and Argumentation-based Decision Making with Qualitative
Preferences for Diagnostics and Prognostics of Alzheimer's Disease},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {816--826},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/84},
doi = {10.24963/KR.2020/84},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ZengSTCLWCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2020,
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
year = {2020},
url = {https://proceedings.kr.org/2020/},
isbn = {978-0-9992411-7-2},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-23 08:52 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
