Answer Set Programming and Logic Programming
| Preference Relations by Approximation | |
| Mario Alviano, Javier Romero, Torsten Schaub |
| Introducing Temporal Stable Models for Linear Dynamic Logic | |
| Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
| Weight Learning in a Probabilistic Extension of Answer Set Programs | |
| Joohyung Lee, Yi Wang |
| A Hybrid Approach to Optimization in Answer Set Programming | |
| Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo |
| Omission-Based Abstraction for Answer Set Programs | |
| Zeynep G. Saribatur, Thomas Eiter |
| A Generator of Hard 2QBF Formulas and ASP Programs | |
| Giovanni Amendola, Francesco Ricca, Mirek Truszczynski |
| Computing Logic Programs with Ordered Disjunction Using asprin | |
| Joohyung Lee, Zhun Yang |
| A Model-Based Approach to Visual Reasoning on CNLVR Dataset | |
| Shailaja Sampat, Joohyung Lee |
| SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs | |
| Da Shen, Yuliya Lierler |
| SOGrounder: Modelling and Solving Second-Order Logic | |
| Matthias van der Hallen, Gerda Janssens |
Argumentation
| An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases | |
| Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari |
| Gradual Semantics Accounting for Similarity between Arguments | |
| Leila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny, Nicolas Maudet |
| Measuring Similarity between Logical Arguments | |
| Leila Amgoud, Victor David |
| If Nothing Is Accepted — Repairing Argumentation Frameworks | |
| Ringo Baumann, Markus Ulbricht |
| Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation | |
| Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet |
| Constructive Logic Covers Argumentation and Logic Programming | |
| Jorge Fandinno, Luis Fariñas del Cerro |
| Updating Belief in Arguments in Epistemic Graphs | |
| Anthony Hunter, Sylwia Polberg, Nico Potyka |
| Continuous Dynamical Systems for Weighted Bipolar Argumentation | |
| Nico Potyka |
| Probabilistic Strength of Arguments with Structure | |
| Henry Prakken |
| Probabilistic Abstract Argumentation Based on SCC Decomposability | |
| Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert van der Torre |
| Extension Enforcement under Grounded Semantics in Abstract Argumentation | |
| Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo |
Automated Reasoning and Computation
| Reachability Analysis for Neural Agent-Environment Systems | |
| Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano |
| Hunting for Tractable Languages for Judgment Aggregation | |
| Ronald de Haan |
| iCon: A Diagrammatic Theorem Prover for Ontologies | |
| Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato |
Belief Revision and Nonmonotonicity
| On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators | |
| Richard Booth, Jake Chandler |
| A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework | |
| Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak |
| Incorporating Relevance in Epistemic States in Belief Revision | |
| James Delgrande, Pavlos Peppas |
| Studies in Credibility-Limited Base Revision | |
| Marco Garapa, Eduardo Fermé, Maurício D. L. Reis |
| Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change | |
| Gabriele Kern-Isberner |
| Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus | |
| Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
| Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report | |
| Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis |
| Parametrised Difference Revision | |
| Pavlos Peppas, Mary-Anne Williams |
| Towards Belief Contraction without Compactness | |
| Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann |
| On Belief Promotion | |
| Nicolas Schwind, Sébastien Konieczny, Pierre Marquis |
Decision Theory, Rationality
| Preference Aggregation with Incomplete CP-Nets | |
| Adrian Haret, Arianna Novaro, Umberto Grandi |
Description Logics
| Making Repairs in Description Logics More Gentle | |
| Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza |
| Reasoning with Justifiable Exceptions in Contextual Hierarchies | |
| Loris Bozzato, Luciano Serafini, Thomas Eiter |
| The Combined Approach to Query Answering in Horn-ALCHOIQ | |
| David Carral, Irina Dragoste, Markus Krötzsch |
| Knowledge-Based Transfer Learning Explanation | |
| Jiaoyan Chen, Freddy Lecue, Jeff Z. Pan, Ian Horrocks, Huajun Chen |
| A Parameterized Complexity View on Description Logic Reasoning | |
| Ronald de Haan |
| Finite Query Answering in Expressive Description Logics with Transitive Roles | |
| Tomasz Gogacz, Yazmin Angelica Ibanez-Garcia, Filip Murlak |
| From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules | |
| Vıctor Gutierrez-Basulto, Steven Schockaert |
| Query Expressibility and Verification in Ontology-Based Data Access | |
| Carsten Lutz, Johannes Marti, Leif Sabellek |
| Query Answering for Rough EL Ontologies | |
| Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan |
| ExactLearner: A Tool for Exact Learning of EL Ontologies | |
| Ricardo Duarte, Boris Konev, Ana Ozaki |
Planning, Strategies, and Diagnosis
| Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints | |
| Peter Baumgartner, Sylvie Thiebaux, Felipe Trevizan |
| Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification | |
| Francesco Belardinelli, Catalin Dima, Aniello Murano |
| Approximating Perfect Recall When Model Checking Strategic Abilities | |
| Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
| Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination | |
| Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel |
| Finite LTL Synthesis with Environment Assumptions and Quality Measures | |
| Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
| Abductive Diagnosis of Complex Active Systems with Compiled Knowledge | |
| Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| Compiling Away Soft Trajectory Constraints in Planning | |
| Benedict Wright, Robert Mattmüller, Bernhard Nebel |
Reasoning about Actions, Causality
| On the Progression of Situation Calculus Universal Theories with Constants | |
| Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardina |
| On Laws and Counterfactuals in Causal Reasoning | |
| Alexander Bochman |
| Combining the Causal Judgments of Experts with Possibly Different Focus Areas | |
| Meir Friedenberg, Joseph Y. Halpern |
| Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic | |
| Benjamin Zarrieß |
| Symbolic Verification of Golog Programs with First-Order BDDs | |
| Jens Classen |
Reasoning about Knowledge and Belief
| Reasoning about Knowledge and Strategies under Hierarchical Information | |
| Bastien Maubert, Aniello Murano |
Temporal and Spatial Reasoning
| A Novel Automata-Theoretic Approach to Timeline-Based Planning | |
| Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
| Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference | |
| Hua Hua, Jochen Renz, Xiaoyu Ge |
| Cutting Diamonds: A Temporal Logic with Probabilistic Distributions | |
| Alisa Kovtunova, Rafael Peñaloza |
| The Window Validity Problem in Rule-Based Stream Reasoning | |
| Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
Uncertainty
| Approximating Certainty in Querying Data and Metadata | |
| Cristina Civili, Leonid Libkin |
| Propositional and Predicate Logics of Incomplete Information | |
| Marco Console, Paolo Guagliardo, Leonid Libkin |
| Quantified Markov Logic Networks | |
| Victor Gutierrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka |
Extended Abstracts
| Gradual Semantics for Weighted Graphs: An Unifying Approach | |
| Leila Amgoud, Dragan Doder |
| Synthesis under Assumptions | |
| Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| Relaxing and Restraining Queries for OBDA — Extended Abstract | |
| Medina Andresel, Yazmin Angelica Ibanez-Garcia, Magdalena Ortiz, Mantas Simkus |
| Loop Restricted Existential Rules and First-Order Rewritability for Query Answering | |
| Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si |
| Changing Observations in Epistemic Temporal Logic | |
| Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin |
| Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation | |
| Stefano Bistarelli, Francesco Santini |
| Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming — Extended Abstract | |
| Jori Bomanson, Tomi Janhunen, Antonius Weinzierl |
| Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains | |
| Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| A General Approach to Reasoning with Probabilities — Extended Abstract | |
| Federico Cerutti, Matthias Thimm |
| Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences | |
| Kristijonas Cyras, Tiago Oliveira |
| Partial-State Progression for Stream Reasoning with Metric Temporal Logic | |
| Daniel de Leng, Fredrik Heintz |
| Navigability with Bounded Recall | |
| Kaya Deuser, Pavel Naumov |
| Knowledge Compilation in the Multi-Agent Epistemic Logic Kn | |
| Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen |
| Exploiting Treewidth for Counting Projected Answer Sets | |
| Johannes K. Fichte, Markus Hecher |
| Towards Explainable Inference about Object Motion using Qualitative Reasoning | |
| Xiaoyu Ge, Jochen Renz, Hua Hua |
| Variable Elimination for DLP-Functions | |
| Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran |
| Two AGM-Style Characterizations of Model Repair | |
| Paulo T. Guerra, Renata Wassermann |
| Bayesian Model Selection in Statistical Construction of Justification | |
| Hiroyuki Kido |
| New Inference Relations from Maximal Consistent Subsets | |
| Sébastien Konieczny, Pierre Marquis, Srdjan Vesic |
| A SAT-Based Approach For PSPACE Modal Logics | |
| Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics | |
| Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo |
| On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA | |
| Stephanie McIntyre, Alexander Borgida, David Toman, Grant Weddell |
| Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions | |
| Arindam Mitra, Chitta Baral, Peter Clark |
| Strategic Coalitions in Systems with Catastrophic Failures | |
| Pavel Naumov, Kevin Ros |
| Structure Learning for Relational Logistic Regression:An Ensemble Approach | |
| Nandini Ramanan, Gautam Kunapuli, Tushar Khot, Bahare Fatemi, Seyed Mehran Kazemi, David Poole, Kristian Kersting, Sriraam Natarajan |
| Probabilistic Coalition Structure Generation | |
| Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis |
| Metric Temporal Extensions of DL-Lite and Interval-Rigid Names | |
| Veronika Thost |
| Propositional Belief Merging with OWA Operators | |
| Henrique Viana, João Alcântara |