Search

Search Results

• Ontology Module Extraction via Datalog Reasoning

  Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

  2015-02-18

• Logic Programming in Assumption-Based Argumentation Revisited - Semantics and Graphical Representation

  Claudia Schulz, Francesca Toni

  2015-02-18

• A Logic for Reasoning About Game Strategies

  Dongmo Zhang, Michael Thielscher

  2015-02-18

• Belief Revision Games

  Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis

  2015-02-18

• From Classical to Consistent Query Answering under Existential Rules

  Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo Simari

  2015-02-18

• Instance-Driven Ontology Evolution in DL-Lite

  Zhe Wang, Kewen Wang, Zhiqiang Zhuang, Guilin Qi

  2015-02-18

• Partial Meet Revision and Contraction in Logic Programs

  Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang

  2015-02-18

• Pearl's Causality in a Logical Setting

  Alexander Bochman, Vladimir Lifschitz

  2015-02-18

• Minimizing User Involvement for Accurate Ontology Matching Problems

  Anika Schumann, Freddy Lecue

  2015-02-18

• Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm

  Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

  2015-02-18

• LARS: A Logic-Based Framework for Analyzing Reasoning over Streams

  Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink

  2015-02-18

• Projection in the Epistemic Situation Calculus with Belief Conditionals

  Christoph Schwering, Gerhard Lakemeyer

  2015-02-18

• Action Language BC+: Preliminary Report

  Joseph Babb, Joohyung Lee

  2015-02-18

• Tractable Interval Temporal Propositional and Description Logics

  Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

  2015-02-18

• Existential Rule Languages with Finite Chase: Complexity and Expressiveness

  Heng Zhang, Yan Zhang, Jia-Huai You

  2015-02-18

• Learning Partial Lexicographic Preference Trees over Combinatorial Domains

  Xudong Liu, Miroslaw Truszczynski

  2015-02-18

• A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs

  James Delgrande, Kewen Wang

  2015-02-18

• Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence

  Tran Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond

  2015-02-18

• Solving and Explaining Analogy Questions Using Semantic Networks

  Adrian Boteanu, Sonia Chernova

  2015-02-18

• Splitting a Logic Program Revisited

  Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

  2015-02-18

• asprin: Customizing Answer Set Preferences without a Headache

  Gerhard Brewka, James Delgrande, Javier Romero, Torsten Schaub

  2015-02-18

• On Elementary Loops and Proper Loops for Disjunctive Logic Programs

  Jianmin Ji, Hai Wan, Peng Xiao

  2015-02-18

• XPath for DL Ontologies

  Egor Kostylev, Juan Reutter, Domagoj Vrgoc

  2015-02-18

• Exploiting Parallelism for Hard Problems in Abstract Argumentation

  Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou

  2015-02-18

• Interactive Query-Based Debugging of ASP Programs

  Kostyantyn Shchekotykhin

  2015-02-18