Formalizing Bialgebraic Semantics in PVS 6.0.

Sjaak Smetsers Ken Madlener Marko C. J. D. van Eekelen

Published in: WPTE@RTA/TLCA (2015)

Keyphrases

formal semantics
logic programming
neural network
semantic information
theorem proving
expert systems
xml schema
default reasoning
specification language
logical language
argumentation semantics
timed automata