Title: Logic programming and nonmonotonic reasoning
First published: 1995
Subjects: Congresses, Logic programming, Nonmonotonic reasoning, Reasoning
LC classification: QA76.63 .L74 1995