Open AccessEnhancing ASP by Functions: Decidable Classes and Implementation Techniques
Author(s) -
Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone
Publication year - 2010
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.v24i1.7702
Subject(s) - decidability , programming language , prolog , computer science , class (philosophy) , datalog , negation , answer set programming , function (biology) , computable function , computability , presburger arithmetic , knowledge representation and reasoning , set (abstract data type) , satisfiability , theoretical computer science , artificial intelligence , algorithm , evolutionary biology , biology