|
|
|
Volumn , Issue , 1991, Pages 505-518
|
|
Computing abduction by using the TMS
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATION THEORY;
COMPUTER SOFTWARE;
CONSTRAINT THEORY;
LOGIC PROGRAMMING;
MATHEMATICAL MODELS;
PROGRAM TRANSLATORS;
RECURSIVE FUNCTIONS;
ABDUCTION;
ASSUMPTION BASED TRUTH MAINTENANCE SYSTEM;
AUTOEPISTEMIC LOGIC;
INTEGRITY CONSTRAINTS;
ARTIFICIAL INTELLIGENCE;
|
|
EID: 0026303946
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (40)
|
|
References (16)
|
