A rewriting-based forwards semantics for Maude-NPA.

Santiago Escobar Catherine A. Meadows José Meseguer Sonia Santiago

Published in: HotSoS (2014)

Keyphrases

formal semantics
operational semantics
logic programming
semantic information
conceptual model
database
knowledge representation
active rules
speech acts