Underspecification formalisms: Hole semantics as dominance constraints.
Alexander KollerJoachim NiehrenStefan ThaterPublished in: EACL (2003)
Keyphrases
- logic programming
- knowledge representation
- reasoning tasks
- knowledge representation formalisms
- constraint satisfaction
- semantic properties
- derivation rules
- query containment
- computational properties
- semantic representation
- nonmonotonic reasoning
- constrained optimization
- cp nets
- structural constraints
- constraint programming
- constraint language
- object oriented
- evolutionary algorithm