A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems.

Stefan Ciobaca Dorel Lucanu

Published in: IJCAR (2018)

Keyphrases

term rewriting systems
functional programs
artificial intelligence
state space
machine learning
knowledge representation
general purpose
rough sets
logic programs