Permissive-nominal logic.

Gilles Dowek Murdoch James Gabbay

Published in: PPDP (2010)

Keyphrases

classical logic
logic programming
modal logic
computational properties
asynchronous circuits
automated reasoning
probabilistic logic
data sets
computer vision
data structure
defeasible logic
micron cmos