Search

Search Results

• Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions

  Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter

  6193-6201

  2021-05-18

• Equivalent Causal Models

  Sander Beckers

  6202-6209

  2021-05-18

• The Counterfactual NESS Definition of Causation

  Sander Beckers

  6210-6217

  2021-05-18

• Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom

  Manuel Bodirsky, Simon Knäuer

  6218-6226

  2021-05-18

• Conditional Inference under Disjunctive Rationality

  Richard Booth, Ivan Varzinczak

  6227-6234

  2021-05-18

• Algebra of Modular Systems: Containment and Equivalence

  Andrei Bulatov, Eugenia Ternovska

  6235-6243

  2021-05-18

• Certifying Top-Down Decision-DNNF Compilers

  Florent Capelli, Jean-Marie Lagniez, Pierre Marquis

  6244-6253

  2021-05-18

• Contextual Conditional Reasoning

  Giovanni Casini, Thomas Meyer, Ivan Varzinczak

  6254-6261

  2021-05-18

• Preferred Explanations for Ontology-Mediated Queries under Existential Rules

  İsmail İlkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavičius

  6262-6270

  2021-05-18

• Topology-Aware Correlations Between Relations for Inductive Link Prediction in Knowledge Graphs

  Jiajun Chen, Huarui He, Feng Wu, Jie Wang

  6271-6278

  2021-05-18

• A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving

  Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

  6279-6287

  2021-05-18

• Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility

  Wolfgang Dvořák, Markus Ulbricht, Stefan Woltran

  6288-6295

  2021-05-18

• The Complexity Landscape of Claim-Augmented Argumentation Frameworks

  Wolfgang Dvořák, Alexander Greßler, Anna Rapberger, Stefan Woltran

  6296-6303

  2021-05-18

• On the Complexity of Sum-of-Products Problems over Semirings

  Thomas Eiter, Rafael Kiesel

  6304-6311

  2021-05-18

• Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard

  Jorge Fandinno, Markus Hecher

  6312-6320

  2021-05-18

• SMT-based Safety Checking of Parameterized Multi-Agent Systems

  Paolo Felli, Alessandro Gianola, Marco Montali

  6321-6330

  2021-05-18

• A Simple Framework for Cognitive Planning

  Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris

  6331-6339

  2021-05-18

• Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics

  Oliver Fernández Gil, Anni-Yasmin Turhan

  6340-6348

  2021-05-18

• Knowledge-Base Degrees of Inconsistency: Complexity and Counting

  Johannes K. Fichte, Markus Hecher, Arne Meier

  6349-6357

  2021-05-18

• Constraint Logic Programming for Real-World Test Laboratory Scheduling

  Tobias Geibinger, Florian Mischek, Nysret Musliu

  6358-6366

  2021-05-18

• Mining EL Bases with Adaptable Role Depth

  Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya

  6367-6374

  2021-05-18

• REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement

  Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang

  6375-6383

  2021-05-18

• (Comet-) Atomic 2020: On Symbolic and Neural Commonsense Knowledge Graphs

  Jena D. Hwang, Chandra Bhagavatula, Ronan Le Bras, Jeff Da, Keisuke Sakaguchi, Antoine Bosselut, Yejin Choi

  6384-6392

  2021-05-18

• Commonsense Knowledge Augmentation for Low-Resource Languages via Adversarial Learning

  Bosung Kim, Juae Kim, Youngjoong Ko, Jungyun Seo

  6393-6401

  2021-05-18

• Parameterized Logical Theories

  Fangzhen Lin

  6402-6409

  2021-05-18