Login / Signup
Comparative Transition System Semantics.
Tim Fernando
Published in:
CSL (1992)
Keyphrases
</>
formal semantics
logic programming
artificial intelligence
information systems
semantic information
semantic relationships
default reasoning
intended meaning
real time
argumentation semantics
proof theory
model theoretic
nonmonotonic logics
specification language
search algorithm
decision trees
machine learning