[Lecture Notes in Computer Science] Truth Maintenance Systems Volume 515 || A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision
Martins, João Pavão, Reinfrank, MichaelVolume:
10.1007/BF
Year:
1991
Language:
english
DOI:
10.1007/bfb0037031
File:
PDF, 1.25 MB
english, 1991