Term Rewriting that Preserves Models in KR-Logic.

Kiyoshi Akama Ekawit Nantajeewarawat Taketo Akama

Published in: ACIIDS (1) (2019)

Keyphrases

term rewriting
theorem proving
rewrite systems
cooperative
modal logic
databases
artificial intelligence
bayesian networks
email
probabilistic model
complex systems
statistical models