Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4.

Fabio Bellissima Saverio Cittadini

Published in: Stud Logica (1999)

Keyphrases

modal logic
decision procedures
image database
input image
image data
three dimensional
image features
image registration
temporal logic
conditional logic
inference rules
image analysis
image classification
image retrieval
ground truth
epistemic logic
image sequences
prime implicates
default logic
test images
image regions
edge detection
situation calculus
logic programming
feature points
rough sets