- Paulius Dilkas, Vaishak Belle:
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. KR 2023: 198-207 - Dominik Drexler, Jendrik Seipp, Hector Geffner:
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules. KR 2023: 208-218 - Patricia Everaere, Chouaib Fellah, Sébastien Konieczny, Ramón Pino Pérez:
Weighted Merging of Propositional Belief Bases. KR 2023: 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. KR 2023: 229-239 - Jorge Fandinno, Vladimir Lifschitz:
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. KR 2023: 240-251 - Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind:
Credible Models of Belief Update. KR 2023: 252-261 - David Fernández-Duque, Brett McLean, Lukas Zenger:
A Family of Decidable Bi-intuitionistic Modal Logics. KR 2023: 262-271 - Valeria Fionda, Antonio Ielo, Francesco Ricca:
Logic-based Composition of Business Process Models. KR 2023: 272-281 - Tommaso Flaminio, Sandro Preto, Sara Ugolini:
Reasoning about Probability via Continuous Functions. KR 2023: 282-290 - Pietro Galliani, Oliver Kutz, Nicolas Troquard:
Succinctness and Complexity of ALC with Counting Perceptrons. KR 2023: 291-300 - Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon:
Standpoint Linear Temporal Logic. KR 2023: 311-321 - Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder:
Group Responsibility for Exceeding Risk Threshold. KR 2023: 322-332 - Jonas Philipp Haldimann, Christoph Beierle:
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. KR 2023: 747-751 - Markus Hecher, Rafael Kiesel:
The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits. KR 2023: 344-354 - Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia:
Revising Typical Beliefs: One Revision to Rule Them All. KR 2023: 355-364 - Yannet Interian, Sara Bernardini:
Learning Interpretable Heuristics for WalkSAT. KR 2023: 365-373 - Adam Ishay, Zhun Yang, Joohyung Lee:
Leveraging Large Language Models to Generate Answer Set Programs. KR 2023: 374-383 - Wojciech Jamroga, Yan Kim:
Practical Abstraction for Model Checking of Multi-Agent Systems. KR 2023: 384-394 - Lance Kennedy, Issouf Kindo, Arthur Choi:
On Training Neurons with Bounded Compilations. KR 2023: 395-405 - Rafael Kiesel, Thomas Eiter:
Knowledge Compilation and More with SharpSAT-TD. KR 2023: 406-416 - Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith:
Planning with Epistemic Preferences. KR 2023: 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. KR 2023: 757-762 - Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Definitions and (Uniform) Interpolants in First-Order Modal Logic. KR 2023: 417-428 - Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli:
Query Rewriting with Disjunctive Existential Rules and Mappings. KR 2023: 429-439 - Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner:
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. KR 2023: 440-450 - Francesco Leofante, Elena Botoeva, Vineet Rajani:
Counterfactual Explanations and Model Multiplicity: a Relational Verification View. KR 2023: 763-768 - Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro:
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs. KR 2023: 472-481 - Carsten Lutz, Quentin Manière, Robin Nolte:
Querying Circumscribed Description Logic Knowledge Bases. KR 2023: 482-491 - Carsten Lutz, Lukas Schulze:
Description Logics with Abstraction and Refinement. KR 2023: 492-501 - Tim S. Lyon, Piotr Ostropolski-Nalewaja:
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. KR 2023: 769-773