A Logic Programming Environment for Document Semantics and Inference.
David DubinAllen RenearC. M. Sperberg-McQueenClaus HuitfeldtPublished in: Lit. Linguistic Comput. (2003)
Keyphrases
- programming environment
- logic programming
- programming language
- proof theory
- epistemic logic
- programming environments
- semantic information
- pilot project
- logic programs
- novice programmers
- modal operators
- relational database systems
- conditional logic
- high level
- general purpose
- lego mindstorms
- modal logic
- schema mappings
- data types
- software engineering
- object oriented
- relational databases
- database