Trace- and Failure-Based Semantics for Bounded Responsiveness.

Walter Vogler Christian Stahl Richard Müller

Published in: ESOCC Workshops (2013)

Keyphrases

logic programming
formal semantics
database
logical framework
failure rate
argumentation semantics
databases
information systems
semantic information
semantic representation
operational semantics
transformation rules