Login / Signup
A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification.
Domenico Cantone
Calogero G. Zarba
Published in:
TABLEAUX (1999)
Keyphrases
</>
set theory
description logics
algebraic geometry
decision making
fuzzy set theory
partial order
fuzzy sets
decision makers
first order logic
decision rules
proof procedure
mathematical morphology
rough set theory
machine learning
high order
feature extraction
knowledge base
computer vision
artificial intelligence