Trace Semantics is Fully Abstract.

Sumit Nain Moshe Y. Vardi

Published in: LICS (2009)

Keyphrases

semantic information
propositional dynamic logic
logic programming
artificial intelligence
high level
higher level
formal semantics
database
databases
real world
information retrieval
information systems
e learning
semantic relationships
conceptual graphs
semantic representation