Predicate Logic: A Calculus for the Formal Derivation of Programs.
Keith L. ClarkSharon SickelPublished in: IJCAI (1977)
Keyphrases
- predicate logic
- highly expressive
- formal logic
- knowledge representation and reasoning
- formal language
- provably correct
- temporal logic
- semantic network
- computational linguistics
- semantic net
- formal methods
- predicate calculus
- logical formulas
- lower level
- natural language processing
- data mining
- formal model
- domain knowledge
- high level