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/kr2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/kr/0001GGS23,
author = {Sourav Chakraborty and
Avijeet Ghosh and
Sujata Ghosh and
Fran{\c{c}}ois Schwarzentruber},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {On Simple Expectations and Observations of Intelligent Agents: {A}
Complexity Study},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {136--145},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/14},
doi = {10.24963/KR.2023/14},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/0001GGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0001LT23,
author = {Antonio Rago and
Hengzhi Li and
Francesca Toni},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Interactive Explanations by Conflict Resolution via Argumentative
Exchanges},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {582--592},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/57},
doi = {10.24963/KR.2023/57},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/0001LT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0002C23,
author = {Lukas Gerlach and
David Carral},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Do Repeat Yourself: Understanding Sufficient Conditions for Restricted
Chase Non-Termination},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {301--310},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/30},
doi = {10.24963/KR.2023/30},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/0002C23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0002FBL23,
author = {Daxin Liu and
Qihui Feng and
Vaishak Belle and
Gerhard Lakemeyer},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Concerning Measures in a First-order Logic with Actions and Meta-beliefs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {451--460},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/44},
doi = {10.24963/KR.2023/44},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/0002FBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0007G0K23,
author = {Shuwen Liu and
Bernardo Cuenca Grau and
Ian Horrocks and
Egor V. Kostylev},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Revisiting Inferential Benchmarks for Knowledge Graph Completion},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {461--471},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/45},
doi = {10.24963/KR.2023/45},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/0007G0K23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Aguilera-Ventura23,
author = {Carlos Aguilera{-}Ventura and
Andreas Herzig and
Xinghan Liu and
Emiliano Lorini},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Counterfactual Reasoning via Grounded Distance},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {2--11},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/1},
doi = {10.24963/KR.2023/1},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Aguilera-Ventura23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Aleixo0023,
author = {Frederico Aleixo and
Matthias Knorr and
Jo{\~{a}}o Leite},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Revising Boolean Logical Models of Biological Regulatory Networks},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {12--22},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/2},
doi = {10.24963/KR.2023/2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Aleixo0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlmogK23,
author = {Shaked Almog and
Meir Kalech},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Diagnosis for Post Concept Drift Decision Trees Repair},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {23--33},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/3},
doi = {10.24963/KR.2023/3},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AlmogK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AltKHKJB23,
author = {Benjamin Alt and
Franklin Kenghagho Kenfack and
Andrei Haidu and
Darko Katic and
Rainer J{\"{a}}kel and
Michael Beetz},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Knowledge-Driven Robot Program Synthesis from Human {VR} Demonstrations},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {34--43},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/4},
doi = {10.24963/KR.2023/4},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AltKHKJB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlvarezRS23,
author = {Lucía {Gómez Álvarez} and
Sebastian Rudolph and
Hannes Strass},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Pushing the Boundaries of Tractable Multiperspective Reasoning: {A}
Deduction Calculus for Standpoint {EL+}},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {333--343},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/33},
doi = {10.24963/KR.2023/33},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AlvarezRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AngilicaABIP23,
author = {Denise Angilica and
Mario Avolio and
Giovanni Beraldi and
Giovambattista Ianni and
Francesco Pacenza},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {From Vision to Execution: Enabling Knowledge Representation and Reasoning
in Hybrid Intelligent Robots Playing Mobile Games},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {44--54},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/5},
doi = {10.24963/KR.2023/5},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AngilicaABIP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArieliH23,
author = {Ofer Arieli and
Jesse Heyninck},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered
Preferences},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {55--64},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/6},
doi = {10.24963/KR.2023/6},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ArieliH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArtaleGGMM23,
author = {Alessandro Artale and
Luca Geatti and
Nicola Gigante and
Andrea Mazzullo and
Angelo Montanari},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {A Singly Exponential Transformation of LTL[X, {F]} into Pure Past
{LTL}},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {65--74},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/7},
doi = {10.24963/KR.2023/7},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ArtaleGGMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BarlagHKPV23,
author = {Timon Barlag and
Miika Hannula and
Juha Kontinen and
Nina Pardal and
Jonni Virtema},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Unified Foundations of Team Semantics via Semirings},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {75--85},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/8},
doi = {10.24963/KR.2023/8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BarlagHKPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannH23,
author = {Ringo Baumann and
Anne{-}Marie Heine},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {On Conflict-free Labellings - Realizability, Construction and Patterns
of Redundancy},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {720--725},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/70},
doi = {10.24963/KR.2023/70},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaumannH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliJMM23,
author = {Francesco Belardinelli and
Wojciech Jamroga and
Munyque Mittelmann and
Aniello Murano},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Strategic Abilities of Forgetful Agents in Stochastic Environments},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {726--731},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/71},
doi = {10.24963/KR.2023/71},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliJMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BengelT23,
author = {Lars Bengel and
Matthias Thimm},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Towards Parallelising Extension Construction for Serialisable Semantics
in Abstract Argumentation},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {732--736},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/72},
doi = {10.24963/KR.2023/72},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BengelT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BernreiterK23,
author = {Michael Bernreiter and
Matthias K{\"{o}}nig},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {From Qualitative Choice Logic to Abstract Argumentation},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {737--741},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/73},
doi = {10.24963/KR.2023/73},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BernreiterK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BertholdR023,
author = {Matti Berthold and
Anna Rapberger and
Markus Ulbricht},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Forgetting Aspects in Assumption-Based Argumentation},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {86--96},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/9},
doi = {10.24963/KR.2023/9},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BertholdR023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuB23,
author = {Meghyn Bienvenu and
Camille Bourgaux},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Inconsistency Handling in Prioritized Databases with Universal Constraints:
Complexity Analysis and Links with Active Integrity Constraints},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {97--106},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/10},
doi = {10.24963/KR.2023/10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BienvenuB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuCGI23,
author = {Meghyn Bienvenu and
Gianluca Cima and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Combining Global and Local Merges in Logic-based Entity Resolution},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {742--746},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/74},
doi = {10.24963/KR.2023/74},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BienvenuCGI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BlumelT23,
author = {Lydia Bl{\"{u}}mel and
Matthias Thimm},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Approximating Weakly Preferred Semantics in Abstract Argumentation
through Vacuous Reduct Semantics},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {107--116},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/11},
doi = {10.24963/KR.2023/11},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BlumelT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Bochman23,
author = {Alexander Bochman},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Default Logic as a Species of Causal Reasoning},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {117--126},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/12},
doi = {10.24963/KR.2023/12},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Bochman23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CarbonnelC023,
author = {Cl{\'{e}}ment Carbonnel and
Martin C. Cooper and
Jo{\~{a}}o Marques{-}Silva},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Tractable Explaining of Multivariate Decision Trees},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {127--135},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/13},
doi = {10.24963/KR.2023/13},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CarbonnelC023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CiabattoniR23,
author = {Agata Ciabattoni and
Dmitry Rozplokhas},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Streamlining Input/Output Logics with Sequent Calculi},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {146--155},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/15},
doi = {10.24963/KR.2023/15},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CiabattoniR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CliftonG23,
author = {Ava Clifton and
Charles Gretton},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Property Directed Reachability for Planning Revisited},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {156--166},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/16},
doi = {10.24963/KR.2023/16},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CliftonG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CramerP023,
author = {Marcos Cramer and
Samuele Pollaci and
Bart Bogaerts},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Mathematical Foundations for Joining Only Knowing and Common Knowledge},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {167--177},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/17},
doi = {10.24963/KR.2023/17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CramerP023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CucalaGMK23,
author = {David Tena Cucala and
Bernardo Cuenca Grau and
Boris Motik and
Egor V. Kostylev},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {On the Correspondence Between Monotonic Max-Sum GNNs and Datalog},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {658--667},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/64},
doi = {10.24963/KR.2023/64},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CucalaGMK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DavidFM23,
author = {Claire David and
Nadime Francis and
Victor Marsault},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Run-Based Semantics for RPQs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {178--187},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/18},
doi = {10.24963/KR.2023/18},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DavidFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DemriR23,
author = {St{\'{e}}phane Demri and
Raine R{\"{o}}nnholm},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {How to Manage a Budget with {ATL+}},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {188--197},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/19},
doi = {10.24963/KR.2023/19},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DemriR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DilkasB23,
author = {Paulius Dilkas and
Vaishak Belle},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Synthesising Recursive Functions for First-Order Model Counting: Challenges,
Progress, and Conjectures},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {198--207},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/20},
doi = {10.24963/KR.2023/20},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DilkasB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DrexlerSG23,
author = {Dominik Drexler and
Jendrik Seipp and
Hector Geffner},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Learning Hierarchical Policies by Iteratively Reducing the Width of
Sketch Rules},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {208--218},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/21},
doi = {10.24963/KR.2023/21},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DrexlerSG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EveraereFKP23,
author = {Patricia Everaere and
Chouaib Fellah and
S{\'{e}}bastien Konieczny and
Ram{\'{o}}n Pino P{\'{e}}rez},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Weighted Merging of Propositional Belief Bases},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {219--228},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/22},
doi = {10.24963/KR.2023/22},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/EveraereFKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FaginKL0S23,
author = {Ronald Fagin and
Phokion G. Kolaitis and
Domenico Lembo and
Lucian Popa and
Federico Scafoglieri},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {A Framework for Combining Entity Resolution and Query Answering in
Knowledge Bases},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {229--239},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/23},
doi = {10.24963/KR.2023/23},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FaginKL0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FandinnoL23,
author = {Jorge Fandinno and
Vladimir Lifschitz},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Omega-Completeness of the Logic of Here-and-There and Strong Equivalence
of Logic Programs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {240--251},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/24},
doi = {10.24963/KR.2023/24},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FandinnoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FermeKPS23,
author = {Eduardo Ferm{\'{e}} and
S{\'{e}}bastien Konieczny and
Ram{\'{o}}n Pino P{\'{e}}rez and
Nicolas Schwind},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Credible Models of Belief Update},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {252--261},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/25},
doi = {10.24963/KR.2023/25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FermeKPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Fernandez-Duque23,
author = {David Fern{\'{a}}ndez{-}Duque and
Brett McLean and
Lukas Zenger},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {A Family of Decidable Bi-intuitionistic Modal Logics},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {262--271},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/26},
doi = {10.24963/KR.2023/26},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Fernandez-Duque23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FiondaIR23,
author = {Valeria Fionda and
Antonio Ielo and
Francesco Ricca},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Logic-based Composition of Business Process Models},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {272--281},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/27},
doi = {10.24963/KR.2023/27},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FiondaIR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FlaminioPU23,
author = {Tommaso Flaminio and
Sandro Preto and
Sara Ugolini},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Reasoning about Probability via Continuous Functions},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {282--290},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/28},
doi = {10.24963/KR.2023/28},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FlaminioPU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GallianiKT23,
author = {Pietro Galliani and
Oliver Kutz and
Nicolas Troquard},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Succinctness and Complexity of {ALC} with Counting Perceptrons},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {291--300},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/29},
doi = {10.24963/KR.2023/29},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GallianiKT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiganteAL23,
author = {Nicola Gigante and
Lucía {Gómez Álvarez} and
Tim S. Lyon},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Standpoint Linear Temporal Logic},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {311--321},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/31},
doi = {10.24963/KR.2023/31},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiganteAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GladyshevADD23,
author = {Maksim Gladyshev and
Natasha Alechina and
Mehdi Dastani and
Dragan Doder},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Group Responsibility for Exceeding Risk Threshold},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {322--332},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/32},
doi = {10.24963/KR.2023/32},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GladyshevADD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HaldimannB23,
author = {Jonas Philipp Haldimann and
Christoph Beierle},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Finest Syntax Splittings of Ranking Functions and Total Preorders
on Worlds},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {747--751},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/75},
doi = {10.24963/KR.2023/75},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HaldimannB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HecherK23,
author = {Markus Hecher and
Rafael Kiesel},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {The Impact of Structure in Answer Set Counting: Fighting Cycles and
its Limits},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {344--354},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/34},
doi = {10.24963/KR.2023/34},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HecherK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HeyninckC0S23,
author = {Jesse Heyninck and
Giovanni Casini and
Thomas Meyer and
Umberto Straccia},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Revising Typical Beliefs: One Revision to Rule Them All},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {355--364},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/35},
doi = {10.24963/KR.2023/35},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HeyninckC0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/InterianB23,
author = {Yannet Interian and
Sara Bernardini},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Learning Interpretable Heuristics for WalkSAT},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {365--373},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/36},
doi = {10.24963/KR.2023/36},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/InterianB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/IshayY023,
author = {Adam Ishay and
Zhun Yang and
Joohyung Lee},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Leveraging Large Language Models to Generate Answer Set Programs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {374--383},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/37},
doi = {10.24963/KR.2023/37},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/IshayY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JamrogaK23,
author = {Wojciech Jamroga and
Yan Kim},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Practical Abstraction for Model Checking of Multi-Agent Systems},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {384--394},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/38},
doi = {10.24963/KR.2023/38},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/JamrogaK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KennedyKC23,
author = {Lance Kennedy and
Issouf Kindo and
Arthur Choi},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {On Training Neurons with Bounded Compilations},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {395--405},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/39},
doi = {10.24963/KR.2023/39},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KennedyKC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KieselE23,
author = {Rafael Kiesel and
Thomas Eiter},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Knowledge Compilation and More with SharpSAT-TD},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {406--416},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/40},
doi = {10.24963/KR.2023/40},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KieselE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KlassenMM23,
author = {Toryn Q. Klassen and
Christian Muise and
Sheila A. McIlraith},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Planning with Epistemic Preferences},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {752--756},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/76},
doi = {10.24963/KR.2023/76},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KlassenMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KouvarosLECML23,
author = {Panagiotis Kouvaros and
Francesco Leofante and
Blake Edwards and
Calvin Chung and
Dragos D. Margineantu and
Alessio Lomuscio},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Verification of Semantic Key Point Detection for Aircraft Pose Estimation},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {757--762},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/77},
doi = {10.24963/KR.2023/77},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KouvarosLECML23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KuruczWZ23,
author = {Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Definitions and (Uniform) Interpolants in First-Order Modal Logic},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {417--428},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/41},
doi = {10.24963/KR.2023/41},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KuruczWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeclereMP23,
author = {Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Guillaume P{\'{e}}rution{-}Kihli},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Query Rewriting with Disjunctive Existential Rules and Mappings},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {429--439},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/42},
doi = {10.24963/KR.2023/42},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LeclereMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LehtonenR0W23,
author = {Tuomo Lehtonen and
Anna Rapberger and
Markus Ulbricht and
Johannes Peter Wallner},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Argumentation Frameworks Induced by Assumption-based Argumentation:
Relating Size and Complexity},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {440--450},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/43},
doi = {10.24963/KR.2023/43},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LehtonenR0W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeofanteBR23,
author = {Francesco Leofante and
Elena Botoeva and
Vineet Rajani},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Counterfactual Explanations and Model Multiplicity: a Relational Verification
View},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {763--768},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/78},
doi = {10.24963/KR.2023/78},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LeofanteBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LukasiewiczMM23,
author = {Thomas Lukasiewicz and
Enrico Malizia and
Cristian Molinaro},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-
under Preferred Repairs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {472--481},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/46},
doi = {10.24963/KR.2023/46},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LukasiewiczMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LutzMN23,
author = {Carsten Lutz and
Quentin Mani{\`{e}}re and
Robin Nolte},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Querying Circumscribed Description Logic Knowledge Bases},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {482--491},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/47},
doi = {10.24963/KR.2023/47},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LutzMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LutzS23,
author = {Carsten Lutz and
Lukas Schulze},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Description Logics with Abstraction and Refinement},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {492--501},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/48},
doi = {10.24963/KR.2023/48},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LutzS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LyonO23,
author = {Tim S. Lyon and
Piotr Ostropolski{-}Nalewaja},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Connecting Proof Theory and Knowledge Representation: Sequent Calculi
and the Chase with Existential Rules},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {769--773},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/79},
doi = {10.24963/KR.2023/79},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LyonO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MantenoglouKA23,
author = {Periklis Mantenoglou and
Dimitrios Kelesis and
Alexander Artikis},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Complex Event Recognition with Allen Relations},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {502--511},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/49},
doi = {10.24963/KR.2023/49},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MantenoglouKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MenguyBLG23,
author = {Gr{\'{e}}goire Menguy and
S{\'{e}}bastien Bardin and
Nadjib Lazaar and
Arnaud Gotlieb},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Active Disjunctive Constraint Acquisition},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {512--520},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/50},
doi = {10.24963/KR.2023/50},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MenguyBLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MercadoGR23,
author = {Alejandro J. Mercado and
Daniel A. Grimaldi and
Ricardo Oscar Rodr{\'{\i}}guez},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Weak-Ensconcement for Shielded Base Contraction},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {521--530},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/51},
doi = {10.24963/KR.2023/51},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MercadoGR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OdekerkenLBWJ23,
author = {Daphne Odekerken and
Tuomo Lehtonen and
AnneMarie Borg and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Argumentative Reasoning in {ASPIC+} under Incomplete Information},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {531--541},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/52},
doi = {10.24963/KR.2023/52},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/OdekerkenLBWJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OteroCB23,
author = {C{\'{a}}ndido Otero and
Dennis Craandijk and
Floris Bex},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {{ORLA:} Learning Explainable Argumentation Models},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {542--551},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/53},
doi = {10.24963/KR.2023/53},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/OteroCB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Prakken23,
author = {Henry Prakken},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Relating Abstract and Structured Accounts of Argumentation Dynamics:
the Case of Expansions},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {562--571},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/55},
doi = {10.24963/KR.2023/55},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Prakken23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PrietoHO23,
author = {Daira Pinto Prieto and
Ronald de Haan and
Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {A Belief Model for Conflicting and Uncertain Evidence: Connecting
Dempster-Shafer Theory and the Topology of Evidence},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {552--561},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/54},
doi = {10.24963/KR.2023/54},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/PrietoHO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Puncochar23,
author = {V{\'{\i}}t Puncoch{\'{a}}r},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive
Semantics},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {572--581},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/56},
doi = {10.24963/KR.2023/56},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Puncochar23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SabbatiniC23,
author = {Federico Sabbatini and
Roberta Calegari},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Explainable Clustering with {CREAM}},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {593--603},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/58},
doi = {10.24963/KR.2023/58},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/SabbatiniC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Salerno0S23,
author = {Mauricio Salerno and
Raquel Fuentetaja and
Jendrik Seipp},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Eliminating Redundant Actions from Plans Using Classical Planning},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {774--778},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/80},
doi = {10.24963/KR.2023/80},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Salerno0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SalhiS23,
author = {Yakoub Salhi and
Michael Sioutis},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {A Decomposition Framework for Inconsistency Handling in Qualitative
Spatial and Temporal Reasoning},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {604--613},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/59},
doi = {10.24963/KR.2023/59},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/SalhiS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SaribaturW23,
author = {Zeynep G. Saribatur and
Stefan Woltran},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Foundations for Projecting Away the Irrelevant in {ASP} Programs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {614--624},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/60},
doi = {10.24963/KR.2023/60},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SaribaturW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SchwindKP23,
author = {Nicolas Schwind and
S{\'{e}}bastien Konieczny and
Ram{\'{o}}n Pino P{\'{e}}rez},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Iteration of Iterated Belief Revision},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {625--634},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/61},
doi = {10.24963/KR.2023/61},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/SchwindKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SousaSP23,
author = {Rita Torres Sousa and
Sara Silva and
Catia Pesquita},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Explainable Representations for Relation Prediction in Knowledge Graphs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {635--646},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/62},
doi = {10.24963/KR.2023/62},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/SousaSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/StahlbergBG23,
author = {Simon St{\aa}hlberg and
Blai Bonet and
Hector Geffner},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Learning General Policies with Policy Gradient Methods},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {647--657},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/63},
doi = {10.24963/KR.2023/63},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/StahlbergBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/UmiliCG23,
author = {Elena Umili and
Roberto Capobianco and
Giuseppe De Giacomo},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Grounding LTLf Specifications in Image Sequences},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {668--678},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/65},
doi = {10.24963/KR.2023/65},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/UmiliCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WalegaZH23,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki and
Christoph Haase},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Computing All Facts Entailed By An {LTL} Specification},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {679--689},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/66},
doi = {10.24963/KR.2023/66},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WalegaZH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WangXPJ23,
author = {Ruolin Wang and
Yuejiao Xu and
Jie Peng and
Jianmin Ji},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {A{\({^2}\)}CoST: An ASP-based Avoidable Collision Scenario Testbench
for Autonomous Vehicles},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {690--699},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/67},
doi = {10.24963/KR.2023/67},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/WangXPJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Wilhelm23,
author = {Marco Wilhelm},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Integrating Linear Arithmetic Constraints Into Conditional Maximum
Entropy Reasoning},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {700--709},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/68},
doi = {10.24963/KR.2023/68},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Wilhelm23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ZammitT23,
author = {Sean Zammit and
Michael Thielscher},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {General Game Playing With State-Independent Communication},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {710--719},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/69},
doi = {10.24963/KR.2023/69},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ZammitT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2023,
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
year = {2023},
url = {https://doi.org/10.24963/kr.2023},
doi = {10.24963/KR.2023},
isbn = {978-1-956792-02-7},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2023.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-21 22:30 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:
