Universally Quantified Queries in Language with Order-Sorted Logics.
Stefan DeckerChristoph LingenfelderPublished in: GWAI (1992)
Keyphrases
- order sorted
- predicate logic
- universally quantified
- query processing
- universal quantification
- query language
- query evaluation
- artificial intelligence
- computational linguistics
- learning algorithm
- knowledge base
- incomplete information
- semantic network
- pattern languages
- knowledge representation and reasoning
- quantified boolean formulas