Executable Formal Models in Rewriting Logic (Invited Talk).

Carolyn L. Talcott

Published in: RTA (2015)

Keyphrases

formal models
invited talk
formal model
rule based systems
knowledge discovery and data mining
process model
selected papers
knowledge discovery
modal logic
logic programming
conjunctive queries
asynchronous circuits
genetic algorithm
knowledge based systems
datalog programs
short papers