Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.
Jörg EndrullisHelle Hvid HansenDimitri HendriksAndrew PolonskyAlexandra SilvaPublished in: CoRR (2017)
Keyphrases
- artificial intelligence
- logic programming
- theorem proving
- data mining
- information retrieval
- modal logic
- horn clauses
- equational theories
- real time
- asynchronous circuits
- predicate logic
- nonmonotonic logics
- classical logic
- theorem prover
- relational databases
- bayesian networks
- database systems
- information systems
- neural network