1989c): "Benchmark Problems for Formal Nonmonotonic Reasoning (0)

by Vladimir Lifschitz
Venue:Non-Monotonic Reasoning, 2nd International Workshop