Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.

Patrick Doherty Witold Lukaszewicz

Published in: ISMIS (1994)

Keyphrases

salient features
feature extraction
image features
co occurrence
benchmark datasets
prior knowledge
neural network
feature space
image retrieval
feature set
situation calculus
classical logic