UVT: A Unification Based Tool for Knowledge Base Verification.

Faruk Polat H. Altay Güvenir

Published in: EUROVAV (1991)

Keyphrases

knowledge base
knowledge acquisition
software tools
expert systems
higher order
machine learning
knowledge representation
rule base
wordnet
model checking
analysis tool
database
face verification
conceptual model
domain experts
knowledge based systems
logic programs
web services
artificial intelligence
real world