CTL formula evaluation by term rewriting inversion.

Mihai-Lica Pura Iulian Aciobanitei Stefan-Adrian Toma Didier Buchs

Published in: ECAI (2017)

Keyphrases

term rewriting
temporal logic
operational semantics
rewrite systems
machine learning
theorem prover
databases
intelligent systems
image reconstruction
autonomous agents
theorem proving
knuth bendix