Occurrence Net Logics.

Published in: Fundam. Informaticae (2000)

Keyphrases

expressive power
modal logic
inference rules
search algorithm
database programming
nonmonotonic logics
image sequences
proof theoretic
conditional logic
default logic
propositional dynamic logic
occurrence frequency
epistemic logic
computational properties
database
fuzzy logic
computer vision
real time