Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.
Daniel J. DoughertyPierre LescanneLuigi LiquoriFrédéric LangPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- extended abstract
- term rewriting systems
- formal semantics
- operational semantics
- logic programs
- logic programming
- definition language
- lexical semantics
- predicate calculus
- rule language
- natural language processing
- attribute grammars
- natural language
- functional programs
- context free grammars
- general purpose
- databases
- machine processable
- knowledge base