A Logic of Capabilities.

Wiebe van der Hoek Bernd van Linder John-Jules Ch. Meyer

Published in: LFCS (1994)

Keyphrases

logic programming
modal logic
abductive reasoning
multi valued
information systems
image processing
digital circuits
sound and complete axiomatization
artificial intelligence
relational databases
business processes
probability theory
logical framework
nonmonotonic logics
modal operators
asynchronous circuits