Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

References of Patrick Blackburn   Order by:   Type | Year

<< 2001 >>

1 Patrick Blackburn, Johan Bos, Michael Kohlhase and Hans de Nivelle. Inference and Computational Semantics. In Harry Bunt, Reinhard Muskens and Elias Thijsse editors, Computing Meaning, Vol. 2(77):11-28 of Studies in Linguistics and Philosophie, Kluwer Academic Publishers, Dordrecht, 2001.     google 2 Johan Bos. DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures. In Patrick Blackburn and Michael Kohlhase editors, Proceedings of the Workshop on Inference in Compuational Semantics (ICoS-3), June 18-19, Siena, Italy, 2001.     google [Annote] 3 Kristina Striegnitz. Model Checking for Contextual Reasoning in NLG. In Patrick Blackburn and Michael Kohlhase editors, Proceedings of Inference in Computational Semantics (ICoS-3), June 18-23, Pages 101-115, Siena, Italy, 2001. [Abstract]     google [Annote]

<< 1999 >>

4 Carlos Areces, Patrick Blackburn and Maarten Marx. Hybrid Logics: Characterization, Interpolation and Complexity. Technical report, CLAUS-Report 108, Universität des Saarlandes, Saarbrücken, February 1999. [Abstract]     google [Annote]

<< 1998 >>

5 Patrick Blackburn. Internalizing Labeled Deduction. Technical report, CLAUS-Report 102, Universität des Saarlandes, Saarbrücken, November 1998. [Abstract]     google [Annote] 6 Patrick Blackburn, Johan Bos, Michael Kohlhase and Hans de Nivelle. Inference and Computational Semantics. Technical report, CLAUS-Report 106, Universität des Saarlandes, Saarbrücken, November 1998. [Abstract]     google [Annote] 7 Patrick Blackburn and Claire Gardent. A Description Language for Discourse Semantics. In Logical Aspects of Computational Linguistics (LACL '98), December 14-16, Grenoble, France, 1998.     google 8 Patrick Blackburn and Miroslava Tzakova. Hybrid Completeness. Technical report, CLAUS Report 95, Universität des Saarlandes, Saarbrücken, June 1998. [Abstract]     google [Annote] 9 Patrick Blackburn and Miroslava Tzakova. Hybrid Languages and Temporal Logic (Full Version) Technical report, CLAUS Report 96, Universität des Saarlandes, Saarbrücken, July 1998. [Abstract]     google [Annote] 10 Patrick Blackburn and Miroslava Tzakova. Hybridizing Concept Languages. Technical report, CLAUS-Report 97, Universität des Saarlandes, Saarbrücken, October 1998. [Abstract]     google [Annote] 11 Patrick Blackburn and Miroslava Tzakova. Hybrid Languages and Temporal Logic. Technical report, CLAUS Report 107, Universität des Saarlandes, Saarbrücken, November 1998. [Abstract]     google [Annote]

<< 1997 >>

12 Patrick Blackburn and Johan Bos. Representation and Inference for Natural language. A First Course in Computational Semantics. Technical report, CLAUS Report 90, Universität des Saarlandes, Saarbrücken, August 1997. [Abstract]     google [Annote] 13 Patrick Blackburn and Maarten de Rijke. Why Combine Logics? In Studia Logica. An International Journal for Symbolic Logic, Vol. 59(1):5-27, 1997.     google Note: but published later. 14 Patrick Blackburn and Maarten de Rijke. Zooming In, Zooming Out. In Journal of Logic, Language and Information, Vol. 6:5-31, 1997.     google 15 Patrick Blackburn, Maarten de Rijke and Ide Vennema. Relational Methods in Logic, Language and Information. In C. Brink, W. Kahl and G. Schmidt editors, Relational Methods in Computer Science, Pages 211-225, Springer, Berlin, 1997.     google

<< 1996 >>

16 Patrick Blackburn and Maarten de Rijke. Combining Logics. Special Issue. In Notre Dame Journal of Formal Logic, Vol. 37, 1996.     google 17 Patrick Blackburn, Jan Jaspars and Maarten de Rijke. Reasoning about Changing Information. Technical report, CLAUS-Report 81, Universität des Saarlandes, Saarbrücken, September 1996. [Abstract]     google [Annote] 18 Patrick Blackburn and Jerry Seligman. What are Hybrid Languages? Technical report, CLAUS-Report 83, Universität des Saarlandes, Saarbrücken, November 1996. [Abstract]     google [Annote]

<< 1995 >>

19 Patrick Blackburn and Maarten de Rijke. Why Combine Logics? Technical report, CLAUS-Report 57, Universität des Saarlandes, Saarbrücken, April 1995. [Abstract]     google [Annote] 20 Patrick Blackburn, Maarten de Rijke and Ide Vennema. Relational Methods in Logic, Language and Information. Technical report, CLAUS-Report 65, Universität des Saarlandes, Saarbrücken, September 1995. [Abstract]     google [Annote] 21 Patrick Blackburn and Claire Gardent. A Specification Language for Lexical Functional Grammars. In 7th Conference of the European Chapter of the Association for Computational Linguistics (EACL '91), Pages 39-44, Dublin, 1995.     google 22 Patrick Blackburn and Claire Gardent. A Specification Language for Lexical Functional Grammars. Technical report, CLAUS-Report 51, Universität des Saarlandes, Saarbrücken, February 1995. [Abstract]     google [Annote] 23 Patrick Blackburn, Wilfried Meyer-Viol and Maarten de Rijke. A Proof System for Finite Trees. Technical report, CLAUS-Report 67, Universität des Saarlandes, Saarbrücken, October 1995. [Abstract]     google [Annote] 24 Patrick Blackburn, Wilfried Meyer-Viol and Maarten de Rijke. A Proof System for Finite Trees. In H. Kleine Büning editor, Computer Science Logic. 9th International Workshop (CSL '95), (1092):86-105, Springer, Berlin, 1995.     google 25 Patrick Blackburn and Jerry Seligman. Hybrid Languages. Technical report, CLAUS-Report 66, Universität des Saarlandes, Saarbrücken, October 1995. [Abstract]     google [Annote] 26 Patrick Blackburn and Jerry Seligman. Hybrid Languages. In Journal of Logic, Language and Information, Vol. 4:251-272, 1995.     google

<< 1994 >>

27 Patrick Blackburn and Maarten de Rijke. Zooming In, Zooming Out. Technical report, CLAUS-Report 48, Universität des Saarlandes, Saarbrücken, November 1994. [Abstract]     google [Annote] 28 Patrick Blackburn, Maarten de Rijke and Ide Vennema. The Algebra of Modal Logic. Technical report, CLAUS-Report 47, Universität des Saarlandes, Saarbrücken, November 1994. [Abstract]     google [Annote]

Last modified: Thu October 16 2014 19:11:34