Open AccessForgetting and Unfolding for Existential Rules
Author(s) -
Zhe Wang,
Kewen Wang,
Xiaowang Zhang
Publication year - 2018
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.v32i1.11552
Subject(s) - forgetting , undecidable problem , existentialism , computer science , ontology , fragment (logic) , decidability , generalization , reuse , theoretical computer science , artificial intelligence , programming language , natural language processing , linguistics , epistemology , philosophy , ecology , biology