On the complexity of abduction

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 513-522

  Marek, Victor W ^a   Nerode, Anil ^a   Remmel, Jeffrey B ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; FORMAL LANGUAGES; FORMAL LOGIC; LOGIC PROGRAMMING; THEOREM PROVING;

ABDUCTIVE FRAMEWORKS; FINITE PREDICATE PROGRAMS;

COMPUTATIONAL COMPLEXITY;

EID: 0029719153     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)