Login / Signup
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