Publications

 
  • An Empirically Based System for Processing Definite Descriptions
    Vieira R Poesio M
    Computational Linguistics, MIT Press vol. 26 (4), 539-593.  
    01-12-2000
  • An Intensional Parametric Semantics For Vague Quantifiers
    Lappin S
    Linguistics and Philosophy, Springer Nature vol. 23 (6), 599-620.  
    01-12-2000
  • The Revolution Confused: A Response To Our Critics
    Lappin S Levine RD Johnson DE
    Natural Language & Linguistic Theory, Springer Nature vol. 18 (4), 873-890.  
    01-11-2000
  • New labour and the destruction of social democracy
    Lappin S
    Dissent vol. 47 (4), 15-19.  
    01-09-2000
  • Topic ... Comment
    Lappin S Levine RD Johnson DE
    Natural Language & Linguistic Theory, Springer Nature vol. 18 (3), 665-671.  
    01-08-2000
  • Design rules and equivalent capacity for bufferingof Pareto source
    Ma AH Schormans JA Pitts JM Scharf EM Pearmain AJ Phillips CI
    Electronics Letters, Institution of Engineering and Technology (Iet) vol. 36 (15), 1274-1275.  
    20-07-2000
  • Impact of Design Changes on Verification Using MDGs
    Hasan M Tahar S
    Proc. IEEE Canadian Conference on Electrical and Computer Engineering (CCECE’00)., 173-178-173-178.  
    01-05-2000
  • Un outil hybride pour la vérification formelle de circuits
    Kort S Pisini VK Tahar S Aït-Mohamed O
    Proc. 68th ACFAS Symposium (ACFAS’00). 
    01-05-2000
  • HOL-MDG: A Hybrid Tool for Formal Verification
    Kort S Tahar S Curzon P Song X
    Proceedings of the 2000 Micronet Workshop., 131-132-131-132.  
    01-04-2000
  • Learning Computer Science Through Games and Puzzles
    Curzon P
    Proceedings of C@MDX’00, Research Student’s Conference. 
    01-03-2000
  • Reasoning about Order Errors and Interaction
    Curzon P
    Proceedings of C@MDX’00, Research Student’s Conference. 
    01-03-2000
  • A comparison of graphics and speech in a task-oriented interaction
    Healey PGT McCabe R Anderson M Cheng P Haarslev V
    THEORY AND APPLICATION OF DIAGRAMS, PROCEEDINGS. vol. 1889, 245-256.  
    01-01-2000
  • A System for Recognition of Named Entities in Greek
    Boutsis S Demiros I Giouli V Liakata M Papageorgiou H Piperidis S
    Lecture Notes in Computer Science. vol. 1835, 424-435.  
    01-01-2000
  • A system for the concerned teaching of musical aural skills
    Wiggins GA Trewin S
    Proceedings of ITS2000. 
    01-01-2000
  • Accurate results for traffic engineering in the presence of LRD
    Schormans JA Pitts JM Ma AHI Mondragon R
    16th UKTS Harlow, Essex UK 1 Jan 1970. 
    01-01-2000
  • An empirically based system for processing definite descriptions
    Vieira R Poesio M
    Computational Linguistics vol. 26 (4), 538-593.  
    01-01-2000
  • Analysing asynchronous collaboration
    Healey PGT McDonald S Waern Y Cockton G
    PEOPLE AND COMPUTERS XIV - USABILITY OR ELSE!., 239-254.  
    01-01-2000
  • Annotating a corpus to develop and evaluate discourse entity realization algorithms: Issues and preliminary results
    Poesio M
    2nd International Conference on Language Resources and Evaluation Lrec 2000. 
    01-01-2000
  • Corpus-based development and evaluation of a system for processing definite descriptions
    Vieira R Poesio M
    Proceedings of the 18th conference on Computational linguistics -. vol. 2, 899-903.  
    01-01-2000
  • Embedding and Verification of an MDG-HDL Compiler in HOL
    Xiong H Curzon P Tahar S Aagaard M Harrison J Schubert T
    The Supplementary Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics., 237-248-237-248.  
    01-01-2000
  • Formal Hardware Verification by Integrating HOL and MDG
    Pisini VK Tahar S Curzon P
    Proceedings of the ACM 10th Great Lakes Symposium on VLSI., 23-28-23-28.  
    01-01-2000
  • Modelling grounding and discourse obligations using update rules
    Matheson C Poesio M Traum D
    1st Meeting of the North American Chapter of the Association for Computational Linguistics Naacl 2000 Co Located with 6th Applied Natural Language Processing Conference Anlp 2000 Proceedings., 1-8.  
    01-01-2000
  • Named entity recognition in Greek texts
    Demiros I Boutsis S Giouli V Liakata M Papageorgiou H Piperidis S
    2nd International Conference on Language Resources and Evaluation Lrec 2000. 
    01-01-2000
  • Proceedings of the AISB’00 Symposium on AI and Creativity in the Arts and Sciences
     
    01-01-2000
  • Pronominalization revisited
    Henschel R Cheng H Poesio M
    Proceedings of the 18th conference on Computational linguistics -. vol. 1, 306-312.  
    01-01-2000
  • Reasoning about Order Errors in Interaction
    Curzon P Blandford A Aagaard M Harrison J Schubert T
    The Supplementary Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics., 33-48-33-48.  
    01-01-2000
  • Representing Trees with Constraints
    Curry B Wiggins GA Hayes J
    Procceedings of Computational Logic 2000. 
    01-01-2000
  • Special Issue on Artificial Intelligence and Creativity in Arts and Sciences
    Wiggins GA
    Aisb Quarterly, Aisb 
    01-01-2000
  • Specifying the parameters of centering theory: a corpus-based evaluation using text from application-oriented domains
    Poesio M Cheng H Henschel R Hitzeman J Kibble R Stevenson R
    Proceedings of the 38th Annual Meeting on Association for Computational Linguistics - ACL '00., 400-407.  
    01-01-2000
  • Using a Verification System to Reason About Post-Completion Errors
    Curzon P Blandford A Palanque P Paternò F
    Participants Proc. of DSV-IS 2000: 7th Int.Workshop on Design, Specification and Verification of Interactive Systems, at the 22nd Int. Conf. on Software Engineerings., 292-308-292-308.  
    01-01-2000