This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the author(s)  or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. See below for BOOKS, JOURNAL PAPERS, CONFERENCE PAPERS & REFERENCE ARTICLES.

BOOKS

Artificial Intelligence: Methodology, Systems, Applications VII, (proceedings AIMSA-96), IOS Press, 1996

Prospects for Artificial Intelligence, (proceedings of AISB-93), eds. A.Sloman, D.Hogg, G. Humphreys, A. Ramsay & D. Partridge, IOS Press, 1993

The Logical Structure of English, Pitman, 1990 (now published by UCL Press)

Formal Methods in Artificial Intelligence, Cambridge University Press, 1988

AI in Practice: programming examples in POP-11 (with R Barrett) Ellis-Horwood, 1986.

POP-11: a practical language for artificial intelligence (with R Barrett, A Sloman) Ellis-Horwood, 1985

JOURNAL PAPERS

C Kuo & A M Ramsay, Translating emphatic/contrastive focus from English to Mandarin Chinese, Machine Translation, Vol 22(4), 181-203, doi:10.1007/s10590-009-9055-8, 2009

A M Ramsay & D G Field, Speech Acts, Epistemic Planning and Grice's Maxims, Journal of  Logic and Computation 18: 431-457; doi:10.1093/logcom/exm073, 2008

A M Ramsay & H Mansour, Towards including prosody in a text-to-speech system for Modern Standard Arabic, Computer Speech and Language Vol 22, 84–103, 2007

A M Ramsay & V Mirzaeian, Content-based support for Persian learners of English, RECALL,  Vol 17(1), 139-154, 2005

D G Field & A M Ramsay, Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts, Artificial Intelligence Review, 22(2), 149--171, 2004

A M Ramsay & H L Gaylard, Relevant answers to WH-questions, Journal of Language, Logic and Information, 13(2), 173­186, 2004

A M Ramsay, Theorem proving for untyped constructive lambda-calculus: implementation and application, Logic Journal of the Interest Group in Pure and Applied Logics, 9(1), 89-106, 2001

A M Ramsay & H L Seville, Models and Discourse Models, Journal of Language and Computation, 1(2), 159-174, 2000 

A M Ramsay,  Parsing with discontinous phrases, Natural Language Engineering, 5(3), 271-300, 1999,

A M Ramsay, Theorem Proving for Intensional Logic, Journal of Automated Reasoning 14, 237-255, 1995

A M Ramsay, Presuppositions and WH-clauses, Journal of Semantics 9, 251-286, 1992

A M Ramsay, Generating Relevant Models, Journal of Automated Reasoning 7, 359-368, 1991

A M Ramsay,  Disjunction Without Tears, Computational Linguistics (16)(3), 171-174, 1990

A M Ramsay,  Review of ``Planning English sentences" (D. Appelt), Cognitive Science 12(3), pp. 467-483, 1988

A M Ramsay,  What We Say and What We Mean, AI Review 2(1), 1987

A M Ramsay, Distributed vs. Parallel Programming, AI Review 1(1), 1986

A M Ramsay, AI Programming Languages: requirements, facilities and techniques, Data Processing, 1985

A M Ramsay, On Efficient Context Switching, The Computer Journal, 1985

A M Ramsay, Type-checking in an Untyped Language, Int. Journal Man-Machine Studies 20, 1984

A M Ramsay, The POPLOG Program Development System, Microprocessors and Microsystems, 1984

A M Ramsay, A Distributed Programming Assistant, Software - Practice and Experience 13, 1983

REFEREED CONFERENCE PAPERS AND KEYNOTE TALKS

A M Ramsay & H Mansour, Exploiting Hidden Morphophonemic Constraints for Finding the Underlying Forms of ’weak’ Arabic verbs, Recent Advances in Natural Language Processing, eds G Angelova, K Bontcheva, R Mitkov, N Nikolov, Hissar, Bulgaria, 448-455, 2011

M Alabbas &  A M Ramsay, Evaluation of Dependency Parsers for Long Arabic Sentences, 2011 International Conference on Semantic Technology and Information Retrieval, Putrajaya, Malaysia, 243-248, 2011

A Garg & A M Ramsay, Semantic Content Analysis of Video: Issues and Trends, Multimedia Analysis, Processing & Communications, eds. W. Lin et al., SCI 346, Springer-Verlag Berlin Heidelberg, 443–457, 2011

A M Ramsay, Semi-partitioned Horn Clauses: A Tractable Logic of Types, Artificial Intelligence: Methodology, Systems, and Applications, Lecture Notes in Computer Science, 2010, Volume 6304/2010, 279-280, DOI: 10.1007/978-3-642-15431-7_36

A M Ramsay, The Complexity of Everyday Language, Recent Advances in Natural Language Processing V, John Benjamins, Current Issues in Linguistic Theory 309, eds N Nicolov, G Angelova, R Mitkov, 99-112, 2009

A M Ramsay & D G Field, 'Sorry' is the hardest word, Computational Approaches to Creativity (NAACL HLT Workshop), 94-101, 2009, University of Colorado, Boulder

D G Field and A M Ramsay, Actions speak louder than words: an intentional look at defining communicative acts for embodied conversational agents, AAMAS 2009 Workshop: Towards a Standard Markup Language for Embodied Dialogue Acts, 25--30, 2009, Budapest, Hungary,

A M Ramsay & D G Field, Using English for commonsense knowledge, Eighth International Conference on Computational Semantics (IWCS-8), 2009, 181--194, Tilburg, Tilburg University

A M Ramsay & D G Field, Everyday language is highly intensional, Semantics in Text Processing (STEP 2008), eds J Bos and R Delmonte, 2008, 193--206, Venice, College Publications

C-L Kuo & A M Ramsay, Translating Emphatic/Contrastive Focus from English to Mandarin Chinese, European Machine Translation Conference (EAMT-08), 2008, 78-87, Hamburg

A M Ramsay, A Tractable Logic of Types  22nd International Workshop on Unification (UNIF-08), 2008, 69--81, Castle of Hagenberg, Austria

A M Ramsay & H Mansour, Estimating phone lengths for a diphone-based text-to-speech system for Arabic, The Sixth International Conference on Informatics and Systems, 2008, NLP-135--NLP-140, Cairo

A M Ramsay, Intensionality in everyday language, Recent Advances in Natural Language Processing (RANLP-07), Borovets, 2007 (invited talk)

D G Field & A M Ramsay, Minimal sets of minimal speech acts, Recent Advances in Natural Language Processing (RANLP-07),  193-199, Borovets, 2007

A M Ramsay Parsing with 'free word order' languages, Sixth conference of the Egyptian language engineering society, Cairo, 2007 (invited talk)

D G Field & A M Ramsay, Deep-reasoning-centred dialogue, Proc. 11th European Workshop on Natural Language Generation (ENLG'07), 131-138, Schloss Dagstuhl, Germany, 2007

A M Ramsay & K Hargreaves, Local constraints on topic and focus in Somali, Proceedings of the COLING/ACL 2006 Main Conference Poster Sessions, 337--344, Sydney, 2006

A M Ramsay & H Mansour, Local constraints on Arabic word order, Advances in Natural Language Processing (5th International Conference on NLP, FinTAL 2006), 447--457, Turku, 2006

D G Field & A M Ramsay, Planning ramifications: when ramifications are the norm, not the problem, 11th International Workshop on Nonmonotonic Reasoning, The Lake District, 2006

A M Ramsay & D G Field, How to change a person's mind: understanding the difference between the effects and consequences of speech acts, 5th Workshop on Inference in Computational Semantics, Buxton, 2006, 27--36

 A M Ramsay & H Mansour, `Just-in-time' constraints in a system for Arabic Text-to-speech, 5th conference of the Egyptian society for language engineering, Cairo, 2005, 143--153

A M Ramsay, N Ahmed & V Mirzaiean,  Persian word-order is free but not (quite) discontinuous, 5th International Conference on Recent Advances in Natural Language Processing (RANLP-05), Borovets, Bulgaria, 2005, 412--418

A M Ramsay, Prepositions as abstract relations, Second ACL-SIGSEM  Workshop on The Linguistic Dimensions of Prepositions and their Use in Computational Linguistics Formalisms and Applications, Colchester, 2005

R Mahmoud & A M Ramsay, Finding discourse relations in student essays, 6th International Conference on Computational Linguistics and Intelligent Text Processing (CICLing 2005), Mexico City, 2005

D G Field & A M Ramsay, How to build towers of arbitrary heights, The 23rd Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004),
 University College Cork, Ireland, 2004

A M Ramsay & H Mansour, The parser from an Arabic text-to-speech system, Traitement automatique du language naturel (TALN'04)}, F`es, Morroco, 2004

A M Ramsay and H Mansour, Arabic morpho-syntax for text-to-speech,  Recent Advances in Natural Language Processing (RANLP'2003), Borovets, Bulgaria, eds G Angelova, K Bontecheva, R, Mitkov, N Nicolov & N Nikolov, 2003

A M Ramsay & V Mirzaiean, Computational content-based support for Persian learners of English, WorldCALL 2003, Banff, Canada, 30

A M Ramsay & H L Gaylard, A constructive view of discourse operators, EACL workshop on Dialogue Systems, Budapest, 2003, ed. K Jokinen, B Gamback, W Black, R Catizone & Y Wilks, 103--110,

H L Gaylard and A M Ramsay, Incremental inference in context,  Proceedings of the Fifth International Workshop on Computational Semantics (IWCS-5),  Tilburg,  2003,  ed. H Bunt , I van der Sluis & R Morante,  165--178

D G Field & A M Ramsay, Sarcasm, deception and stating the obvious: planning dialogue without speech acts,  Proceedings of the Fifth International Workshop on Computational Semantics (IWCS-5),  Tilburg,  2003,  ed. H Bunt , I van der Sluis & R Morante,  457--460

Fine-grained intensionality: why we need it, how we can have it, Fourth International Conference on Inference in Computational Semantics (ICoS-4), Nancy, France, 2003 (invited
talk)

H L Gaylard & A M Ramsay, A unified theory of reference resolution, 4th Discourse and Dialogue Colloquium, Lisbon, 2002

H Mansour & A M Ramsay, Text to speech for Modern Standard Arabic, From letter to sound (3rd international workshop on writing systems), Univ of Cologne, 2002

A M Ramsay, Temporal views as abstract relations, 9th International Symposium on Temporal Representation and Reasoning, IEEE, Manchester, 2002

H L Gaylard & A M Ramsay, Any: The Hearer's Role in Discourse Update, Recent Advances in Natural Language Processing (RANLP-2001), Tzigov Chark, 108--114, 2001

A M Ramsay & H L Seville, Relevant Answers to WH-questions,  3rd International Conference on Inference in Computational Semantics, Siena, 2001, 73--86

A M Ramsay & H Mansour, Arabic morphology: a categorial approach, ACL workshop on `Arabic Language Processing: Status and Prospects', ACL-2001, Toulouse, 2001

A M Ramsay & H L Seville, What situational and discourse relations entail, 4th International Workshop on Computational Semantics, University of Tilburg, 2001, 417--432

H L Seville & A M Ramsay, Capturing sense in intensional contexts, 4th International Workshop on Computational Semantics, University of Tilburg, 2001, 319--333

A M Ramsay & H L Seville, What did he mean by that?, Artificial Intelligence: Methodology, Systems, Applications IX (AIMSA-2000), 199--209, 2000

A M Ramsay, Theorem proving for constructive lambda-calculus, Artificial Intelligence: Methodology, Systems, Applications IX  (AIMSA-2000), 144--156, 2000

A M Ramsay & H L Seville, Unscrambling English word order, Proceedings of the 18th International Conference on Computational Linguistics (COLING-2000),   Saarbrucken, 656--662

H L Seville & A M Ramsay, Making sense of reference to the unfamiliar, Proceedings of the 18th International Conference on Computational Linguistics (COLING-2000),   Saarbrucken, 775--781

A M Ramsay & H L Seville, Models and discourse models, 1st workshop on inference in computational semantics, 1999, Inst. for Language, Logic and Computation, University of Amsterdam

H L Seville and A M Ramsay, Reference-based Discourse Structure for Reference. ACL Workshop on Discourse/Dialogue Structure and Reference, 1999, University of Maryland

Weak Lexical Semantics and Multiple Views, 1999, 3rd International Workshop on Computational Semantics, Univ. of Tilburg, 1999, 205-214 (selected papers published as Computing Meaning, Vol II, ed H Bunt, R Muskens and E Thijsse, Kluwer 2001).

M Cryan & A M Ramsay, A Normal Form for Property Theory, 14th Conference on Automated Deduction, 1997, Springer Lecture Notes in Computer Science, 237-251

Dynamic and Underspecified Semantics Without Dynamic or Underspecified Logic, 2nd International Workshop on Computational Semantics, Univ. of Tilburg, 1997, 208-220. (selected papers published as Computing Meaning, Volume I, ed H Bunt and R Muskens, Kluwer Academic Publishers, 1999)

Aspect and Aktionsart: fighting or cooperating?, Proceedings of the 16th International Conference on Computational Linguistics (COLING-96), Copenhagen, 889-894

Linguistics: the Theoretical and Empirical Study of Language, Theoretical and Empirical Methods in Speech and Language Processing, UK SALT Club workshop, Univ. of Manchester, 1996 (keynote talk)

A M Ramsay & R Schaler, Case and Word Order in English and German,Recent Advances in Natural Language Processing, Tzigov Chark 1995, 249-257.

The Co-operative Lexicon, 1st International Workshop on Computational Semantics, Univ. of Tilburg 1994, 171-180.

Theorem Proving for Intensional Logic, 7th Irish Conf. on AI and Cognitive Science, Dublin 1994, 151-164.

Focus on ``Only" and ``Not", Proceedings of the 16th International Conference on Computational Linguistics (COLING-94), Kyoto, 881-885.

Linguistics: the Cognitive Science of Natural Language, The Cognitive Science of Natural Language Processing, Dublin 1994 (keynote talk)

Generic NPs and Habitual VPs, Proceedings of the 15th International Conference on Computational Linguistics (COLING-92), Nantes, 1992, 226-231

The Form and Function of Presuppositions, The Cognitive Science of Natural Language Processing, Dublin City University, 1992

A Common Framework for Analysis and Generation, Fifth Conf. of the European Chapter of the Association for Computational Linguistics, Berlin, 1991

Topicalisation and Attachment Preferences, Fourth Irish Conf. on AI and Cognitive Science, Cork, 1991

Speech Act Theory and Epistemic Planning, Artificial Intelligence: methodology, sytems, applications-IV, Varna, Bulgaria, 1990

Extended Graph Unification, Fourth Conf. of the European Chapter of the Association for Computational Linguistics, UMIST, 1989

The Logical Structure of WH-clauses, Second Irish Conf. on AI and Cognitive Science, Dublin City Univ., 1989

Epistemic Reasoning without Possible Worlds, Primo Congresso della Assoc. Italiana per l'Intelligenza Artificiale, IRST, Trento, 1989.

Knowing What and Knowing That, Advances in AI, eds. J. Hallam and C.S. Mellish, Wiley, 1987

Intensional Logic and the Semantics of WH-questions, Conference on philosophy and computation, King's College London, 1987

A Self-improving Parser for Generalised Phrase Structure Grammars, Second Conf. of the European Chapter of the Association for Computational Linguistics, Univ. of Geneva, 1985

An Environment for Developing Distributed Programs, European Conference on AI, Paris, 1982

An Interactive Environment for Distributed Computing, (with D. Owen) 2nd Int. Conf. on Distributed Computing, Paris, 1981

Parsing English text, AISB/GI Conference, Amsterdam, 1980

Understanding English Descriptions of Programs, AISB/GI Conference, Amsterdam, 1980

BOOK CHAPTERS

A Garg & A M Ramsay, Semantic Content Analysis of Video: Issues and Trends, Multimedia Analysis, Processing and Communications, eds W Lin, D Tao, J Kacprzyk, Z Li, EIzquierdo, and H Wang, 443-457, Springer, 2011

From computational linguistics to natural language engineering, The Routledge Encyclopedia of Linguistics, ed K Malmkjaer, 68-98, Routledge, 2009

Natural Language Understanding, Encyclopaedia of Language &  Linguistics, Elsevier, 2005

Speech acts and Artificial Intelligence planning theory, Encyclopaedia of Language &  Linguistics, Elsevier, 2005

M Schulze & A M Ramsay, Die Struktur deutscher Worte, Getting into German, German Linguistic and Cultural Studies vol.17, ed. J. Partridge, Peter Lang, Bern, 83-105, 2005

Discourse, Oxford Handbook of Computational Linguistics, ed. R. Mitkov, Oxford University Press, 2003

Formal approaches to semantics and pragmatics, Encyclopedia of Cognitive Science, Nature Publishing Group, Macmillan Publishers Ltd, 2002

Speech Act Theory and Epistemic Planning, Abduction, Beliefs and Context in Dialogue:
Studies in Computational Pragmatics, John Benjamins, ed. H Bunt & W J Black, 2000

Does It Make Any Sense? Updating = Consistency Checking, The Semantics-Pragmatics Interface from Different Points of View, ed. K Turner, Elsevier, 1999

Can a Neutral Dictionary be Useful?, Machine Tractable Dictionaries: Design and Construction, ed. C-M Guo, Ablex Publishing Corporation, 65-74, 1995

Meanings as Constraints on Information States, Constraints, Language and Computation 248-274, eds C.J. Rupp, M. Rosner & R. Johnson, Academic Press, 1994

Prospects for Natural Language Processing, Prospects for Artificial Intelligence 33-48, eds. A.Sloman et al., IOS Press, 1993

AI in Linguistics, The Linguistic Encyclopaedia 28-38, ed K Malmkjaer, Routledge Kegan Paul, 1991 (updated 2001)

Computer-aided Syntactic Description of Language Systems, The Handbook of Computational Linguistics, eds. I S Batori, W Lenders, W Putschke, Walter de Gruyter, 1989

WH-questions and Intensional Logic, Recent Developments and Applications of Natural Language Processing, ed J Peckham, Kogan Page, 1989

Embedding Very High Level Languages in POP-11, POP-11 Comes of Age: the advancement of an AI programming language, ed. J Anderson, Ellis Horwood, 1989

Embedding Very High Level Languages AI Programming Environments, ed R Hawley, Ellis Horwood, 1987

Natural Language Processing, Artificial Intelligence: principles, applications and implications, ed M Yazdani, Chapman and Hall, 1986