Open AccessDomain-Specific Heuristics in Answer Set Programming
Author(s) -
Martin Gebser,
Benjamin Kaufmann,
Ramón P. Otero,
Javier Romero,
Torsten Schaub,
Philipp Wanko
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.8585
Subject(s) - heuristics , computer science , answer set programming , solver , heuristic , domain (mathematical analysis) , theoretical computer science , programming language , first order logic , set (abstract data type) , predicate (mathematical logic) , logic programming , artificial intelligence , mathematics , mathematical analysis , operating system