Integrating answer set reasoning with constraint solving techniques

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4989 LNCS, Issue , 2008, Pages 15-31

  Mellarkod, Veena S ^a   Gelfond, Michael ^a  

^a TEXAS TECH UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHM CHECKING; CONSTRAINT SOLVERS; CONSTRAINT VARIABLES;

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; KNOWLEDGE REPRESENTATION; OBJECT ORIENTED PROGRAMMING;

CASE BASED REASONING;

EID: 43149091242     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78969-7_4     Document Type: Conference Paper

References (16)