Index Browse   Bibliographies My selection

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

Publications list: <<   <       >   >>   Showing 1591 - 1620 (1898 total)

1591 Lisa Dent, Jesus Boticario, John McDermott, Tom Mitchell and David Zabowski. A Personal Learning Apprentice. In 10th National Conference on Artificial Intelligence, July 12-16, Pages 96-103, AAAI Press, San Jose, USA, 1992.     google 1592 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] 1593 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] 1594 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 1595 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 1596 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] 1597 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 1598 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] 1599 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] 1600 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 1601 Patrick Blackburn and Jerry Seligman. Hybrid Languages. Technical report, CLAUS-Report 66, Universität des Saarlandes, Saarbrücken, October 1995. [Abstract]     google [Annote] 1602 Patrick Blackburn and Jerry Seligman. Hybrid Languages. In Journal of Logic, Language and Information, Vol. 4:251-272, 1995.     google 1603 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] 1604 Patrick Blackburn and Miroslava Tzakova. Hybrid Completeness. Technical report, CLAUS Report 95, Universität des Saarlandes, Saarbrücken, June 1998. [Abstract]     google [Annote] 1605 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] 1606 Patrick Blackburn and Miroslava Tzakova. Hybridizing Concept Languages. Technical report, CLAUS-Report 97, Universität des Saarlandes, Saarbrücken, October 1998. [Abstract]     google [Annote] 1607 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] 1608 Manuel Bodirsky, Katrin Erk, Alexander Koller and Joachim Niehren. Beta Reduction Constraints. In Aart Middeldorp editor, 12th International Conference on Rewriting Techniques and Applications (RTA'01), May 22-24, Pages 31-46, Springer-Verlag, Utrecht, The Netherlands, 2001. [Abstract]     google [Annote] 1609 Manuel Bodirsky, Katrin Erk, Alexander Koller and Joachim Niehren. Underspecified Beta Reduction. In Proceedings of the 39th Annual Meeting of the Association of Computational Linguistics (ACL'01), July 6-11, Pages 74-81, Toulouse, France, 2001. [Abstract]     google [Annote] 1610 Johan Bos. Focusing Particles and Ellipsis Resolution. In P. Bosch editor, Focus and Natural Language Processing: Linguistic, Cognitive, and Computational Perspectives, Cambridge University Press, Schloss Wolfsbrunnen, Germany, 1994.     google 1611 Johan Bos. Presupposition and VP-Ellipsis. In ACL editor, 15th International Conference on Computational Linguistics (COLING'94), August 5-9, Vol. 2:1184-1190, Kyoto, Japan, 1994.     google 1612 Johan Bos. Presupposition and VP-Ellipsis. Technical report, CLAUS-Report 37, Universität des Saarlandes, Saarbrücken, April 1994. [Abstract]     google [Annote] 1613 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] 1614 Johan Bos, Paul Buitelaar and Anne-Marie Mineur. Bridging as Coercive Accomodation. In Suresh Manandhar editor, Computational Logic for Natural Language Processing (CLNLP '95) - Workshop Proceedings, April 3-5, South Queensferry, Scotland, 1995.     google Note: A shorter version also appeared in the Lecture Notes of a workshop on The Computational Lexicon, at the 6th ESSLLI, Barcelona 1995. [Annote] 1615 Johan Bos, Paul Buitelaar and Anne-Marie Mineur. Bridging as Coercive Accomodation. In 6th European Summer School in Logic, Language, and Information (ESSLLI'95). Workshop on The Computational Lexicon, August 13-25, Barcelona, Spain, 1995.     google 1616 Johan Bos, Bianka Buschbeck-Wolf, Michael Dorna and Christopher J. Rupp. Managing Information at Linguistic Interfaces. In ACL editor, Proceedings of the 17th International Conference on Computational Linguistics (COLING'98), August 10-14, Montréal, Québec, Canada, 1998.     google 1617 Johan Bos and Malte Gabsdil. First-Order Inference and the Semantics of Questions and Answers. In Massimo Poesio and David Traum editors, Götalog 2000: 4th Workshop on the Semantics and Pragmatics of Dialogue, June 15-17, Pages 43-50, Gothenburg Papers in Computational Linguistics 00-5, Göteborg, Sweden, 2000.     google [Annote] 1618 Johan Bos, Björn Gambäck, Christian Lieske, Yoshiki Mori, Manfred Pinkal and Karsten Worm. Compositional Semantics in Verbmobil. In ACL editor, 16th International Conference on Computational Linguistics (COLING '96), August 5-9, Vol. 1:131-136, Copenhagen, Denmark, 1996.     google [Annote] 1619 Johan Bos and Julia Heine. Discourse and Dialog Semantics for Translation. In Wolfgang Wahlster editor, Verbmobil: Foundations of Speech-to-Speech Translation, Pages 337-348, Springer, Berlin - Heidelberg - New York, 2000.     google 1620 Johan Bos and Michael Kohlhase editors. Proceedings of the Workshop on Inference in Computational Semantics (ICoS-2), International Conference and Research Center for Computer Science, July 29-30. Pages 149, Schloss Dagstuhl, 2000.     google [Annote]

Last modified: Wed February 27 2008 10:23:45