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 - 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 - Design rules and equivalent capacity for buffering of Pareto source
Ma AHI Schormans JA Pitts JM Scharf EM Pearmain AJ Phillips CI
Elec Lett vol. 36 (15), 1274-1275.
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