On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract).
Yuri V. MatiyasevichPublished in: RTA (1995)
Keyphrases
- computer algebra
- propositional dynamic logic
- augmented reality
- modal logic
- mathematical theory
- logic programming
- computational properties
- classical logic
- multi valued
- asynchronous circuits
- epistemic logic
- logical framework
- cultural heritage
- low level
- defeasible logic
- rewrite rules
- digital libraries
- rewriting rules
- databases
- automated reasoning
- conjunctive queries
- special case
- human reasoning
- database systems
- artificial intelligence