Search

Search Results

• Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects

  Jakob Suchan, Mehul Bhatt, Przemysław Wałega, Carl Schultz

  2018-04-25

• Repairing Ontologies via Axiom Weakening

  Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz

  2018-04-25

• SELF: Structural Equational Likelihood Framework for Causal Discovery

  Ruichu Cai, Jie Qiao, Zhenjie Zhang, Zhifeng Hao

  2018-04-25

• Combining Rules and Ontologies into Clopen Knowledge Bases

  Labinot Bajraktari, Magdalena Ortiz, Mantas Šimkus

  2018-04-25

• Fairness in Decision-Making — The Causal Explanation Formula

  Junzhe Zhang, Elias Bareinboim

  2018-04-25

• Goal-Driven Query Answering for Existential Rules With Equality

  Michael Benedikt, Boris Motik, Efthymia Tsamoura

  2018-04-25

• Complexity of Verification in Incomplete Argumentation Frameworks

  Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe, Hilmar Schadrack

  2018-04-25

• Situation Calculus Semantics for Actual Causality

  Vitaliy Batusov, Mikhail Soutchanski

  2018-04-25

• In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds

  Emiliano Lorini

  2018-04-25

• SenticNet 5: Discovering Conceptual Primitives for Sentiment Analysis by Means of Context Embeddings

  Erik Cambria, Soujanya Poria, Devamanyu Hazarika, Kenneth Kwok

  2018-04-25

• Rational Inference Patterns Based on Conditional Logic

  Christian Eichhorn, Gabriele Kern-Isberner, Marco Ragni

  2018-04-25

• Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility

  Joseph Halpern, Max Kleiman-Weiner

  2018-04-25

• Towards a Unified Framework for Syntactic Inconsistency Measures

  Glauber De Bona, John Grant, Anthony Hunter, Sébastien Konieczny

  2018-04-25

• Measuring Conditional Independence by Independent Residuals: Theoretical Results and Application in Causal Discovery

  Hao Zhang, Shuigeng Zhou, Jihong Guan

  2018-04-25

• Optimised Maintenance of Datalog Materialisations

  Pan Hu, Boris Motik, Ian Horrocks

  2018-04-25

• Fair Inference on Outcomes

  Razieh Nabi, Ilya Shpitser

  2018-04-25

• Forgetting and Unfolding for Existential Rules

  Zhe Wang, Kewen Wang, Xiaowang Zhang

  2018-04-25

• A Framework and Positive Results for IAR-answering

  Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos

  2018-04-25

• On the Satisfiability Problem of Patterns in SPARQL 1.1

  Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Zhe Wang

  2018-04-25

• Maximum A Posteriori Inference in Sum-Product Networks

  Jun Mei, Yong Jiang, Kewei Tu

  2018-04-25

• Embedding of Hierarchically Typed Knowledge Bases

  Richong Zhang, Fanshuang Kong, Chenyue Wang, Yongyi Mao

  2018-04-25

• Behavior Is Everything: Towards Representing Concepts with Sensorimotor Contingencies

  Nicholas Hay, Michael Stark, Alexander Schlegel, Carter Wendelken, Dennis Park, Eric Purdy, Tom Silver, D. Scott Phoenix, Dileep George

  2018-04-25

• Measuring Strong Inconsistency

  Markus Ulbricht, Matthias Thimm, Gerhard Brewka

  2018-04-25

• Weighted Abstract Dialectical Frameworks

  Gerhard Brewka, Hannes Strass, Johannes Wallner, Stefan Woltran

  2018-04-25

• How Many Properties Do We Need for Gradual Argumentation?

  Pietro Baroni, Antonio Rago, Francesca Toni

  2018-04-25