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 |