Johan Bos
Home Research Projects Activities Books Papers Talks
These are my publications on Natural Language Processing and Computational Linguistics. There is a separate list of my published work on Ornithology. You can also find my publications at Google Scholar.
2009
  • J. Bos (2009): A Controlled Fragment of DRT. In N.E. Fuchs (eds): Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009). CEUR Workshops Proceedings, Volume 448. Download: pdf.

  • J. Bos (2009): Applying automated deduction to natural language understanding. Journal of Applied Logic 7(1): 100-112.

  • J. Bos (2009): Computing Genitive Superlatives. In H. Bunt, V. Petukhova & S. Wubben (eds): Proceedings of the Eighth International Conference on Computational Semantics (IWCS-8), pp 18-23, Tilburg, Netherlands. Download: pdf.


2008
  • J. Bos (2008): Wide-Coverage Semantic Analysis with Boxer. In J. Bos & R. Delmonte (eds): Semantics in Text Processing. STEP 2008 Conference Proceedings, pp 277-286.

  • J. Bos (2008): Introduction to the Shared Task on Comparing Semantic Representations. In J. Bos & R. Delmonte (eds): Semantics in Text Processing. STEP 2008 Conference Proceedings, pp 257-261.

  • J. Bos & R. Delmonte (2008): Semantics in Text Processing. STEP 2008 Conference Proceedings. Research in Computational Semantics. Vol 1. College Publications. ISBN: 1-904987-93-1

  • J. Bos (2008): Computational Semantics and Knowledge Engineering. In: A. Gangemi & J. Euzenat (eds): EKAW 2008, LNCS 5268, pp 4-5.

  • J. Bos (2008): Formal Semantics in the Real World. In: A. Ranta & B. Nordström (ed): GoTAL 2008, LNAI 5221, pp 1-3.

  • J. Bos (2008): Let's not argue about semantics. Proceedings of the 6th Language Resources and Evaluation Conference (LREC 2008), pp 2835-2840, Marrakech, Morocco. Download: pdf

  • J. Bos & M. Nissim (2008): Combining Discourse Representation Theory with FrameNet. In: R. Rossini Favretti (ed): Frames, Corpora, and Knowledge Representation. Bononia University Press, pp 169-183. Download: pdf

  • J. Bos (2008): Book review of "Putting Linguistics into Speech Recognition. The Regulus Grammar Compiler." Natural Language Engineering 14(1): 137-140.


2007
  • J. Bos & M. Nissim (2007): Are two heads better than one? Experiments with Italian part-of-speech labelling. Intelligenza Artificiale 4(2): 18-19. Download: pdf

  • J.R. Curran, S. Clark & J. Bos (2007): Linguistically Motivated Large-Scale NLP with C&C and Boxer. Proceedings of the ACL 2007 Demo and Poster Sessions, pp 33-36, Prague, Czech Republic. Download: pdf

  • J. Bos (2007): Recognising Textual Entailment and Computational Semantics. Proceedings of Seventh International Workshop on Computational Semantics IWCS-7, p 1, Tilburg, Netherlands.

  • J. Bos & M. Nissim (2007): Answer Translation: An Alternative Approach to Cross-Lingual Question Answering. In: C. Peters et al. (eds): CLEF 2006. Revised Selected Papers. Lecture Notes in Computer Science, Vol 4730, pp 290-299.

  • J. Bos & T. Oka (2007): Meaningful Conversation with Mobile Robots. Advanced Robotics 21(2): 209-232.

  • J. Bos & T. Oka (2007): A spoken language interface with a mobile robot. Artificial Life and Robotics 11(1): 42-47.

  • P. Blackburn, J. Bos & K. Striegnitz (2007): Prolog, tout de suite! College Publications. ISBN: 1-904987-52-4

  • J. Bos, J.R. Curran & E. Guzzetti (2007): The Pronto QA system at TREC-2007: harvesting hyponyms, using nominalisation patterns, and computing answer cardinality. In E.M. Voorhees & L.P. Buckland (eds.): The Sixteenth Text RETrieval Conference, TREC 2007, pp 726-732, Gaitersburg, MD. Download: pdf


2006
  • J. Bos & K. Markert (2006): When logical inference helps determining textual entailment (and when it doesn't). In: B. Magnini & I. Dagan (eds): The Seocnd PASCAL Recognising Textual Entailment Challenge. Proceedings of the Challenges Workshop, pp 98-103. Venice, Italy. Download: pdf. Cited by 24

  • J. Bos & K. Markert (2006): Recognising Textual Entailment with Robust Logical Inference. In: J. Quinonero et al. (eds): MLCW 2005, LNAI 3944, pp 404-426. Download: pdf

  • J. Bos & M. Nissim (2006): An Empirical Approach to the Interpretation of Superlatives. EMNLP 2006 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference, pp 9-17. Download: pdf

  • J. Bos (2006): Three Stories on Automated Reasoning for Natural Language Understanding. Proceedings of ESCoR (IJCAR Workshop): Empirically Successful Computerized Reasoning, pp 81-91. Download: pdf

  • J. Bos (2006): The "La Sapienza" Question Answering system at TREC-2006. In E.M. Voorhees & L.P. Buckland (eds): The Fifteenth Text RETrieval Conference (TREC 2006), pp 797-803, Gaitersburg, MD. Download: pdf

  • J. Bos & M. Nissim (2006): Cross-Lingual Question Answering by Answer Translation. In: C. Peters (ed): Working Notes of CLEF 2006. Alicante, Spain. Download: pdf. Cited by 6

  • P. Blackburn, J. Bos & K. Striegnitz (2006): Learn Prolog Now! College Publications. ISBN: 1-904987-17-6

  • J. Bos & A. Koller (2006): ICoS-5, Workshop Proceedings. Inference in Computational Semantics. Buxton, England.


2005
  • J. Bos (2005): Towards Wide-Coverage Semantic Interpretation. Proceedings of Sixth International Workshop on Computational Semantics IWCS-6, pp 42-53, Tilburg, Netherlands. Download: pdf. Cited by 57.

  • J. Bos (2005): Breakthroughs and Challenges in Computational Semantics. Implications for Question Answering. In Benamara et al. (eds): Knowledge and Reasoning for Answering Questions (KRAQ-'05). Worshop associated with IJCAI05, p 40, Edinburgh, UK.

  • J. Bos & K. Markert (2005): Recognising Textual Entailment with Logical Inference. Proceedings of the 2005 Conference on Empirical Methods in Natural Language Processing (EMNLP 2005), pp 628-635. Download: pdf. Cited by 26.

  • J. Bos & K. Markert (2005): Combining Shallow and Deep NLP Methods for Recognizing Textual Entailment. In: Pascal, Proceedings of the First Challenge Workshop, Recognizing Textual Entailment, pp 65-68. Download: pdf. Cited by 24

  • K. Ahn, J. Bos, J.R. Curran, D. Kor, M. Nissim & B. Webber (2005): Question Answering with QED at TREC-2005. In E.M. Voorhees & L.P. Buckland (eds): The Fourteenth Text REtrieval Conference, TREC 2005, Gaitersburg, MD. Download: pdf

  • K. Ahn, B. Alex, J. Bos, T. Dalmas, J.L. Leidner & M.B. Smillie (2005): Cross-Lingual Question Answering Using Off-the-Shelf Machine Translation. In: C. Peters et al.: Multilingual Information Access for Text, Speech and Images: 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Revised Selected Papers. Lecture Notes in Computer Science, Vol 3491, pp 446-457.

  • P. Blackburn & J. Bos (2005): Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI Publications. ISBN: 1-57586-496-7. Cited by 179.


2004
  • J. Bos (2004): Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information 13(2): 139-157. Download: pdf

  • J. Bos, S. Clark, M. Steedman, J.R. Curran & J. Hockenmaier (2004): Wide-Coverage Semantic Representations from a CCG Parser. Proceedings of the 20th International Conference on Computational Linguistics (COLING '04), pp 1240-1246, Geneva, Switzerland. Download: pdf. Cited by 74.

  • M. Traat & J. Bos (2004): Unificational Combinatory Categorial Grammar: Combining Information Structure and Discourse Representations. Proceedings of the 20th International Conference on Computational Linguistics (COLING '04), pp 296-302, Geneva, Switzerland.

  • K. Ahn, J. Bos, S. Clark, J.R. Curran, T. Dalmas, J.L. Leidner, M.B. Smillie & B. Webber (2004): Question Answering with QED and Wee at TREC-2004. In: E.M. Voorhees & L.P. Buckland (eds): The Thirteenth Text REtrieval Conference, TREC 2004, pp 595-599, Gaitersburg, MD. Download: pdf

  • K. Ahn, B. Alex, J. Bos, T. Dalmas, J.L. Leidner & M.B. Smillie (2004): Cross-lingual Question Answering with QED. Workshop of the Cross-Lingual Evaluation Forum (CLEF-2004) held at the European Conference for Digital Libraries (ECDL-2004), Bath, UK. Download: pdf


2003
  • J. Bos (2003): Exploring Model Building for Natural Language Understanding. Proceedings of ICoS-4. Download: ps.gz pdf

  • J. Bos (2003): Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection. Computational Linguistics 29(2): 179-210.

  • P. Blackburn & J. Bos (2003): Computational Semantics. Theoria 18(1): 27-45. Download: ps.gz pdf

  • J.L. Leidner, J. Bos, T. Dalmas, J.R. Curran, S. Clark, C.J. Bannard, B. Webber & M. Steedman (2003): QED: The Edinburgh TREC-2003 Question Answering System. In: E.M. Voorhees & L.P. Buckland (eds): The Twelfth Text REtrieval Conference, TREC 2003, Gaitersburg, MD.

  • J. Bos & M. Kohlhase (2003): Editorial. Inference in Computational Semantics: The Dagstuhl Workshop 2000. Logic Journal of the IGPL 11(4): 381-383.

  • J.L. Leidner, T. Dalmas, B. Webber, C. Grover & J. Bos (2003): Automatic Multi-layered Corpora for Evaluating Question Answering methods: CBC4Kids. In EACL, Linguistically Interpreted Corpora Workshop.

  • T. Dalmas, J.L. Leidner, B. Webber, C. Grover & J. Bos (2003): Generating Annotated Corpora for Reading Comprehension and Question Answering Evaluation. In EACL, Question Answering Workshop.

  • J. Bos & T. Oka (2003): Building Spoken Dialogue Systems for Believable Characters. Proceedings of the seventh workshop on the semantics and pragmatics of dialogue (DIABRUCK). Download: ps.gz

  • J. Bos, E. Klein, O. Lemon & T. Oka (2003): DIPPER: Description and Formalisation of an Information-State Update Dialogue System Architecture. 4th SIGdial Workshop on Discourse and Dialogue, Sapporo, Japan. Download: pdf. Cited by 66.

  • M. Gabsdil & J. Bos (2003): Combining Acoustic Confidence Scores with Deep Semantic Analysis for Clarification Dialogues. Proceedings of IWCS-5, pp 137-150, Tilburg, Netherlands. Download: pdf

  • J. Bos, E. Klein & T. Oka (2003): Meaningful Conversation with a Mobile Robot. Proceedings of the Research Note Sessions of the 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL'03). Download: pdf


2002
  • B. Webber, C. Gardent & J. Bos (2002): Position statement: Inference in Question Answering. Proceedings of the third international conference on language resources and evaluation (LREC), Las Palmas, Canary Islands, Spain. Cited by 23.

  • J. Bos (2002): Compilation of Unification Grammars with Compositional Semantics to Speech Recognition Packages. COLING 2002. Proceedings of the 19th International Conference on Computational Linguistics, pp 106-112. Download: ps.gz pdf.gz

  • J. Bos, T. Oka (2002): An Inference-based Approach to Dialogue System Design. COLING 2002. Proceedings of the 19th International Conference on Computational Linguistics, pp 113-119. Download: pdf

  • C. Theobalt, J. Bos, T. Chapman, A. Espinosa-Romero, M. Fraser, G. Hayes, E. Klein, T. Oka & R. Reeve (2002): Talking to Godot: Dialogue with a Mobile Robot. Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2002), pp 1338-1343. Download: pdf. Cited by 30.

  • J. Bos, M.E. Foster & C. Matheson (2002): EDILOG 2002. Proceedings of the sixth workshop on the semantics and pragmatics of dialogue. The University of Edinburgh.


2001
  • P. Blackburn, J. Bos, M. Kohlhase & H. de Nivelle (2001): Inference and Computational Semantics. In H. Bunt, R. Muskens & E. Thijsse (eds): Computing Meaning, Vol 2, pp 11-28. Kluwer Academic Publishers.

  • J. Bos (2001): DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures. In Blackburn & Kohlhase (ed): ICoS-3. Inference in Compuational Semantics. Workshop Proceedings. Download: pdf

  • S. Lauria, G. Bugmann, T. Kyriacou, J. Bos & E. Klein (2001): Training Personal Robots Using Natural Language Instruction. IEEE Intelligent Systems, September/October 2001, pp 38-45. Download: pdf. Cited by 40.

  • J. Bos (2001): Underspecification and Resolution in Discourse Semantics. Saarbrücken dissertations in computational linguistics and language technology. Vol 12.


2000
  • J. Bos & M. Kohlhase (2000): ICoS-2, Workshop Proceedings. Inference in Computational Semantics. International Conference and Research Center for Computer Science, Schloss Dagstuhl. July 29-30, 2000. Download: ps.gz

  • J. Bos & M. Gabsdil (2000): First-Order Inference and the Interpretation of Questions and Answers. In M. Poesio & D. Traum (eds): Proceedings of Goetalog 2000. Fourth Workshop on the Semantics and Pragmatics of Dialogue. Gothenburg Papers in Computational Linguistics 00-5, pp 43-50. Download: ps Cited by 24.

  • J. Bos & J. Heine (2000): Discourse and Dialog Semantics for Translation. In W. Wahlster (ed): Verbmobil: Foundations of Speech-to-Speech Translation, pp 336-347.

  • M. Schiehlen, J. Bos & M. Dorna (2000): Verbmobil Interface Terms (VITs). In W. Wahlster (ed): Verbmobil: Foundations of Speech-to-Speech Translation, pp 183-199.


1999
  • P. Blackburn, J. Bos, M. Kohlhase & H. de Nivelle (1999): Inference and Computational Semantics. In H. Bunt & E. Thijsse (eds): Third International Workshop on Computational Semantics (IWCS-3), pp 5-19, Tilburg, Netherlands.

  • P. Blackburn, J. Bos & M. Kohlhase (1999): Automated Reasoning for Computational Semantics. The Third International Tbilisi Symposium on Language, Logic and Computation, Batumi, Georgia, September 12-16, 1999. Download: ps

  • J. Bos (1999): Automated Reasoning for Natural Language Semantics. In C. Monz & M. de Rijke (eds): ICoS-1. Inference in Computational Semantics. Workshop Proceedings, pp 1-4.

  • J. Bos (1999): The Treatment of Focusing Particles in Underspecified Discourse Representations. In: Bosch and Van der Sandt (eds), Focus: Linguistic, Cognitive, and Computational Perspectives. Studies in Natural Language Processing. Cambridge University Press, pp 121-141.


1998
  • P. Blackburn, J. Bos, M. Kohlhase & H. de Nivelle (1998): Automated Theorem Proving for Natural Language Understanding In: Proceedings of CADE-15 workshop Problem-solving methodologies with Automated Deduction. pdf

  • B. Gambäck & J. Bos (1998): Semantic-Head Based Resolution of Scopal Ambiguities. Proceedings of the 36th Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics (COLING-ACL'98), pp 433-437, Montreal, Canada. Download: ps

  • J. Bos, M. Dorna, B. Buschbeck-Wolf & C.J. Rupp (1998): Managing information at linguistic interfaces. Proceedings of the 36th Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics (COLING-ACL'98), pp. 160-166, Montreal, Canada. Download: ps.gz Cited by 23.


1993-1997
  • P. Blackburn & J. Bos (1997): Representation and Inference for Natural Language. A First Course in Computational Semantics. Lecture Notes for ESSLLI'97, Aix-en-Provence, August 1997. Download: Claus Report 90

  • C. Lieske, J. Bos, B. Gambäck, M. Emele & C.J. Rupp (1997): Giving Prosody a Meaning. Proceedings of the 5th European Conference on Speech Communication and Technology, Rhodes, Greece, September 1997. Download: ps

  • J. Bos, B. Gambäck, C. Lieske, Y. Mori, M. Pinkal & K. Worm (1996): Compositional Semantics in Verbmobil. Coling, Copenhagen. Cited by 68.

  • J. Bos (1996): Predicate Logic Unplugged. In P. Dekker & M. Stokhof (eds): Proceedings of the Tenth Amsterdam Colloquium, pp 133-143. Amsterdam, Netherlands. Download: ps. Cited by 207.

  • J. Bos, M. Egg & M. Schiehlen (1996): Definition of the Abstract Semantic Classes for the Verbmobil Forschungsprototyp 1.0 (Verbmobil Report 165). Download: ps.gz

  • J. Bos, P. Buitelaar & A. Mineur (1995): Bridging as Coercive Accommodation. In E. Klein, S. Manandhar, W. Nutt, and J. Siekmann (eds): Working Notes of the Edinburgh Conference on Computational Logic and Natural Language Processing (CLNLP-95), pp 1-16, South Queensferry, Scotland. Download: ps, pdf. Cited by 50.

  • J. Bos (1995): Anaphora Resolution and Discourse Segmentation in Artificial Intelligence. In: Frank van Eynde and Valerio Allegranza (eds): Semantics and Discourse: A NLP Perspective, pp 175-189. (Studies in Machine Translation and Natural Language Processing; Vol 9)

  • J. Bos (1994): Presupposition & VP Ellipsis. Proceedings of the 15th International Conference on Computational Linguistics (Coling 1994), Kyoto, Japan, pp 1184-1190. Download: pdf

  • J. Bos, E. Mastenbroek, S. McGlashan, S. Millies & M. Pinkal (1994): The Verbmobil Semantic Formalism. (Verbmobil Report 6). Download: ps.gz

  • J. Bos (1993): VP Ellipsis in a DRT-Implementation. Proceedings of the sixth conference of the European Chapter of the ACL (Student Session), pp 425-430, Utrecht, Netherlands.