<< Prev
- Up -
16 Constraints in Semantic Underspecification
16.1 Semantic Underspecification
16.1.1 Compositionality
16.1.2 Scope Underspecification
16.1.3 Formulas as Trees
16.1.4 Graphs Describing Trees
16.1.5 Dominance Constraints
16.1.6 Syntax-Semantics Interface
16.1.7 Exercises
16.2 Complexity of Dominance Constraints
16.2.1 Dominance Constraints
16.2.2 Constraints as Graphs
16.2.3 Partitioning Trees
16.2.4 A Generate and Test Algorithm
16.2.5 Complexity of Dominance Constraints
16.3 Solving Dominance Constraints Efficiently
16.3.1 Sets of Nodes
16.3.2 Encoding Nodes as Records
16.3.3 Translation to Set Constraints
16.3.4 Treeness Condition
16.3.5 Encoding Dominance Constraints
16.3.6 The Solver as a Module
16.3.7 Solution Predicate
16.3.8 Graphical Output with DaVinci
16.3.9 Exercises
16.3.10 Complete Solver
16.4 Summary
<< Prev
- Up -
Denys Duchier
,
Claire Gardent
and
Joachim Niehren
Version 1.3.99 (20050412)