%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:21 +0100 GMT
%    
% Selection : Author: Jan_Jaspars
%




@TechReport{Blackburn_et_al:1996,
      AUTHOR = {Blackburn, Patrick and Jaspars, Jan and de Rijke, Maarten},
      TITLE = {Reasoning about Changing Information},
      YEAR = {1996},
      MONTH = {September},
      NUMBER = {81},
      PAGES = {25},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus81.ps},
      ABSTRACT = {The purpose of these notes is two-fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourron-Gardenfors-Makinson (AGM) approach, and to discuss some of the alternatives and extensions that have been proposed to it over the past few years; (ii) to relate the AGM approach to other 'information-oriented' branches of logic, including intuitionistic logic, non-monotonic reasoning, verisimilitude, and modal and dynamic logic.},
      ANNOTE = {COLIURL : Blackburn:1996:RAC.pdf Blackburn:1996:RAC.ps}
}

@TechReport{Jaspars:1997,
      AUTHOR = {Jaspars, Jan},
      TITLE = {Minimal Logics for Reasoning with Ambiguous Expressions},
      YEAR = {1997},
      MONTH = {December},
      NUMBER = {94},
      PAGES = {27},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus94.ps ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus94.dvi},
      ABSTRACT = {Alshawi and Crouch defined a simple multi-valued truth-conditional semantics for quasi logical form, a representation language for underspecified expressions. We incorporate this so-called monotonic semantics within the setting of plain propositional logic, and investigate the underlying calculi. It turns out that evaluation of ambiguous expressions with respect to a partial disambiguation, that is, possible readings maybe excluded on the moment of interpretation, yields the most attractive notion of validity in this setting. Besides the fact that it satisfies characteristic criteria of 'ambiguous reasoning', the underlying logic is also a suitable candidate as a minimal calculus for this task. Natural extensions of the calculus correspond to intuitive constraints on partial disambiguations. The paper presents this calculus and different extensions in a special Gentzen format, well-equipped for reasoning with 'multiple readings'. Two technical appendices contain the completeness proofs for the various calculi.},
      ANNOTE = {COLIURL : Jaspars:1997:MLR.pdf Jaspars:1997:MLR.ps}
}

@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 = {https://www.coli.uni-saarland.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}
}