Search

Search Results

• Abstraction in Situation Calculus Action Theories

  Bita Banihashemi, Giuseppe De Giacomo, Yves Lesperance

  2017-02-12

• Checking the Consistency of Combined Qualitative Constraint Networks

  Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

  2017-02-12

• Ontology Materialization by Abstraction Refinement in Horn SHOIF

  Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran

  2017-02-12

• Source Information Disclosure in Ontology-Based Data Integration

  Michael Benedikt, Bernardo Cuenca Grau, Egor Kostylev

  2017-02-12

• Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach

  André Hernich, Julio Lemos, Frank Wolter

  2017-02-12

• Add Data into Business Process Verification: Bridging the Gap between Theory and Practice

  Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris

  2017-02-12

• The Unusual Suspects: Deep Learning Based Mining of Interesting Entity Trivia from Knowledge Graphs

  Nausheen Fatma, Manoj Chinnakotla, Manish Shrivastava

  2017-02-12

• LPMLN, Weak Constraints, and P-log

  Joohyung Lee, Zhun Yang

  2017-02-12

• Non-Parametric Estimation of Multiple Embeddings for Link Prediction on Dynamic Knowledge Graphs

  Yi Tay, Anh Luu, Siu Cheung Hui

  2017-02-12

• Small Is Beautiful: Computing Minimal Equivalent EL Concepts

  Nadeschda Nikitina, Patrick Koopmann

  2017-02-12

• Practical TBox Abduction Based on Justification Patterns

  Jianfeng Du, Hai Wan, Huaguan Ma

  2017-02-12

• Solving Advanced Argumentation Problems with Answer-Set Programming

  Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran

  2017-02-12

• SAT Encodings for Distance-Based Belief Merging Operators

  Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

  2017-02-12

• Ontology-Mediated Queries for Probabilistic Databases

  Stefan Borgwardt, Ismail Ceylan, Thomas Lukasiewicz

  2017-02-12

• On the Computation of Paracoherent Answer Sets

  Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca

  2017-02-12

• Number Restrictions on Transitive Roles in Description Logics with Nominals

  Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung

  2017-02-12

• ProjE: Embedding Projection for Knowledge Graph Completion

  Baoxu Shi, Tim Weninger

  2017-02-12

• Graph-Based Wrong IsA Relation Detection in a Large-Scale Lexical Taxonomy

  Jiaqing Liang, Yanghua Xiao, Yi Zhang, Seung-won Hwang, Haixun Wang

  2017-02-12

• On the Transitivity of Hypernym-Hyponym Relations in Data-Driven Lexical Taxonomies

  Jiaqing Liang, Yi Zhang, Yanghua Xiao, Haixun Wang, Wei Wang, Pinpin Zhu

  2017-02-12

• Entropic Causal Inference

  Murat Kocaoglu, Alexandros Dimakis, Sriram Vishwanath, Babak Hassibi

  2017-02-12

• Strategic Sequences of Arguments for Persuasion Using Decision Trees

  Emmanuel Hadoux, Anthony Hunter

  2017-02-12

• Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining

  Christoph Redl

  2017-02-12

• On Equivalence and Inconsistency of Answer Set Programs with External Sources

  Christoph Redl

  2017-02-12

• Don't Forget the Quantifiable Relationship between Words: Using Recurrent Neural Network for Short Text Topic Discovery

  Heng-Yang Lu, Lu-Yao Xie, Ning Kang, Chong-Jun Wang, Jun-Yuan Xie

  2017-02-12

• Polynomially Bounded Logic Programs with Function Symbols: A New Decidable

  Vernon Asuncion, Yan Zhang, Heng Zhang

  2017-02-12