1
Published 1986
Springer Netherlands
Table of Contents: ...to Volume III -- III.1. Partial Logic -- III.2. Many-valued Logic -- III.3. Relevance Logic...

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... representation -- Circumscribing features and fluents -- Dealing with time granularity in a temporal planning...

3
Published 1984
Springer Netherlands
... worlds'. The inclusion of such 'indices' has turned out to be the semantic mainstay in dealing with a...

4
Published 1989
Springer Netherlands
... of the central problems of ascribing propositional attitudes to agents. Chap­ ter IV.8 deals with the analysis...