IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #639   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:32
639 Add to my selection
@InProceedings{Jaspars_Koller:1999,
      AUTHOR = {Jaspars, Jan and Koller, Alexander},
      TITLE = {A Calculus for Direct Deduction with Dominance Constraints},
      YEAR = {1999},
      BOOKTITLE = {12th Amsterdam Colloquium (AC '99)},
      ADDRESS = {Amsterdam, The Netherlands},
      URL = {http://www.coli.uni-sb.de/~koller/papers/domded.ps.gz},
      ABSTRACT = {Underspecification has recently been a popular approach to dealing with ambiguity. An important operation in this context is direct deduction, deduction on underspecified descriptions which is justified by the meaning of the described formulae. Here we instantiate an abstract approach to direct deduction to dominance constraints, a concrete underspecification formalism, and obtain a sound and complete calculus for this formalism.},
      ANNOTE = {COLIURL : Jaspars:1999:CDD.pdf Jaspars:1999:CDD.ps}
}
Last modified: Thu October 16 2014 19:11:34         BibAdmin