Open AccessIntegrating Rules and Description Logics by Circumscription
Author(s) -
Qian Yang,
Jia-Huai You,
Zhiyong Feng
Publication year - 2011
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.v25i1.7850
Subject(s) - circumscription , semantics (computer science) , stable model semantics , logic programming , answer set programming , non monotonic logic , well founded semantics , set (abstract data type) , computer science , mathematics , artificial intelligence , theoretical computer science , programming language , denotational semantics , operational semantics