A possibility-free logic of descriptions.

Ermanno Bencivenga

Published in: Arch. Math. Log. (1984)

Keyphrases

logic programming
modal logic
classical logic
real time
metadata
high level
probabilistic logic
asynchronous circuits
proof theory
information retrieval
defeasible logic
abductive reasoning