Multi-valued autoepistemic logic (1996)

by Robert F Stärk
Venue:Annals of Mathematics and Artificial Intelligence