Order:
  1. Computational Semantics.Patrick Blackburn & Johan Bos - 2003 - Theoria 18 (1):27-45.
    In this article we discuss what constitutes a good choice of semantic representation, compare different approaches of constructing semantic representations for fragments of natural language, and give an overview of recent methods for employing inference engines for natural language understanding tasks.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  2.  48
    Computational Semantics in Discourse: Underspecification, Resolution, and Inference.Johan Bos - 2004 - Journal of Logic, Language and Information 13 (2):139-157.
    In this paper I introduce a formalism for natural language understandingbased on a computational implementation of Discourse RepresentationTheory. The formalism covers a wide variety of semantic phenomena(including scope and lexical ambiguities, anaphora and presupposition),is computationally attractive, and has a genuine inference component. Itcombines a well-established linguistic formalism (DRT) with advancedtechniques to deal with ambiguity (underspecification), and isinnovative in the use of first-order theorem proving techniques.The architecture of the formalism for natural language understandingthat I advocate consists of three levels of processing:underspecification, (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    Computational Semantics.Patrick Blackburn & Johan Bos - 2003 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (1):27-45.
    In this article we discuss what constitutes a good choice of semantic representation, compare different approaches of constructing semantic representations for fragments of natural language, and give an overview of recent methods for employing inference engines for natural language understanding tasks.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Applying Automated Deduction to Natural Language Understanding.Johan Bos - 2009 - Journal of Applied Logic 7 (1):100-112.