Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence.

Raúl Monroy Alan Bundy Ian Green

Published in: ECAI (1998)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
rewrite systems
manually annotated
machine learning
reinforcement learning
socio technical