Decidability and Completeness for Open Formulas of Membership Theories.

Dorella Bellè Franco Parlamento

Published in: Notre Dame J. Formal Log. (1995)

Keyphrases

description logics
query answering
action theories
data sets
databases
theoretical framework
situation calculus
equational theories
neural network
genetic algorithm
search algorithm
fuzzy logic
computational models
cognitive psychology
modal operators