Accepted Papers

last modified: 20 Oct 2021

Papers: 87
Search titles and author lists

Main Track

long Leila Amgoud and Vivien BeuselinckEquivalence of Semantics in Argumentation details long Jens Classen and James DelgrandeAn Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors details long Maxime Buron, Marie-Laure Mugnier and Michaël ThomazoParallelisable Existential Rules: a Story of Pieces details long Robin Nolte and Thomas SchneiderProperties of Module Notions and Atomic Decomposition details long Timothy van Bremen and Ondřej KuželkaLifted Inference with Tree Axioms details long Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns and Nikolai KäferAdmissibility in Probabilistic Argumentation details long Yusuke Kawamoto, Tetsuya Sato and Kohei SuenagaFormalizing Statistical Beliefs in Hypothesis Testing Using Program Logic details long Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal BercherCorrecting Hierarchical Plans by Action Deletion details long Thomas Ågotnes and Yì Nicholas WángSomebody Knows details long Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi and Giuseppe PerelliTimed Trace Alignment with Metric Temporal Logic over Finite Traces details long Ringo Baumann and Markus UlbrichtChoices and their Consequences - Explaining LONGable Sets in Abstract Argumentation Frameworks details long Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli and Shufang ZhuSynthesis with Mandatory Stop Actions details long Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph and Michaël ThomazoCapturing Homomorphism-Closed Decidable Queries with Existential Rules details long Lukas Chrpa, Martin Pilat and Jakub MedOn Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena details long Przemysław A. Wałęga, David J. Tena Cucala, Egor V. Kostylev and Bernardo Cuenca GrauDatalogMTL with Negation Under Stable Models Semantics details long Marlo Souza and Renata WassermannBelief Contraction in Non-classical logics as Hyperintensional Belief Change details long Wojciech Jamroga, Wojciech Penczek and Teofil SidorukStrategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them details long Przemysław A. Wałęga, Michał Zawidzki and Bernardo Cuenca GrauFinitely Materialisable Datalog Programs with Metric Temporal Operators details long Igor SedlárDecidability and Complexity of Some Finitely-valued Dynamic Logics details long Patricia Everaere, Chouaib Fellah, Sébastien Konieczny and Ramon Pino PerezBorda, Cancellation and Belief Merging details long Alexis de Colnet and Stefan MengelA Compilation of Succinctness Results for Arithmetic Circuits details long Thomas Eiter, Markus Hecher and Rafael KieselTreewidth-Aware Cycle Breaking for Algebraic Answer Set Counting details long Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu and Mantas SimkusReasoning about Explanations for Non-validation in SHACL details long Ruiqi Li, Hua Hua, Patrik Haslum and Jochen RenzUnsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial Relations details long Julian Gutierrez, Lewis Hammond, Anthony Lin, Muhammad Najib and Michael WooldridgeRational Verification for Probabilistic Systems details long Diego Aineto García, Sergio Jimenez Celorrio and Eva OnaindiaGeneralized Temporal Inference via Planning details long Magdalena Kacprzak, Artur Niewiadomski and Wojciech PenczekSatisfiability Checking of Strategy Logic with Simple Goals details long Daxin Liu and Qihui FengOn the Progression of Belief details long Jandson S. Ribeiro and Matthias ThimmConsolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability details long Gianfranco Lamperti, Marina Zanella and Xiangfu ZhaoDiagnosis of active systems with abstract observations and compiled knowledge details long Spencer Killen and Jia-Huai YouUnfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases details long Guilherme Paulino-Passos and Francesca ToniMonotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation details long Jesse Heyninck and Ofer ArieliApproximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming details long Giuseppe De Giacomo and Yves LespéranceThe Nondeterministic Situation Calculus details long David Rajaratnam and Michael ThielscherRepresenting and Reasoning with Event Models for Epistemic Planning details long Zeynep G. Saribatur and Johannes P. WallnerExistential Abstraction on Argumentation Frameworks via Clustering details long Claudia Cauli, Magdalena Ortiz and Nir PitermanClosed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security details long Anneke Haga, Carsten Lutz, Leif Sabellek and Frank WolterHow to Approximate Ontology-Mediated Queries details long Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen,and Leendert van der TorreA Principle-based Analysis of Abstract Agent Argumentation Semantics details long Bastien Maubert, Munyque Mittelmann, Aniello Murano and Laurent PerrusselStrategic Reasoning in Automated Mechanism Design details long Dominik Drexler, Jendrik Seipp and Hector GeffnerExpressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches details long Ofer Arieli, Annemarie Borg and Christian StrasserCharacterizations and Classifications of Argumentative Entailments details long Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini and Frank WolterSeparating Data Examples by Description Logic Concepts with Restricted Signatures details long Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano and Sasha RubinSynthesizing Best-effort Strategies under Multiple Environment Specifications details long Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba and Tjitze RienstraRevision and Conditional Inference for Abstract Dialectical Frameworks details long Bettina Fazzinga, Sergio Flesca and Filippo FurfaroReasoning over Attack-incomplete AAFs in the Presence of Correlations details long Annemarie Borg and Floris BexEnforcing Sets of Formulas in Structured Argumentation details long Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge and Bart VerheijSemi-Stable Semantics for Abstract Dialectical Frameworks details long Alessandro Artale, Andrea Mazzullo, Ana Ozaki and Frank WolterOn Free Description Logics with Definite Descriptions details short Yida Xin, Henry Lieberman and Peter ChinPATCHCOMM: Using Commonsense Knowledge to Guide Syntactic Parsers details short Markus UlbrichtOn the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks details short Andreas Herzig and Antonio Yuste-GinelOn the epistemic logic of incomplete argumentation frameworks details short Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis and Antonis TroumpoukisA Many-valued Logic for Lexicographic Preference Representation details short Wolfgang Dvořák, Matthias König and Stefan WoltranOn the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length details short Lukas Chrpa, Wolfgang Faber and Michael MorakUniversal and Uniform Action Reversibility details short Michael MorakSticky Existential Rules and Disjunction are Incompatible details short Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba and Matthias ThimmDistinguishability in Abstract Argumentation details short Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova and Marcel SteinmetzMaking DL-Lite Planning Practical details short Fabio Aurelio D'Asaro, Paolo Baldi and Giuseppe PrimieroIntroducing k-lingo: a k-depth bounded version of ASP system clingo details short Andreas Herzig, Frédéric Maris and Elise PerrotinA Dynamic Epistemic Logic with Finite Iteration and Parallel Composition details

KR & ML

long Devendra Dhami, Mayukh Das and Sriraam NatarajanBeyond Simple Images: Human Knowledge-Guided GANs for Clinical Data Generation details long Taisuke Sato and Ryosuke KojimaBoolean network learning in vector spaces for genome-wide network analysis details long Brendan Juba, Hai Le and Roni SternSafe Learning of Lifted Action Models details long Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez and Pierre MarquisOn the Computational Intelligibility of Boolean Classifiers details long Ivan D. Rodriguez, Blai Bonet, Javier Romero and Hector GeffnerLearning First-Order Representations for Planning from Black Box States: New Results details long Xuanxiang Huang, Yacine Izza, Alexey Ignatiev and Joao Marques-SilvaOn Efficiently Explaining Graph-Based Classifiers details long Robin Manhaeve, Giuseppe Marra and Luc De RaedtApproximate inference for Neural Probabilistic Logic Programming details long Roman Bresson, Johanne Cohen, Eyke Hüllermeier, Christophe Labreuche and Michèle SebagOn the Identifiability of Hierarchical Decision Models details

App & Systems

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

KR & Robotics

long Thomas Bolander, Lasse Dissing and Nicolai HerrmannDEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation details 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 NottensteinerFlexible Robotic Assembly Based on Ontological Representation of Tasks, Skills, and Resources details

RPR Track

abstract Yuliya Lierler and Craig OlsonInformation Extraction Tool Text2Alm: From Narratives to Action Language System Descriptions pdf abstract Weixin Zeng, Xiang Zhao, Wei Wang, Jiuyang Tang and Zhen TanDegree-Aware Alignment for Entities in Tail pdf abstract Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona and Viviana MascardiSummarising a Holistic Approach to the Verification and Validation of Autonomous Cognitive Systems pdf abstract Christoph Schütz, Loris Bozzato, Bernd Neumayr, Michael Schrefl and Luciano SerafiniKnowledge Graph OLAP: A multidimensional model and query operations for contextualized knowledge graphs pdf abstract Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte and Sheila A. McIlraithInterpretable Sequence Classification via Discrete Optimization pdf abstract Giovanni Amendola, Mirek Truszczynski and Francesco RiccaExtending ASP to model problems beyond NP pdf abstract Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian NuradiansyahComputing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes pdf abstract Mohan Sridharan, Tiago Mota and Ales LeonardisIntegrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics pdf abstract Manuel de Sousa Ribeiro and Joao LeiteAligning Artificial Neural Networks and Ontologies towards Explainable AI - Extended Abstract pdf abstract Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano and Sheila A. McIlraithLTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning (Extended Abstract) pdf abstract Alexey Ignatiev, Nina Narodytska, Nicholas Asher and Joao Marques-SilvaFrom Contrastive to Abductive Explanations and Back Again pdf abstract Nitisha Jain, Jan-Christoph Kalo, Wolf-Tilo Balke and Ralf KrestelDo Embeddings Actually Capture Knowledge Graph Semantics? pdf