Order Sorted Predicate Logic.
Arnold OberschelpPublished in: Sorts and Types in Artificial Intelligence (1989)
Keyphrases
- order sorted
- predicate logic
- knowledge representation and reasoning
- formal logic
- semantic net
- computational linguistics
- lower level
- temporal logic
- semantic network
- predicate calculus
- artificial intelligence
- fluent calculus
- higher level
- logic programming
- incomplete information
- databases
- orders of magnitude
- information sources
- information extraction
- low level
- search space
- web services
- machine learning