Login / Signup
Metric Semantics from Partial Order Semantics.
Christel Baier
Mila E. Majster-Cederbaum
Published in:
Acta Informatica (1997)
Keyphrases
</>
partial order
partially ordered
default reasoning
formal semantics
conceptual graphs
logic programming
semantic information
declarative semantics
logic programs