Search

Search Results

• Satisfiability in Strategy Logic Can Be Easier than Model Checking

  Erman Acar, Massimo Benerecetti, Fabio Mogavero

  2638-2645

  2019-07-17

• Unbounded Orchestrations of Transducers for Manufacturing

  Natasha Alechina, Tomáš Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi

  2646-2653

  2019-07-17

• Relaxing and Restraining Queries for OBDA

  Medina Andreşel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Šimkus

  2654-2661

  2019-07-17

• Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees

  Alexander Bagnall, Gordon Stewart

  2662-2669

  2019-07-17

• Extension Removal in Abstract Argumentation – An Axiomatic Approach

  Ringo Baumann, Gerhard Brewka

  2670-2677

  2019-07-17

• Abstracting Causal Models

  Sander Beckers, Joseph Y. Halpern

  2678-2685

  2019-07-17

• Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory

  Bart Bogaerts

  2686-2693

  2019-07-17

• Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

  Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

  2694-2702

  2019-07-17

• Learning Features and Abstract Actions for Computing Generalized Plans

  Blai Bonet, Guillem Francès, Hector Geffner

  2703-2710

  2019-07-17

• Ontology-Mediated Query Answering over Log-Linear Probabilistic Data

  Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz

  2711-2718

  2019-07-17

• Querying Attributed DL-Lite Ontologies Using Provenance Semirings

  Camille Bourgaux, Ana Ozaki

  2719-2726

  2019-07-17

• Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models

  Andreas Bunte, Benno Stein, Oliver Niggemann

  2727-2735

  2019-07-17

• From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment

  David Carral, Larry González, Patrick Koopmann

  2736-2743

  2019-07-17

• Identification of Causal Effects in the Presence of Selection Bias

  Juan D. Correa, Jin Tian, Elias Bareinboim

  2744-2751

  2019-07-17

• Argumentation for Explainable Scheduling

  Kristijonas Čyras, Dimitrios Letsios, Ruth Misener, Francesca Toni

  2752-2759

  2019-07-17

• Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty

  Daniel de Leng, Fredrik Heintz

  2760-2767

  2019-07-17

• ABox Abduction via Forgetting in ALC

  Warren Del-Pinto, Renate A. Schmidt

  2768-2775

  2019-07-17

• Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable

  Heshan Du, Natasha Alechina

  2776-2783

  2019-07-17

• Validation of Growing Knowledge Graphs by Abductive Text Evidences

  Jianfeng Du, Jeff Z. Pan, Sylvia Wang, Kunxun Qi, Yuming Shen, Yu Deng

  2784-2791

  2019-07-17

• On Structured Argumentation with Conditional Preferences

  Phan Minh Dung, Phan Minh Thang, Tran Cao Son

  2792-2800

  2019-07-17

• Complexity of Abstract Argumentation under a Claim-Centric View

  Wolfgang Dvořák, Stefan Woltran

  2801-2808

  2019-07-17

• Strong Equivalence for Epistemic Logic Programs Made Easy

  Wolfgang Faber, Michael Morak, Stefan Woltran

  2809-2816

  2019-07-17

• Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability

  Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

  2817-2826

  2019-07-17

• Counting Complexity for Reasoning in Abstract Argumentation

  Johannes K. Fichte, Markus Hecher, Arne Meier

  2827-2834

  2019-07-17

• A Sequential Set Generation Method for Predicting Set-Valued Outputs

  Tian Gao, Jie Chen, Vijil Chenthamarakshan, Michael Witbrock

  2835-2842

  2019-07-17