Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints.

Joachim Niehren Stefan Thater

Published in: ACL (2003)

Keyphrases

logic programming
reasoning tasks
semantic properties
formal semantics
computational properties
semantic constraints
conceptual model
derivation rules
database systems
programming language
deductive databases
constrained optimization
global constraints
default reasoning
constraint language