A note on the Axioms of Restriction and Fundierung.

Elliott Mendelson

Published in: Inf. Sci. (1969)

Keyphrases

knowledge base
first order logic
neural network
real time
data mining
pairwise
transitive closure of roles
search engine
multiscale
data streams
computer science
hidden markov models
description logics