Open AccessLiberal Safety for Answer Set Programs with External Sources
Author(s) -
Thomas Eiter,
Michael Fink,
Thomas Krennwallner,
Christoph Redl
Publication year - 2013
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.v27i1.8571
Subject(s) - computer science , modular design , set (abstract data type) , class (philosophy) , operator (biology) , bounding overwatch , limit (mathematics) , value (mathematics) , domain (mathematical analysis) , theoretical computer science , answer set programming , programming language , extensibility , artificial intelligence , mathematics , machine learning , mathematical analysis , biochemistry , chemistry , repressor , transcription factor , gene