1
Published 1994
Springer Berlin Heidelberg
Table of Contents: ...Foundations of knowledge representation and reasoning -- Collective entities and relations...

3
Published 1997
Springer Berlin Heidelberg
.... The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge...

4
Published 1994
Springer Berlin Heidelberg
... Germany. The papers cover all relevant aspects of AI with a certain focus on knowledge representation...