Search

Search Results

• Contraction and Revision over DL-Lite TBoxes

  Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi

  2014-06-21

• Capturing Relational Schemas and Functional Dependencies in RDFS

  Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus

  2014-06-21

• Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics

  Saadat Anwar, Chitta Baral

  2014-06-21

• PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains

  Vaishak Belle, Hector Levesque

  2014-06-21

• Elementary Loops Revisited

  Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao

  2014-06-21

• The Computational Complexity of Structure-Based Causality

  Gadi Aleksandrowicz, Hana Chockler, Joseph Halpern, Alexander Ivrii

  2014-06-21

• The Complexity of Reasoning with FODD and GFODD

  Benjamin Hescott, Roni Khardon

  2014-06-21

• Local-to-Global Consistency Implies Tractability of Abduction

  Michal Wrona

  2014-06-21

• Computing General First-Order Parallel and Prioritized Circumscription

  Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang

  2014-06-21

• A Parameterized Complexity Analysis of Generalized CP-Nets

  Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler

  2014-06-21

• Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms

  Fang Wei-Kleiner, Zlatan Dragisic, Patrick Lambrix

  2014-06-21

• Managing Change in Graph-Structured Data Using Description Logics

  Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

  2014-06-21

• Pay-As-You-Go OWL Query Answering Using a Triple Store

  Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

  2014-06-21

• Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics

  Meghyn Bienvenu, Camille Bourgaux, François Goasdoué

  2014-06-21

• Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning

  Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

  2014-06-21

• A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams

  Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt

  2014-06-21

• A Constructive Argumentation Framework

  Souhila Kaci, Yakoub Salhi

  2014-06-21

• A Tractable Approach to ABox Abduction over Description Logic Ontologies

  Jianfeng Du, Kewen Wang, Yi-Dong Shen

  2014-06-21

• Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search

  Richard Valenzano, Nathan Sturtevant, Jonathan Schaeffer

  2014-06-21

• Parallel Restarted Search

  Andre Cire, Serdar Kadioglu, Meinolf Sellmann

  2014-06-21

• Relaxation Search: A Simple Way of Managing Optional Clauses

  Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos

  2014-06-21

• Elimination Ordering in Lifted First-Order Probabilistic Inference

  Seyed Mehran Kazemi, David Poole

  2014-06-21

• Simpler Bounded Suboptimal Search

  Matthew Hatem, Wheeler Ruml

  2014-06-21

• Identifying Hierarchies for Fast Optimal Search

  Tansel Uras, Sven Koenig

  2014-06-21

• Sparse Learning for Stochastic Composite Optimization

  Weizhong Zhang, Lijun Zhang, Yao Hu, Rong Jin, Deng Cai, Xiaofei He

  2014-06-21