Tableau Calculus for Order Sorted Logic.

Peter H. Schmitt Wolfgang Wernecke

Published in: Sorts and Types in Artificial Intelligence (1989)

Keyphrases

order sorted logic
tableau calculus
description logics
knowledge base
conceptual structures
minimal models
knowledge representation
logic programs
learning algorithm
expert systems
information extraction
nearest neighbor
knowledge based systems