Comparing Refinements for Failure and Bisimulation Semantics.

Rik Eshuis Maarten M. Fokkinga

Published in: Fundam. Informaticae (2002)

Keyphrases

formal semantics
semantic information
logic programming
neural network
specification language
data sets
conceptual model
conceptual graphs
default reasoning
failure rate
root cause
optimal planning
argumentation semantics