Accepted Papers

last modified: 19 Jul 2021

Papers: 75
Search titles and author lists

Main Track

long Leila Amgoud and Vivien Beuselinck Equivalence of Semantics in Argumentation long Jens Classen and James Delgrande An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors long Maxime Buron, Marie-Laure Mugnier and Michaël Thomazo Parallelisable Existential Rules: a Story of Pieces long Robin Nolte and Thomas Schneider Properties of Module Notions and Atomic Decomposition long Timothy van Bremen and Ondřej Kuželka Lifted Inference with Tree Axioms long Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns and Nikolai Käfer Admissibility in Probabilistic Argumentation long Yusuke Kawamoto, Tetsuya Sato and Kohei Suenaga Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic long Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal Bercher Correcting Hierarchical Plans by Action Deletion long Thomas Ågotnes and Yì Nicholas Wáng Somebody Knows long Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi and Giuseppe Perelli Timed Trace Alignment with Metric Temporal Logic over Finite Traces long Ringo Baumann and Markus Ulbricht Choices and their Consequences - Explaining LONGable Sets in Abstract Argumentation Frameworks long Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli and Shufang Zhu Synthesis with Mandatory Stop Actions long Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph and Michaël Thomazo Capturing Homomorphism-Closed Decidable Queries with Existential Rules long Lukas Chrpa, Martin Pilat and Jakub Med On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena long Przemysław A. Wałęga, David J. Tena Cucala, Egor V. Kostylev and Bernardo Cuenca Grau DatalogMTL with Negation Under Stable Models Semantics long Marlo Souza and Renata Wassermann Belief Contraction in Non-classical logics as Hyperintensional Belief Change long Wojciech Jamroga, Wojciech Penczek and Teofil Sidoruk Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them long Przemysław A. Wałęga, Michał Zawidzki and Bernardo Cuenca Grau Finitely Materialisable Datalog Programs with Metric Temporal Operators long Igor Sedlar Decidability and Complexity of Graded Dynamic Logics long Patricia Everaere, Chouaib Fellah, Sébastien Konieczny and Ramon Pino Perez Borda, Cancellation and Belief Merging long Alexis de Colnet and Stefan Mengel A Partial Succinctness Map for Positive Arithmetic Circuits long Thomas Eiter, Markus Hecher and Rafael Kiesel Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting long Robin Manhaeve, Giuseppe Marra and Luc De Raedt Approximate inference for Neural Probabilistic Logic Programming long Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu and Mantas Simkus Reasoning about Explanations for Non-validation in SHACL long Ruiqi Li, Hua Hua, Patrik Haslum and Jochen Renz Unsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial Relations long Julian Gutierrez, Lewis Hammond, Anthony Lin, Muhammad Najib and Michael Wooldridge Rational Verification for Probabilistic Systems long Diego Aineto García, Sergio Jimenez Celorrio and Eva Onaindia Generalized Temporal Inference via Planning long Magdalena Kacprzak, Artur Niewiadomski and Wojciech Penczek Satisfiability Checking of Strategy Logic with Simple Goals long Dominik Drexler, Jendrik Seipp and Hector Geffner Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches long Jandson S. Ribeiro and Matthias Thimm Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability long Gianfranco Lamperti, Marina Zanella and Xiangfu Zhao Diagnosis of active systems with abstract observations and compiled knowledge long Spencer Killen and Jia-Huai You Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases long Guilherme Paulino-Passos and Francesca Toni Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation long Jesse Heyninck and Ofer Arieli Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming long Giuseppe De Giacomo and Yves Lespérance The Nondeterministic Situation Calculus long David Rajaratnam and Michael Thielscher Representing and Reasoning with Event Models for Epistemic Planning long Zeynep G. Saribatur and Johannes P. Wallner Existential Abstraction on Argumentation Frameworks via Clustering long Claudia Cauli, Magdalena Ortiz and Nir Piterman Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security long Anneke Haga, Carsten Lutz, Leif Sabellek and Frank Wolter How to Approximate Ontology-Mediated Queries long Daxin Liu and Qihui Feng On the Progression of Belief long Dongheng Chen, Lisha Qiao, Yiqi Shen, Yu Liuwen and Leendert van der Torre A Principle-based Analysis of Abstract Agent Argumentation Semantics long Ofer Arieli, Annemarie Borg and Christian Strasser Characterizations and Classifications of Argumentative Entailments long Annemarie Borg and Floris Bex Enforcing Sets of Formulas in Structured Argumentation long Bettina Fazzinga, Sergio Flesca and Filippo Furfaro Reasoning over Attack-incomplete AAFs in the Presence of Correlations long Alessandro Artale, Andrea Mazzullo, Ana Ozaki and Frank Wolter On Free Description Logics with Definite Descriptions long Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge and Bart Verheij Semi-Stable Semantics for Abstract Dialectical Frameworks long Bastien Maubert, Munyque Mittelmann, Aniello Murano and Laurent Perrussel Strategic Reasoning in Automated Mechanism Design long Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba and Tjitze Rienstra Revision and Conditional Inference for Abstract Dialectical Frameworks long Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano and Sasha Rubin Synthesizing Best-effort Strategies under Multiple Environment Specifications long Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini and Frank Wolter Separating Data Examples by Description Logic Concepts with Restricted Signatures short Fabio Aurelio D'Asaro, Paolo Baldi and Giuseppe Primiero Introducing k-lingo: a k-depth bounded version of ASP system clingo short Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova and Marcel Steinmetz Making DL-Lite Planning Practical short Michael Morak Sticky Existential Rules and Disjunction are Incompatible short Lukas Chrpa, Wolfgang Faber and Michael Morak Universal and Uniform Action Reversibility short Yida Xin, Henry Lieberman and Peter Chin PATCHCOMM: Using Commonsense Knowledge to Guide Syntactic Parsers short Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba and Matthias Thimm Distinguishability in Abstract Argumentation short Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis and Antonis Troumpoukis A Many-valued Logic for Lexicographic Preference Representation short Andreas Herzig and Antonio Yuste-Ginel On the epistemic logic of incomplete argumentation frameworks short Markus Ulbricht On the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks short Andreas Herzig, Frédéric Maris and Elise Perrotin A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition short Wolfgang Dvořák, Matthias König and Stefan Woltran On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length

KR & ML

long Devendra Dhami, Mayukh Das and Sriraam Natarajan Beyond Simple Images: Human Knowledge-Guided GANs for Clinical Data Generation long Taisuke Sato and Ryosuke Kojima Boolean network learning in vector spaces for genome-wide network analysis long Brendan Juba, Hai Le and Roni Stern Safe Learning of Lifted Action Models long Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez and Pierre Marquis On the Computational Intelligibility of Boolean Classifiers long Ivan D. Rodriguez, Blai Bonet, Javier Romero and Hector Geffner Learning First-Order Representations for Planning from Black Box States: New Results long Xuanxiang Huang, Yacine Izza, Alexey Ignatiev and Joao Marques-Silva On Efficiently Explaining Graph-Based Classifiers long Roman Bresson, Johanne Cohen, Eyke Hüllermeier, Christophe Labreuche and Michèle Sebag On the Identifiability of Hierarchical Decision Models

App & Systems

long Mate Soos and Kuldeep S. Meel Gaussian Elimination meets Maximum Satisfiability long Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skočovský and Daria Stepanova Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling short Carl Corea, Matthias Thimm and Patrick Delfmann Measuring Inconsistency over Sequences of Business Rule Cases short Patrick Rodler, Erich Teppan and Dietmar Jannach Randomized Problem-Relaxation Solving for Over-Constrained Schedules short Marjolein Deryck, Nuno Comenda, Bart Coppens and Joost Vennekens Combining Logic and Natural Language Processing to Support Investment Management

KR & Robotics

long Thomas Bolander, Lasse Dissing and Nicolai Herrmann DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation short Philipp Matthias Schäfer, Franz Steinmetz, Stefan Schneyer, Timo Bachmann, Thomas Eiband, Florian Samuel Lay, Abhishek Padalkar, Christoph Sürig, Freek Stulp and Korbinian Nottensteiner Flexible Robotic Assembly Based on Ontological Representation of Tasks, Skills, and Resources