The automation of reasoning with incomplete information. From semantic foundations to efficient computation
zbMath0915.68154MaRDI QIDQ1387257
Publication date: 4 June 1998
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (1)
Uses Software
This page was built for publication: The automation of reasoning with incomplete information. From semantic foundations to efficient computation
