Tableaux for Expansion and Contraction.

Roderic A. Girle

Published in: PRICAI (1996)

Keyphrases

modal logic
belief change
decision procedures
search engine
image processing
functional dependencies
belief revision
computational complexity
object recognition
data analysis
relational databases
automated reasoning