Partial Order Semantics of Types of Nets.

Robert Lorenz Gabriel Juhás Sebastian Mauser

Published in: SOFSEM (2009)

Keyphrases

partial order
partially ordered
default reasoning
total order
conceptual graphs
stable marriage
partial ordering
preference relations
formal semantics
cp nets
lattice structure
logical formulas
set theory
vertex cover
logic programming
totally ordered
sequential patterns