Logic, Individuals and Concepts

Viacheslav Wolfengagen

Published in: CoRR (2001)

Keyphrases

set theory
databases
boolean logic
data sets
expert systems
logic programming
domain ontology
modal logic
concept learning
predicate logic
data mining
formal concept analysis
logical framework
classical logic
proof theory