Predicate logic with flexibly binding operators and natural language semantics.
Peter PaginDag WesterståhlPublished in: J. Log. Lang. Inf. (1993)
Keyphrases
- predicate logic
- logical formulas
- natural language
- highly expressive
- predicate calculus
- knowledge representation and reasoning
- semantic interpretation
- knowledge representation language
- knowledge representation
- fluent calculus
- semantic net
- semantic representation
- formal logic
- logic programming
- conceptual graphs
- temporal logic
- computational linguistics
- natural language processing
- formal semantics
- formal language
- linguistic expressions
- semantic network
- information extraction
- lower level
- modal operators
- semantic information
- logic programs
- machine learning
- default theories
- data analysis
- information retrieval