KR

Keyphrases

Publications

2023

Marcos Cramer, Samuele Pollaci, Bart Bogaerts
Mathematical Foundations for Joining Only Knowing and Common Knowledge. KR (2023)
Carsten Lutz, Lukas Schulze
Description Logics with Abstraction and Refinement. KR (2023)
Francesco Leofante, Elena Botoeva, Vineet Rajani
Counterfactual Explanations and Model Multiplicity: a Relational Verification View. KR (2023)
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
On Simple Expectations and Observations of Intelligent Agents: A Complexity Study. KR (2023)
Yannet Interian, Sara Bernardini
Learning Interpretable Heuristics for WalkSAT. KR (2023)
Shaked Almog, Meir Kalech
Diagnosis for Post Concept Drift Decision Trees Repair. KR (2023)
Frederico Aleixo, Matthias Knorr, João Leite
Revising Boolean Logical Models of Biological Regulatory Networks. KR (2023)
Paulius Dilkas, Vaishak Belle
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. KR (2023)
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder
Group Responsibility for Exceeding Risk Threshold. KR (2023)
Federico Sabbatini, Roberta Calegari
Explainable Clustering with CREAM. KR (2023)
Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. KR (2023)
Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs. KR (2023)
Jorge Fandinno, Vladimir Lifschitz
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. KR (2023)
Periklis Mantenoglou, Dimitrios Kelesis, Alexander Artikis
Complex Event Recognition with Allen Relations. KR (2023)
Adam Ishay, Zhun Yang, Joohyung Lee
Leveraging Large Language Models to Generate Answer Set Programs. KR (2023)
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
Strategic Abilities of Forgetful Agents in Stochastic Environments. KR (2023)
Clément Carbonnel, Martin C. Cooper, João Marques-Silva
Tractable Explaining of Multivariate Decision Trees. KR (2023)
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
Standpoint Linear Temporal Logic. KR (2023)
Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind
Credible Models of Belief Update. KR (2023)
Tim S. Lyon, Piotr Ostropolski-Nalewaja
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. KR (2023)
Antonio Rago, Hengzhi Li, Francesca Toni
Interactive Explanations by Conflict Resolution via Argumentative Exchanges. KR (2023)
Ava Clifton, Charles Gretton
Property Directed Reachability for Planning Revisited. KR (2023)
Benjamin Alt, Franklin Kenghagho Kenfack, Andrei Haidu, Darko Katic, Rainer Jäkel, Michael Beetz
Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations. KR (2023)
Markus Hecher, Rafael Kiesel
The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits. KR (2023)
Rita Torres Sousa, Sara Silva, Catia Pesquita
Explainable Representations for Relation Prediction in Knowledge Graphs. KR (2023)
Elena Umili, Roberto Capobianco, Giuseppe De Giacomo
Grounding LTLf Specifications in Image Sequences. KR (2023)
David Fernández-Duque, Brett McLean, Lukas Zenger
A Family of Decidable Bi-intuitionistic Modal Logics. KR (2023)
Alexander Bochman
Default Logic as a Species of Causal Reasoning. KR (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase
Computing All Facts Entailed By An LTL Specification. KR (2023)
Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni, Francesco Pacenza
From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games. KR (2023)
Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith
Planning with Epistemic Preferences. KR (2023)
Lydia Blümel, Matthias Thimm
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. KR (2023)
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR (2023)
Mauricio Salerno, Raquel Fuentetaja, Jendrik Seipp
Eliminating Redundant Actions from Plans Using Classical Planning. KR (2023)
Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner, Matti Järvisalo
Argumentative Reasoning in ASPIC+ under Incomplete Information. KR (2023)
Stéphane Demri, Raine Rönnholm
How to Manage a Budget with ATL+. KR (2023)
Yakoub Salhi, Michael Sioutis
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. KR (2023)
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Unified Foundations of Team Semantics via Semirings. KR (2023)
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
Query Rewriting with Disjunctive Existential Rules and Mappings. KR (2023)
Vít Puncochár
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics. KR (2023)
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
Active Disjunctive Constraint Acquisition. KR (2023)
Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini
Counterfactual Reasoning via Grounded Distance. KR (2023)
Dominik Drexler, Jendrik Seipp, Hector Geffner
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules. KR (2023)
Tommaso Flaminio, Sandro Preto, Sara Ugolini
Reasoning about Probability via Continuous Functions. KR (2023)
Henry Prakken
Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions. KR (2023)
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. KR (2023)
Simon Ståhlberg, Blai Bonet, Hector Geffner
Learning General Policies with Policy Gradient Methods. KR (2023)
Alejandro J. Mercado, Daniel A. Grimaldi, Ricardo Oscar Rodríguez
Weak-Ensconcement for Shielded Base Contraction. KR (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR (2023)
Nicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez
Iteration of Iterated Belief Revision. KR (2023)