1 The Department of Culture and Identity, Roskilde University2 Videnskabsstudier, Department of Communication and Arts, Roskilde University
In 2005 Patrick Blackburn, who is Directeur de Recherche for INRIA Lorraine (France's national organization for research in computer science), published together with Johan Bos (Università di Roma "La Sapienza") the book Representation and Inference for Natural Language: A First Course in Computational Semantics (2005). In this view he discusses, with starting point in the books particular focus on formalizations of inference in natural language semantics and the use of these formalizations, the history of logic programming, its role and future.
Phi News, 2005, Issue 8, p. 4-15
Patrick Blackburn; naturlige sprogs semantik; logisk programmering; Montague; formel logik; natural language semantics; logic programming; formal logic