default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kr/kr2024.bht:"
download as .bib file
@inproceedings{DBLP:conf/kr/0001M24,
author = {Antonio Rago and
Maria Vanina Martinez},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Advancing Interactive Explainable {AI} via Belief Change Theory},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/87},
doi = {10.24963/KR.2024/87},
timestamp = {Wed, 18 Dec 2024 13:51:42 +0100},
biburl = {https://dblp.org/rec/conf/kr/0001M24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0001S24,
author = {Federica Di Stefano and
Mantas Simkus},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Equilibrium Description Logics: Results on Complexity and Relations
to Circumscription},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/29},
doi = {10.24963/KR.2024/29},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/0001S24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0002RT24,
author = {Fabrizio Russo and
Anna Rapberger and
Francesca Toni},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Argumentative Causal Discovery},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/88},
doi = {10.24963/KR.2024/88},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/0002RT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0005W24,
author = {Andrei Popescu and
Johannes Peter Wallner},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Advancing Algorithmic Approaches to Probabilistic Argumentation under
the Constellation Approach},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/55},
doi = {10.24963/KR.2024/55},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/0005W24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0007PT24,
author = {Xiang Yin and
Nico Potyka and
Francesca Toni},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation
Frameworks},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/66},
doi = {10.24963/KR.2024/66},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/0007PT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AhmetajMP24,
author = {Shqiponja Ahmetaj and
Timo Camillo Merkl and
Reinhard Pichler},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Consistent Query Answering over {SHACL} Constraints},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/1},
doi = {10.24963/KR.2024/1},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AhmetajMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AinetoS24,
author = {Diego Aineto and
Enrico Scala},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Action Model Learning with Guarantees},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/75},
doi = {10.24963/KR.2024/75},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AinetoS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlfanoGPT24,
author = {Gianvincenzo Alfano and
Sergio Greco and
Francesco Parisi and
Irina Trubitsyna},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Counterfactual and Semifactual Explanations in Abstract Argumentation:
Formal Foundations, Complexity and Computation},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/2},
doi = {10.24963/KR.2024/2},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AlfanoGPT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlrabbaaBFHKKKK24,
author = {Christian Alrabbaa and
Stefan Borgwardt and
Tom Friese and
Anke Hirsch and
Nina Knieriemen and
Patrick Koopmann and
Alisa Kovtunova and
Antonio Kr{\"{u}}ger and
Alexej Popovic and
Ida S. R. Siahaan},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Explaining Reasoning Results for {OWL} Ontologies with Evee},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/67},
doi = {10.24963/KR.2024/67},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AlrabbaaBFHKKKK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlvarezR24,
author = {Lucía {Gómez Álvarez} and
Sebastian Rudolph},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Reasoning in {SHIQ} with Axiom- and Concept-Level Standpoint Modalities},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/36},
doi = {10.24963/KR.2024/36},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AlvarezR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlvianoR24,
author = {Mario Alviano and
Luis Angel Rodriguez Reiners},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {{ASP} Chef: Draw and Expand},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/68},
doi = {10.24963/KR.2024/68},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AlvianoR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AminofCRVZ24,
author = {Benjamin Aminof and
Linus Cooper and
Sasha Rubin and
Moshe Y. Vardi and
Florian Zuleger},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Probabilistic Synthesis and Verification for {LTL} on Finite Traces},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/3},
doi = {10.24963/KR.2024/3},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AminofCRVZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AminofGRZ24,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Sasha Rubin and
Florian Zuleger},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Proper Linear-time Specifications of Environment Behaviors in Nondeterministic
Planning and Reactive Synthesis},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/4},
doi = {10.24963/KR.2024/4},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AminofGRZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ApostolakisSW24,
author = {Iosif Apostolakis and
Zeynep G. Saribatur and
Johannes Peter Wallner},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Abstraction in Assumption-based Argumentation},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/5},
doi = {10.24963/KR.2024/5},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ApostolakisSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArenasBBCS24,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Diego Bustamante and
Jose Caraball and
Bernardo Subercaseaux},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {A Uniform Language to Explain Decision Trees},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/6},
doi = {10.24963/KR.2024/6},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ArenasBBCS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Arieli0RS24,
author = {Ofer Arieli and
Kees van Berkel and
Badran Raddaoui and
Christian Stra{\ss}er},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Deontic Reasoning Based on Inconsistency Measures},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/7},
doi = {10.24963/KR.2024/7},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Arieli0RS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArtaleKMW24,
author = {Alessandro Artale and
Roman Kontchakov and
Andrea Mazzullo and
Frank Wolter},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Non-Rigid Designators in Modal and Temporal Free Description Logics},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/8},
doi = {10.24963/KR.2024/8},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ArtaleKMW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderW24,
author = {Franz Baader and
Renata Wassermann},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Contractions Based on Optimal Repairs},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/9},
doi = {10.24963/KR.2024/9},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaaderW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Balyo0CSGDBY24,
author = {Tom{\'{a}}s Balyo and
Martin Suda and
Luk{\'{a}}s Chrpa and
Dominik Safr{\'{a}}nek and
Stephan Gocht and
Filip Dvor{\'{a}}k and
Roman Bart{\'{a}}k and
G. Michael Youngblood},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Planning Domain Model Acquisition from State Traces without Action
Parameters},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/76},
doi = {10.24963/KR.2024/76},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Balyo0CSGDBY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BeierleSHWHK24,
author = {Christoph Beierle and
Lars{-}Phillip Spiegel and
Jonas Haldimann and
Marco Wilhelm and
Jesse Heyninck and
Gabriele Kern{-}Isberner},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Conditional Splittings of Belief Bases and Nonmonotonic Inference
with c-Representations},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/10},
doi = {10.24963/KR.2024/10},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BeierleSHWHK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BenediktKMO24,
author = {Michael Benedikt and
Stanislav Kikot and
Johannes Marti and
Piotr Ostropolski{-}Nalewaja},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Monotone Rewritability and the Analysis of Queries, Views, and Rules},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/11},
doi = {10.24963/KR.2024/11},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BenediktKMO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BertholdR024,
author = {Matti Berthold and
Anna Rapberger and
Markus Ulbricht},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/12},
doi = {10.24963/KR.2024/12},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BertholdR024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuBJ24,
author = {Meghyn Bienvenu and
Camille Bourgaux and
Robin Jean},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Cost-Based Semantics for Querying Inconsistent Weighted Knowledge
Bases},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/16},
doi = {10.24963/KR.2024/16},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BienvenuBJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuBK24,
author = {Meghyn Bienvenu and
Camille Bourgaux and
Daniil Kozhemiachenko},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Queries With Exact Truth Values in Paraconsistent Description Logics},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/14},
doi = {10.24963/KR.2024/14},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BienvenuBK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuFL24,
author = {Meghyn Bienvenu and
Diego Figueira and
Pierre Lafourcade},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Shapley Value Computation in Ontology-Mediated Query Answering},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/15},
doi = {10.24963/KR.2024/15},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BienvenuFL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuIK24,
author = {Meghyn Bienvenu and
Katsumi Inoue and
Daniil Kozhemiachenko},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Abductive Reasoning in a Paraconsistent Framework},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/13},
doi = {10.24963/KR.2024/13},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BienvenuIK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Blumel0024,
author = {Lydia Bl{\"{u}}mel and
Matthias K{\"{o}}nig and
Markus Ulbricht},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Weak Admissibility for {ABA} via Abstract Set-Attacks},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/17},
doi = {10.24963/KR.2024/17},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Blumel0024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonattiMS24,
author = {Piero Andrea Bonatti and
Francesco Magliocca and
Luigi Sauro},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/18},
doi = {10.24963/KR.2024/18},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BonattiMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BorgesKPS24,
author = {Nerio Borges and
S{\'{e}}bastien Konieczny and
Ram{\'{o}}n Pino P{\'{e}}rez and
Nicolas Schwind},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Belief Change on Rational Rankings},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/19},
doi = {10.24963/KR.2024/19},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BorgesKPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Bourgaux0KLO24,
author = {Camille Bourgaux and
Ricardo Guimar{\~{a}}es and
Raoul Koudijs and
Victor Lacerda and
Ana Ozaki},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Knowledge Base Embeddings: Semantics and Theoretical Properties},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/77},
doi = {10.24963/KR.2024/77},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Bourgaux0KLO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BuckinghamSSF24,
author = {David Buckingham and
Matthias Scheutz and
Tran Cao Son and
Francesco Fabiano},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Action Language mA* with Higher-Order Action Observability},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/20},
doi = {10.24963/KR.2024/20},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BuckinghamSSF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CabalarES24,
author = {Pedro Cabalar and
Thomas Eiter and
Davide Sold{\`{a}}},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Contracted Temporal Equilibrium Logic},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/21},
doi = {10.24963/KR.2024/21},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CabalarES24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CarralLT24,
author = {David Carral and
Lucas Larroque and
Micha{\"{e}}l Thomazo},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Ontology-Based Query Answering over Datalog-Expressible Rule Sets
is Undecidable},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/22},
doi = {10.24963/KR.2024/22},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CarralLT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CharalambidisCK24,
author = {Angelos Charalambidis and
Giannos Chatziagapis and
Babis Kostopoulos and
Panos Rondogiannis},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/23},
doi = {10.24963/KR.2024/23},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CharalambidisCK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChewCS24,
author = {Leroy Chew and
Alexis de Colnet and
Stefan Szeider},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {{ASP-QRAT:} {A} Conditionally Optimal Dual Proof System for {ASP}},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/24},
doi = {10.24963/KR.2024/24},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ChewCS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChocklerH24,
author = {Hana Chockler and
Joseph Y. Halpern},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Explaining Image Classifiers},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/25},
doi = {10.24963/KR.2024/25},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ChocklerH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChrpaK24,
author = {Luk{\'{a}}s Chrpa and
Erez Karpas},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {On Verifying and Generating Robust Plans for Planning Tasks with Exogenous
Events},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/26},
doi = {10.24963/KR.2024/26},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ChrpaK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CiabattoniER24,
author = {Agata Ciabattoni and
Clemens Eisenhofer and
Dmitry Rozplokhas},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Strongly Analytic Calculi for {KLM} Logics with SMT-Based Prover},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/27},
doi = {10.24963/KR.2024/27},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CiabattoniER24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CoppolilloC0PR24,
author = {Erica Coppolillo and
Francesco Calimeri and
Giuseppe Manco and
Simona Perri and
Francesco Ricca},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {{LLASP:} Fine-tuning Large Language Models for Answer Set Programming},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/78},
doi = {10.24963/KR.2024/78},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CoppolilloC0PR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CoumesPSS24,
author = {Simon Coumes and
Pierre{-}Henri Paris and
Fran{\c{c}}ois Schwarzentruber and
Fabian M. Suchanek},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Qiana: {A} First-Order Formalism to Quantify over Contexts and Formulas},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/28},
doi = {10.24963/KR.2024/28},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CoumesPSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CucalaG24,
author = {David J. Tena Cucala and
Bernardo Cuenca Grau},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Bridging Max Graph Neural Networks and Datalog with Negation},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/89},
doi = {10.24963/KR.2024/89},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CucalaG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DodaroMR24,
author = {Carmine Dodaro and
Giuseppe Mazzotta and
Francesco Ricca},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Blending Grounding and Compilation for Efficient {ASP} Solving},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/30},
doi = {10.24963/KR.2024/30},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DodaroMR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DrexlerSBG24,
author = {Dominik Drexler and
Simon St{\aa}hlberg and
Blai Bonet and
Hector Geffner},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Symmetries and Expressive Requirements for Learning General Policies},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/79},
doi = {10.24963/KR.2024/79},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DrexlerSBG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EveraereKP24,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Ram{\'{o}}n Pino P{\'{e}}rez},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Weighted Merging Operators: Product, Utility-based Operators and Egalitarianism},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/31},
doi = {10.24963/KR.2024/31},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EveraereKP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FangL24,
author = {Biqing Fang and
Fangzhen Lin},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/32},
doi = {10.24963/KR.2024/32},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FangL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Fernandez-Duque24,
author = {David Fern{\'{a}}ndez{-}Duque and
Brett McLean and
Lukas Zenger},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal
Logic},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/33},
doi = {10.24963/KR.2024/33},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Fernandez-Duque24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Figueira0MP24,
author = {Diego Figueira and
S. Krishna and
Om Swostik Mishra and
Anantha Padmanabha},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Boundedness for Unions of Conjunctive Regular Path Queries over Simple
Regular Expressions},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/34},
doi = {10.24963/KR.2024/34},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Figueira0MP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FlaminioGR24,
author = {Tommaso Flaminio and
Llu{\'{\i}}s Godo and
Giuliano Rosella},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Possibility of Conditionals and Conditional Possibilities: From the
Triviality Result to Possibilistic Imaging},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/35},
doi = {10.24963/KR.2024/35},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FlaminioGR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FunkquistSG24,
author = {Martin Funkquist and
Simon St{\aa}hlberg and
Hector Geffner},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Learning to Ground Existentially Quantified Goals},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/80},
doi = {10.24963/KR.2024/80},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FunkquistSG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GehGSMC24,
author = {Renato Lui Geh and
Jonas Gon{\c{c}}alves and
Igor Cataneo Silveira and
Denis Deratani Mau{\'{a}} and
F{\'{a}}bio Gagliardi Cozman},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {dPASP: {A} Probabilistic Logic Programming Environment For Neurosymbolic
Learning and Reasoning},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/69},
doi = {10.24963/KR.2024/69},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GehGSMC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GouldPD0T24,
author = {Adam Gould and
Guilherme Paulino{-}Passos and
Seema Dadhania and
Matthew Williams and
Francesca Toni},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Preference-Based Abstract Argumentation for Case-Based Reasoning},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/37},
doi = {10.24963/KR.2024/37},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GouldPD0T24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Haggblom24,
author = {Matilda H{\"{a}}ggblom},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Axiomatization of Approximate Exclusion},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/38},
doi = {10.24963/KR.2024/38},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Haggblom24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HalpernP24,
author = {Joseph Y. Halpern and
Evan Piermont},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {A Representation Theorem for Causal Decision Making},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/39},
doi = {10.24963/KR.2024/39},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HalpernP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HeMMST24,
author = {Yifan He and
Munyque Mittelmann and
Aniello Murano and
Abdallah Saffidine and
Michael Thielscher},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Verification of General Games with Imperfect Information Using Strategy
Logic},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/40},
doi = {10.24963/KR.2024/40},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HeMMST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Heine024,
author = {Anne{-}Marie Heine and
Markus Ulbricht},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {From Acceptance to Rejection in Abstract Argumentation},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/41},
doi = {10.24963/KR.2024/41},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Heine024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Heyninck24,
author = {Jesse Heyninck},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Operator-Based Semantics for Choice Programs: Is Choosing Losing?},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/42},
doi = {10.24963/KR.2024/42},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Heyninck24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HirschbrunnK24,
author = {Joshua Hirschbrunn and
Yevgeny Kazakov},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Extending Description Logics with Generic Concepts - the Tale of Two
Semantics},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/43},
doi = {10.24963/KR.2024/43},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HirschbrunnK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HylandMMPW24,
author = {David Hyland and
Munyque Mittelmann and
Aniello Murano and
Giuseppe Perelli and
Michael J. Wooldridge},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Incentive Design for Rational Agents},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/44},
doi = {10.24963/KR.2024/44},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HylandMMPW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/IngJSD24,
author = {David Ing and
Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Fabien Delorme},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/81},
doi = {10.24963/KR.2024/81},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/IngJSD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ivliev0MSK24,
author = {Alex Ivliev and
Lukas Gerlach and
Simon Meusel and
Jakob Steinberg and
Markus Kr{\"{o}}tzsch},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Nemo: Your Friendly and Versatile Rule Reasoning Toolkit},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/70},
doi = {10.24963/KR.2024/70},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Ivliev0MSK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/IzzaH0PI024,
author = {Yacine Izza and
Xuanxiang Huang and
Ant{\'{o}}nio Morgado and
Jordi Planes and
Alexey Ignatiev and
Jo{\~{a}}o Marques{-}Silva},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Distance-Restricted Explanations: Theoretical Underpinnings {\&}
Efficient Implementation},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/45},
doi = {10.24963/KR.2024/45},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/IzzaH0PI024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JungRWZ24,
author = {Jean Christoph Jung and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Unique Characterisability and Learnability of Temporal Queries Mediated
by an Ontology},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/46},
doi = {10.24963/KR.2024/46},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/JungRWZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kern-IsbernerHH24,
author = {Gabriele Kern{-}Isberner and
Alexander Hahn and
Jonas Haldimann and
Christoph Beierle},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Total Preorders vs Ranking Functions under Belief Revision - the Dynamics
of Empty Layers},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/47},
doi = {10.24963/KR.2024/47},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Kern-IsbernerHH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KnorozovaR24,
author = {Nadezda Alexandrovna Knorozova and
Alessandro Ronca},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {On the Expressivity of Recurrent Neural Cascades with Identity},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/82},
doi = {10.24963/KR.2024/82},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KnorozovaR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LagniezL24,
author = {Jean{-}Marie Lagniez and
Emmanuel Lonca},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial
Models},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/48},
doi = {10.24963/KR.2024/48},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LagniezL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LehtonenOWJ24,
author = {Tuomo Lehtonen and
Daphne Odekerken and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Complexity Results and Algorithms for Preferential Argumentative Reasoning
in {ASPIC+}},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/49},
doi = {10.24963/KR.2024/49},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LehtonenOWJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeofanteADFGJP024,
author = {Francesco Leofante and
Hamed Ayoobi and
Adam Dejl and
Gabriel Freedman and
Deniz Gorur and
Junqi Jiang and
Guilherme Paulino{-}Passos and
Antonio Rago and
Anna Rapberger and
Fabrizio Russo and
Xiang Yin and
Dekai Zhang and
Francesca Toni},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Contestable {AI} Needs Computational Argumentation},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/83},
doi = {10.24963/KR.2024/83},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LeofanteADFGJP024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LutzM24,
author = {Carsten Lutz and
Quentin Mani{\`{e}}re},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Adding Circumscription to Decidable Fragments of First-Order Logic:
{A} Complexity Rollercoaster},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/50},
doi = {10.24963/KR.2024/50},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LutzM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LutzS24,
author = {Carsten Lutz and
Lukas Schulze},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Description Logics with Abstraction and Refinement: From {ALC} to
{EL}},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/51},
doi = {10.24963/KR.2024/51},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LutzS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MartiresDRK24,
author = {Pedro Zuidberg Dos Martires and
Vincent Derkinderen and
Luc De Raedt and
Marcus Krantz},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Automated Reasoning in Systems Biology: {A} Necessity for Precision
Medicine},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/91},
doi = {10.24963/KR.2024/91},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MartiresDRK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MorrisCG024,
author = {Matthew Morris and
David J. Tena Cucala and
Bernardo Cuenca Grau and
Ian Horrocks},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Relational Graph Convolutional Networks Do Not Learn Sound Rules},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/84},
doi = {10.24963/KR.2024/84},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MorrisCG024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OkulmusS24,
author = {Cem Okulmus and
Mantas Simkus},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {{SHACL} Validation under the Well-founded Semantics},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/52},
doi = {10.24963/KR.2024/52},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/OkulmusS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OrdyniakPRS24,
author = {Sebastian Ordyniak and
Giacomo Paesani and
Mateusz Rychlicki and
Stefan Szeider},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Explaining Decisions in {ML} Models: {A} Parameterized Complexity
Analysis},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/53},
doi = {10.24963/KR.2024/53},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/OrdyniakPRS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ostropolski-Nalewaja24,
author = {Piotr Ostropolski{-}Nalewaja and
Sebastian Rudolph},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {The Sticky Path to Expressive Querying: Decidability of Navigational
Queries under Existential Rules},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/54},
doi = {10.24963/KR.2024/54},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Ostropolski-Nalewaja24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ParacNAF0R24,
author = {Roko Parac and
Lorenzo Nodari and
Leo Ardon and
Daniel Furelos{-}Blanco and
Federico Cerutti and
Alessandra Russo},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Learning Robust Reward Machines from Noisy Labels},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/85},
doi = {10.24963/KR.2024/85},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ParacNAF0R24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PluskaW0M24,
author = {Alexander Pluska and
Pascal Welke and
Thomas G{\"{a}}rtner and
Sagar Malhotra},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Logical Distillation of Graph Neural Networks},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/86},
doi = {10.24963/KR.2024/86},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/PluskaW0M24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Potyka024,
author = {Nico Potyka and
Richard Booth},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar
Argumentation (and How to Prove Semantical from Functional Properties)},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/56},
doi = {10.24963/KR.2024/56},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Potyka024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Rapberger024,
author = {Anna Rapberger and
Markus Ulbricht},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Repairing Assumption-Based Argumentation Frameworks},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/57},
doi = {10.24963/KR.2024/57},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Rapberger024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ribeiro24,
author = {Jandson S. Ribeiro},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Semantic Constructions for Belief Base Contraction: Partial Meet vs
Smooth Kernel},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/58},
doi = {10.24963/KR.2024/58},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Ribeiro24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RossieDKLV24,
author = {Juliete Rossie and
J{\'{e}}r{\^{o}}me Delobelle and
S{\'{e}}bastien Konieczny and
Cl{\'{e}}ment Lens and
Srdjan Vesic},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Collective Satisfaction Semantics for Opinion Based Argumentation},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/59},
doi = {10.24963/KR.2024/59},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RossieDKLV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RusovacHGGF24,
author = {Dominik Rusovac and
Markus Hecher and
Martin Gebser and
Sarah Alice Gaggl and
Johannes Klaus Fichte},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Navigating and Querying Answer Sets: How Hard Is It Really and Why?},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/60},
doi = {10.24963/KR.2024/60},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RusovacHGGF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Saribatur00024,
author = {Zeynep G. Saribatur and
Matthias Knorr and
Ricardo Gon{\c{c}}alves and
Jo{\~{a}}o Leite},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {On Abstracting over the Irrelevant in Answer Set Programming},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/61},
doi = {10.24963/KR.2024/61},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Saribatur00024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SauerwaldT24,
author = {Kai Sauerwald and
Matthias Thimm},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {The Realizability of Revision and Contraction Operators in Epistemic
Spaces},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/62},
doi = {10.24963/KR.2024/62},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SauerwaldT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ShawM24,
author = {Arijit Shaw and
Kuldeep S. Meel},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Model Counting in the Wild},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/71},
doi = {10.24963/KR.2024/71},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ShawM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SkibaT24,
author = {Kenneth Skiba and
Matthias Thimm},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Optimisation and Approximation in Abstract Argumentation: The Case
of Admissibility},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/63},
doi = {10.24963/KR.2024/63},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SkibaT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SugimoriINSSTB24,
author = {Irumi Sugimori and
Katsumi Inoue and
Hidetomo Nabeshima and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Mutsunori Banbara},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Large Neighborhood Prioritized Search for Combinatorial Optimization
with Answer Set Programming},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/72},
doi = {10.24963/KR.2024/72},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SugimoriINSSTB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TothK24,
author = {Jan T{\'{o}}th and
Ondrej Kuzelka},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Complexity of Weighted First-Order Model Counting in the Two-Variable
Fragment with Counting Quantifiers: {A} Bound to Beat},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/64},
doi = {10.24963/KR.2024/64},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/TothK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/VasileiouK0ST24,
author = {Stylianos Loukas Vasileiou and
Ashwin Kumar and
William Yeoh and
Tran Cao Son and
Francesca Toni},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Dialectical Reconciliation via Structured Argumentative Dialogues},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/73},
doi = {10.24963/KR.2024/73},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/VasileiouK0ST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Walega24,
author = {Przemyslaw Andrzej Walega},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Expressive Power of Definite Descriptions in Modal Logics},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/65},
doi = {10.24963/KR.2024/65},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Walega24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WangWG24,
author = {Dingmin Wang and
Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau},
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {MTLearn: Extracting Temporal Rules Using Datalog Rule Learners},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/90},
doi = {10.24963/KR.2024/90},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WangWG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/XiangBCGI24,
author = {Zhiliang Xiang and
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
Magdalena Ortiz and
Maurice Pagnucco},
title = {{ASPEN:} ASP-Based System for Collective Entity Resolution},
booktitle = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024/74},
doi = {10.24963/KR.2024/74},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/XiangBCGI24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2024,
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024},
doi = {10.24963/KR.2024},
isbn = {978-1-956792-05-8},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-12-19 12:12 CET 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:
