Table of Contents

• Somebody KnowsThomas Ågotnes, Yì N. Wáng. 2-11 [doi]
• Reasoning about Explanations for Non-validation in SHACLShqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus. 12-21 [doi]
• Generalized Temporal Inference via PlanningDiego Aineto, Sergio Jiménez 0003, Eva Onaindia. 22-31 [doi]
• Equivalence of Semantics in ArgumentationLeila Amgoud, Vivien Beuselinck. 32-41 [doi]
• Synthesizing Best-effort Strategies under Multiple Environment SpecificationsBenjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin. 42-51 [doi]
• Characterizations and Classifications of Argumentative EntailmentsOfer Arieli, Annemarie Borg, Christian Straßer. 52-62 [doi]
• On Free Description Logics with Definite DescriptionsAlessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter. 63-73 [doi]
• On the Computational Intelligibility of Boolean ClassifiersGilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis. 74-86 [doi]
• Admissibility in Probabilistic ArgumentationChristel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer. 87-98 [doi]
• Correcting Hierarchical Plans by Action DeletionRoman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher. 99-109 [doi]
• Choices and their Consequences - Explaining Acceptable Sets in Abstract Argumentation FrameworksRingo Baumann, Markus Ulbricht 0001. 110-119 [doi]
• DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and ImplementationThomas Bolander, Lasse Dissing, Nicolai Herrmann. 120-129 [doi]
• Enforcing Sets of Formulas in Structured ArgumentationAnnemarie Borg, Floris Bex. 130-140 [doi]
• Capturing Homomorphism-Closed Decidable Queries with Existential RulesCamille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo. 141-150 [doi]
• On the Identifiability of Hierarchical Decision ModelsRoman Bresson, Johanne Cohen, Eyke Hüllermeier, Christophe Labreuche, Michèle Sebag. 151-161 [doi]
• Parallelisable Existential Rules: a Story of PiecesMaxime Buron, Marie-Laure Mugnier, Michaël Thomazo. 162-173 [doi]
• Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure SecurityClaudia Cauli, Magdalena Ortiz, Nir Piterman. 174-183 [doi]
• On Eventual Applicability of Plans in Dynamic Environments with Cyclic PhenomenaLukás Chrpa, Martin Pilát, Jakub Med. 184-193 [doi]
• An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible SensorsJens Claßen, James P. Delgrande. 194-204 [doi]
• A Compilation of Succinctness Results for Arithmetic CircuitsAlexis de Colnet, Stefan Mengel. 205-215 [doi]
• The Nondeterministic Situation CalculusGiuseppe De Giacomo, Yves Lespérance. 216-226 [doi]
• Timed Trace Alignment with Metric Temporal Logic over Finite TracesGiuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli. 227-236 [doi]
• Synthesis with Mandatory Stop ActionsGiuseppe De Giacomo, Antonio Di Stasio 0001, Giuseppe Perelli, Shufang Zhu 0001. 237-246 [doi]
• Beyond Simple Images: Human Knowledge-Guided GANs for Clinical Data GenerationDevendra Singh Dhami, Mayukh Das, Sriraam Natarajan. 247-257 [doi]
• Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using SketchesDominik Drexler, Jendrik Seipp, Hector Geffner. 258-268 [doi]
• Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingThomas Eiter, Markus Hecher, Rafael Kiesel. 269-279 [doi]
• Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine SchedulingThomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova 0001. 280-290 [doi]
• Borda, Cancellation and Belief MergingPatricia Everaere, Chouaib Fellah, Sébastien Konieczny, Ramón Pino Pérez. 291-300 [doi]
• Reasoning over Attack-incomplete AAFs in the Presence of CorrelationsBettina Fazzinga, Sergio Flesca, Filippo Furfaro. 301-311 [doi]
• Rational Verification for Probabilistic SystemsJulian Gutierrez 0001, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge. 312-322 [doi]
• How to Approximate Ontology-Mediated QueriesAnneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter. 323-333 [doi]
• Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic ProgrammingJesse Heyninck, Ofer Arieli. 334-344 [doi]
• Revision and Conditional Inference for Abstract Dialectical FrameworksJesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm. 345-355 [doi]
• On Efficiently Explaining Graph-Based ClassifiersXuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva 0001. 356-367 [doi]
• Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame ThemWojciech Jamroga, Wojciech Penczek, Teofil Sidoruk. 368-378 [doi]
• Safe Learning of Lifted Action ModelsBrendan Juba, Hai S. Le, Roni Stern. 379-389 [doi]
• Separating Data Examples by Description Logic Concepts with Restricted SignaturesJean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter. 390-399 [doi]
• Satisfiability Checking of Strategy Logic with Simple GoalsMagdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek. 400-410 [doi]
• Formalizing Statistical Beliefs in Hypothesis Testing Using Program LogicYusuke Kawamoto 0001, Tetsuya Sato, Kohei Suenaga. 411-421 [doi]
• Semi-Stable Semantics for Abstract Dialectical FrameworksAtefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij. 422-431 [doi]
• Unfounded Sets for Disjunctive Hybrid MKNF Knowledge BasesSpencer Killen, Jia-Huai You. 432-441 [doi]
• Diagnosis of Active Systems with Abstract Observations and Compiled KnowledgeGianfranco Lamperti, Marina Zanella, Xiangfu Zhao. 442-453 [doi]
• Unsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial RelationsRuiqi Li, Hua Hua, Patrik Haslum, Jochen Renz. 454-464 [doi]
• On the Progression of BeliefDaxin Liu, Qihui Feng. 465-474 [doi]
• Approximate Inference for Neural Probabilistic Logic ProgrammingRobin Manhaeve, Giuseppe Marra, Luc De Raedt. 475-486 [doi]
• Strategic Reasoning in Automated Mechanism DesignBastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel. 487-496 [doi]
• Properties of Module Notions and Atomic DecompositionRobin Nolte, Thomas Schneider 0002. 497-507 [doi]
• Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract ArgumentationGuilherme Paulino-Passos, Francesca Toni. 508-518 [doi]
• Representing and Reasoning with Event Models for Epistemic PlanningDavid Rajaratnam, Michael Thielscher. 519-528 [doi]
• Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of CulpabilityJandson S. Ribeiro, Matthias Thimm. 529-538 [doi]
• Learning First-Order Representations for Planning from Black Box States: New ResultsIvan D. Rodriguez, Blai Bonet, Javier Romero 0003, Hector Geffner. 539-548 [doi]
• Existential Abstraction on Argumentation Frameworks via ClusteringZeynep Gözen Saribatur, Johannes Peter Wallner. 549-559 [doi]
• Boolean Network Learning in Vector Spaces for Genome-wide Network AnalysisTaisuke Sato, Ryosuke Kojima. 560-569 [doi]
• Decidability and Complexity of Some Finitely-valued Dynamic LogicsIgor Sedlár. 570-580 [doi]
• Gaussian Elimination Meets Maximum SatisfiabilityMate Soos, Kuldeep S. Meel. 581-587 [doi]
• Belief Contraction in Non-classical logics as Hyperintensional Belief ChangeMarlo Souza, Renata Wassermann. 588-598 [doi]
• Lifted Inference with Tree AxiomsTimothy van Bremen, Ondrej Kuzelka. 599-608 [doi]
• DatalogMTL with Negation Under Stable Models SemanticsPrzemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau. 609-618 [doi]
• Finitely Materialisable Datalog Programs with Metric Temporal OperatorsPrzemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau. 619-628 [doi]
• A Principle-based Analysis of Abstract Agent Argumentation SemanticsLiuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen, Leendert van der Torre. 629-640 [doi]
• Making DL-Lite Planning PracticalStefan Borgwardt, Jörg Hoffmann 0001, Alisa Kovtunova, Marcel Steinmetz. 641-645 [doi]
• A Many-valued Logic for Lexicographic Preference RepresentationAngelos Charalambidis, George Papadimitriou 0005, Panos Rondogiannis, Antonis Troumpoukis. 646-650 [doi]
• Universal and Uniform Action ReversibilityLukás Chrpa, Wolfgang Faber 0001, Michael Morak. 651-654 [doi]
• Measuring Inconsistency over Sequences of Business Rule CasesCarl Corea, Matthias Thimm, Patrick Delfmann. 655-660 [doi]
• Introducing k-lingo: a k-depth Bounded Version of ASP System ClingoFabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero. 661-664 [doi]
• Combining Logic and Natural Language Processing to Support Investment ManagementMarjolein Deryck, Nuno Comenda, Bart Coppens, Joost Vennekens. 665-670 [doi]
• On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle LengthWolfgang Dvorák, Matthias König 0002, Stefan Woltran. 671-675 [doi]
• A Dynamic Epistemic Logic with Finite Iteration and Parallel CompositionAndreas Herzig, Frédéric Maris, Elise Perrotin. 676-680 [doi]
• On the Epistemic Logic of Incomplete Argumentation FrameworksAndreas Herzig, Antonio Yuste-Ginel. 681-685 [doi]
• Distinguishability in Abstract ArgumentationIsabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm. 686-690 [doi]
• Sticky Existential Rules and Disjunction are IncompatibleMichael Morak. 691-695 [doi]
• Randomized Problem-Relaxation Solving for Over-Constrained SchedulesPatrick Rodler, Erich Teppan, Dietmar Jannach. 696-701 [doi]
• Flexible Robotic Assembly Based on Ontological Representation of Tasks, Skills, and ResourcesPhilipp Matthias Schäfer, Franz Steinmetz, Stefan Schneyer, Timo Bachmann, Thomas Eiband, Florian Samuel Lay, Abhishek Padalkar, Christoph Sürig, Freek Stulp, Korbinian Nottensteiner. 702-706 [doi]
• On the Maximal Number of Complete Extensions in Abstract Argumentation FrameworksMarkus Ulbricht 0001. 707-711 [doi]
• PATCHCOMM: Using Commonsense Knowledge to Guide Syntactic ParsersYida Xin, Henry Lieberman, Peter Chin. 712-716 [doi]