Open AccessEfficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining
Author(s) -
Christoph Redl
Publication year - 2017
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.v31i1.10672
Subject(s) - computer science , rewriting , rotation formalisms in three dimensions , set (abstract data type) , semantic reasoner , programming language , extension (predicate logic) , atom (system on chip) , answer set programming , source code , theoretical computer science , operating system , mathematics , artificial intelligence , geometry