Epistemic and temporal reasoning /
Other Authors: | Cabbay, Dov. M., Hogger, C. J., Robinson, J. A., Galton, Antony |
---|---|
Format: | Book |
Published: |
Oxford:
Clarendon Pr.,
c199
|
Series: | Handbooks of logic in computer science and artificial intelligence and logic programming
|
Subjects: |
Similar Items
-
Nonmonotonic reasoning and uncertain reasoning /
Published: (1994) -
From modal logic to deductive databases : introducing a logic based approach to artificial intelligence /
Published: (1960) -
The Digital logic handbook 1966-67
Published: (1966) -
Logic programming /
Published: (1998) -
Deduction methodologies /
Published: (1994)