Rigor mortis: a response to Nillsson's "logic and artificial intelligence (1991)

by L Birnbaum
Venue:Artificial Intelligence