Validating Behavioral Component Interfaces in Rewriting Logic.

Einar Broch Johnsen Olaf Owe Arild B. Torjusen

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

logic programming
predicate logic
query rewriting
special case
conjunctive queries
modal logic
software components
interface design
logical framework
defeasible logic
multi valued
visual interfaces
rewrite rules
truth values
computational properties
neural network
automated reasoning
human behavior
user interface