A Calculus for Order-Sorted Predicate Logic with Sort Literals.

Ulrich Hedtstück Peter H. Schmitt

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

Keyphrases

predicate logic
order sorted
formal logic
knowledge representation and reasoning
predicate calculus
semantic network
computational linguistics
temporal logic
semantic net
answer sets
machine learning
search engine
bayesian networks
knowledge representation
logical formulas
fluent calculus