![]() |
Volumn 12, Issue 10, 1997, Pages 725-738
|
Verification and correctness issues for nonmonotonic knowledge bases
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
NONMONOTONIC KNOWLEDGE BASES;
VERIFICATION METHODS;
ARTIFICIAL INTELLIGENCE;
ERROR CORRECTION;
ERROR DETECTION;
FORMAL LOGIC;
KNOWLEDGE BASED SYSTEMS;
|
EID: 0031258428
PISSN: 08848173
EISSN: None
Source Type: Journal
DOI: 10.1002/(SICI)1098-111X(199710)12:10<725::AID-INT2>3.0.CO;2-# Document Type: Article |
Times cited : (4)
|
References (15)
|