A Reduced Semantics for Deciding Trace Equivalence.

David Baelde Stéphanie Delaune Lucca Hirschi

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

formal semantics
neural network
logic programming
operational semantics
nonmonotonic logics
query containment
database
real time
databases
artificial intelligence
information systems
domain knowledge
semantic relationships
conceptual graphs
default reasoning
logical language