
Query Answering with Inconsistent Existential Rules under Stable Model Semantics
Author(s) -
Hai Wan,
Heng Zhang,
Peng Xiao,
Haoran Huang,
Yan Zhang
Publication year - 2016
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v30i1.10085
Subject(s) - computer science , stable model semantics , negation , semantics (computer science) , ontology , question answering , existentialism , answer set programming , conjunctive query , set (abstract data type) , information retrieval , programming language , theoretical computer science , natural language processing , operational semantics , relational database , philosophy , epistemology