Login / Signup
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.
Francisco Bueno
Manuel V. Hermenegildo
Ugo Montanari
Francesca Rossi
Published in:
Sci. Comput. Program. (1998)
Keyphrases
</>
partial order
partially ordered
default reasoning
total order
declarative semantics
conceptual graphs
partial ordering
lattice structure
preference relations
set theory
logic programming
programming language
formal semantics
bayesian networks
dominance relation
multi dimensional
domain specific