![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
20th KR 2023: Rhodes, Greece
- Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner:
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. 2023, ISBN 978-1-956792-02-7
Main Track
- Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini:
Counterfactual Reasoning via Grounded Distance. 2-11 - Frederico Aleixo, Matthias Knorr
, João Leite
:
Revising Boolean Logical Models of Biological Regulatory Networks. 12-22 - Shaked Almog, Meir Kalech:
Diagnosis for Post Concept Drift Decision Trees Repair. 23-33 - Benjamin Alt, Franklin Kenghagho Kenfack, Andrei Haidu, Darko Katic, Rainer Jäkel, Michael Beetz:
Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations. 34-43 - 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. 44-54 - Ofer Arieli, Jesse Heyninck:
Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences. 55-64 - Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari:
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. 65-74 - Timon Barlag, Miika Hannula
, Juha Kontinen
, Nina Pardal, Jonni Virtema:
Unified Foundations of Team Semantics via Semirings. 75-85 - Matti Berthold, Anna Rapberger, Markus Ulbricht:
Forgetting Aspects in Assumption-Based Argumentation. 86-96 - Meghyn Bienvenu, Camille Bourgaux
:
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints. 97-106 - Lydia Blümel, Matthias Thimm:
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. 107-116 - Alexander Bochman:
Default Logic as a Species of Causal Reasoning. 117-126 - Clément Carbonnel, Martin C. Cooper, João Marques-Silva:
Tractable Explaining of Multivariate Decision Trees. 127-135 - Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber:
On Simple Expectations and Observations of Intelligent Agents: A Complexity Study. 136-145 - Agata Ciabattoni
, Dmitry Rozplokhas:
Streamlining Input/Output Logics with Sequent Calculi. 146-155 - Ava Clifton, Charles Gretton
:
Property Directed Reachability for Planning Revisited. 156-166 - Marcos Cramer, Samuele Pollaci
, Bart Bogaerts
:
Mathematical Foundations for Joining Only Knowing and Common Knowledge. 167-177 - Claire David, Nadime Francis, Victor Marsault
:
Run-Based Semantics for RPQs. 178-187 - Stéphane Demri, Raine Rönnholm:
How to Manage a Budget with ATL+. 188-197 - Paulius Dilkas
, Vaishak Belle:
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. 198-207 - Dominik Drexler, Jendrik Seipp, Hector Geffner:
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules. 208-218 - Patricia Everaere, Chouaib Fellah, Sébastien Konieczny, Ramón Pino Pérez:
Weighted Merging of Propositional Belief Bases. 219-228 - Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri:
A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. 229-239 - Jorge Fandinno, Vladimir Lifschitz:
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. 240-251 - Eduardo Fermé
, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind:
Credible Models of Belief Update. 252-261 - David Fernández-Duque, Brett McLean, Lukas Zenger:
A Family of Decidable Bi-intuitionistic Modal Logics. 262-271 - Valeria Fionda, Antonio Ielo, Francesco Ricca:
Logic-based Composition of Business Process Models. 272-281 - Tommaso Flaminio, Sandro Preto, Sara Ugolini:
Reasoning about Probability via Continuous Functions. 282-290 - Pietro Galliani, Oliver Kutz, Nicolas Troquard:
Succinctness and Complexity of ALC with Counting Perceptrons. 291-300 - Lukas Gerlach, David Carral:
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. 301-310 - Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon:
Standpoint Linear Temporal Logic. 311-321 - Maksim Gladyshev
, Natasha Alechina
, Mehdi Dastani, Dragan Doder:
Group Responsibility for Exceeding Risk Threshold. 322-332 - Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. 333-343 - Markus Hecher, Rafael Kiesel:
The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits. 344-354 - Jesse Heyninck
, Giovanni Casini
, Thomas Meyer
, Umberto Straccia
:
Revising Typical Beliefs: One Revision to Rule Them All. 355-364 - Yannet Interian, Sara Bernardini:
Learning Interpretable Heuristics for WalkSAT. 365-373 - Adam Ishay, Zhun Yang, Joohyung Lee:
Leveraging Large Language Models to Generate Answer Set Programs. 374-383 - Wojciech Jamroga, Yan Kim:
Practical Abstraction for Model Checking of Multi-Agent Systems. 384-394 - Lance Kennedy, Issouf Kindo, Arthur Choi:
On Training Neurons with Bounded Compilations. 395-405 - Rafael Kiesel, Thomas Eiter:
Knowledge Compilation and More with SharpSAT-TD. 406-416 - Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Definitions and (Uniform) Interpolants in First-Order Modal Logic. 417-428 - Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli:
Query Rewriting with Disjunctive Existential Rules and Mappings. 429-439 - Tuomo Lehtonen
, Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner:
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. 440-450 - Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer:
Concerning Measures in a First-order Logic with Actions and Meta-beliefs. 451-460 - Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev:
Revisiting Inferential Benchmarks for Knowledge Graph Completion. 461-471 - Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro:
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs. 472-481 - Carsten Lutz, Quentin Manière, Robin Nolte:
Querying Circumscribed Description Logic Knowledge Bases. 482-491 - Carsten Lutz, Lukas Schulze:
Description Logics with Abstraction and Refinement. 492-501 - Periklis Mantenoglou, Dimitrios Kelesis, Alexander Artikis:
Complex Event Recognition with Allen Relations. 502-511 - Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb:
Active Disjunctive Constraint Acquisition. 512-520 - Alejandro J. Mercado, Daniel A. Grimaldi, Ricardo Oscar Rodríguez:
Weak-Ensconcement for Shielded Base Contraction. 521-530 - Daphne Odekerken
, Tuomo Lehtonen
, AnneMarie Borg
, Johannes Peter Wallner, Matti Järvisalo:
Argumentative Reasoning in ASPIC+ under Incomplete Information. 531-541 - Cándido Otero
, Dennis Craandijk, Floris Bex:
ORLA: Learning Explainable Argumentation Models. 542-551 - Daira Pinto Prieto, Ronald de Haan, Aybüke Özgün
:
A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence. 552-561 - Henry Prakken:
Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions. 562-571 - Vít Puncochár:
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics. 572-581 - Antonio Rago, Hengzhi Li, Francesca Toni:
Interactive Explanations by Conflict Resolution via Argumentative Exchanges. 582-592 - Federico Sabbatini, Roberta Calegari:
Explainable Clustering with CREAM. 593-603 - Yakoub Salhi, Michael Sioutis:
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. 604-613 - Zeynep G. Saribatur, Stefan Woltran:
Foundations for Projecting Away the Irrelevant in ASP Programs. 614-624 - Nicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez:
Iteration of Iterated Belief Revision. 625-634 - Rita Torres Sousa, Sara Silva, Catia Pesquita:
Explainable Representations for Relation Prediction in Knowledge Graphs. 635-646 - Simon Ståhlberg, Blai Bonet, Hector Geffner:
Learning General Policies with Policy Gradient Methods. 647-657 - David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev:
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. 658-667 - Elena Umili, Roberto Capobianco
, Giuseppe De Giacomo:
Grounding LTLf Specifications in Image Sequences. 668-678 - Przemyslaw Andrzej Walega, Michal Zawidzki
, Christoph Haase:
Computing All Facts Entailed By An LTL Specification. 679-689 - Ruolin Wang, Yuejiao Xu, Jie Peng, Jianmin Ji:
A²CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles. 690-699 - Marco Wilhelm:
Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning. 700-709 - Sean Zammit, Michael Thielscher
:
General Game Playing With State-Independent Communication. 710-719 - Ringo Baumann, Anne-Marie Heine:
On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy. 720-725 - Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann
, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. 726-731 - Lars Bengel, Matthias Thimm:
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation. 732-736 - Michael Bernreiter, Matthias König:
From Qualitative Choice Logic to Abstract Argumentation. 737-741 - Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García:
Combining Global and Local Merges in Logic-based Entity Resolution. 742-746 - Jonas Philipp Haldimann, Christoph Beierle:
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. 747-751 - Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith:
Planning with Epistemic Preferences. 752-756 - Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio
:
Verification of Semantic Key Point Detection for Aircraft Pose Estimation. 757-762 - Francesco Leofante, Elena Botoeva, Vineet Rajani:
Counterfactual Explanations and Model Multiplicity: a Relational Verification View. 763-768 - Tim S. Lyon, Piotr Ostropolski-Nalewaja:
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. 769-773 - Mauricio Salerno, Raquel Fuentetaja, Jendrik Seipp:
Eliminating Redundant Actions from Plans Using Classical Planning. 774-778
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.