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