DLP and FaCT.

Peter F. Patel-Schneider Ian Horrocks

Published in: TABLEAUX (1999)

Keyphrases

genetic algorithm
artificial intelligence
three dimensional
data structure
pairwise
email
active learning
answer set programming
structured light
disjunctive logic programming