A Logic Language Based on GAMMA-Like Multiset Rewriting.
Paolo CiancariniDaniela FogliMauro GaspariPublished in: GULP-PRODE (1995)
Keyphrases
- rewriting rules
- dynamic logic
- programming language
- formal theory
- modal operators
- formal language
- operational semantics
- natural language
- proof theory
- intuitionistic logic
- modal logic
- classical logic
- automated reasoning
- conditional logic
- language learning
- formal logic
- agent programming
- rewrite rules
- highly expressive
- object oriented
- database language
- database systems
- lambda calculus
- linear temporal logic
- rule engine
- natural language processing
- logic programs
- multi valued
- situation calculus
- query rewriting
- specification language