Allan M. Ramsay

Last updated

Allan Ramsay
Allan Ramsay P1020198 (13870384865).jpg
Born1953 (age 69–70) [1]
Scientific career
Fields
Institutions
Thesis Understanding English descriptions of programs  (1980)
Website

Allan M. Ramsay is a Professor of Formal Linguistics in the Department of Computer Science at the University of Manchester. [2] [3] [4] [5] [6]

Contents

Education

Ramsay's undergraduate degree was in Logic and Mathematics from the University of Sussex. [7] After completing a Master of Science degree in Logic from the University of London, he returned to Sussex to complete a PhD in Artificial Intelligence. Prior to working at UMIST and the University of Manchester, he was Professor of Artificial Intelligence at University College Dublin.

Research

Ramsay's research [8] [9] focuses on Natural language processing, [10] [11] [12] [13] including morphology and syntax. He has published papers on the analysis of free word order languages, particularly morphology of the Arabic language, [6] [14] which poses a number of specific problems. Some of this research has been funded by the EPSRC. [15]

Related Research Articles

Patrick John Hayes FAAAI is a British computer scientist who lives and works in the United States. As of March 2006, he is a Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida.

In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science and philosophy.

<span class="mw-page-title-main">Michael Fourman</span> Logician and computer scientist

Michael Paul Fourman FBCS FRSE is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001–2009.

<span class="mw-page-title-main">Stephen Muggleton</span> Artificial intelligence researcher

Stephen H. Muggleton FBCS, FIET, FAAAI, FECCAI, FSB, FREng is Professor of Machine Learning and Head of the Computational Bioinformatics Laboratory at Imperial College London.

<span class="mw-page-title-main">Ian Horrocks</span>

Ian Robert Horrocks is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.

<span class="mw-page-title-main">Alan Rector</span> British computer scientist

Alan L. Rector is a Professor of Medical Informatics in the Department of Computer Science at the University of Manchester in the UK.

<span class="mw-page-title-main">Jack Minker</span> Artificial intelligence researcher (1927–2021)

Jack Minker was a leading authority in artificial intelligence, deductive databases, logic programming and non-monotonic reasoning. He was also an internationally recognized leader in the field of human rights of computer scientists. He was an Emeritus Professor in the University of Maryland Department of Computer Science, which is part of the College of Computer, Mathematical, and Natural Sciences.

<span class="mw-page-title-main">Martin Charles Golumbic</span> Computer Scientist

Martin Charles Golumbic is a mathematician and computer scientist known for his research on perfect graphs, graph sandwich problems, compiler optimization, and spatial-temporal reasoning. He is a professor emeritus of computer science at the University of Haifa, and was the founder of the journal Annals of Mathematics and Artificial Intelligence.

<span class="mw-page-title-main">Nigel Shadbolt</span> Principal of Jesus College, Oxford

Sir Nigel Richard Shadbolt is Principal of Jesus College, Oxford, and Professorial Research Fellow in the Department of Computer Science, University of Oxford. He is Chairman of the Open Data Institute which he co-founded with Tim Berners-Lee. He is also a Visiting Professor in the School of Electronics and Computer Science at the University of Southampton. Shadbolt is an interdisciplinary researcher, policy expert and commentator. His research focuses on understanding how intelligent behaviour is embodied and emerges in humans, machines and, most recently, on the Web, and has made contributions to the fields of Psychology, Cognitive science, Computational neuroscience, Artificial Intelligence (AI), Computer science and the emerging field of Web science.

<span class="mw-page-title-main">Georg Gottlob</span> Austrian computer scientist

Georg Gottlob FRS is an Austrian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Oxford.

Informatics is the study of computational systems. According to the ACM Europe Council and Informatics Europe, informatics is synonymous with computer science and computing as a profession, in which the central notion is transformation of information. In other countries, the term "informatics" is used with a different meaning in the context of library science, in which case it is synonymous with data storage and retrieval.

<span class="mw-page-title-main">Dave Cliff (computer scientist)</span>

David T. Cliff is a Professor in the Department of Computer Science at the University of Bristol and was formerly the Director of the UK Large-scale Complex IT Systems (LSCITS) Initiative. Cliff is the inventor of the seminal "ZIP" trading algorithm, one of the first of the current generation of autonomous adaptive algorithmic trading systems, which was demonstrated to outperform human traders in research published in 2001 by IBM.

<span class="mw-page-title-main">Ulrike Sattler</span>

Ulrike M. Sattler is a Professor of Computer science in the information management group of the Department of Computer Science at the University of Manchester and a visiting professor at the University of Oslo.

Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses learning of typically declarative and often recursive programs from incomplete specifications, such as input/output examples or constraints.

This glossary of artificial intelligence is a list of definitions of terms and concepts relevant to the study of artificial intelligence, its sub-disciplines, and related fields. Related glossaries include Glossary of computer science, Glossary of robotics, and Glossary of machine vision.

<span class="mw-page-title-main">Andrei Voronkov</span>

Andrei Anatolievič Voronkov is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.

Arnon Avron is an Israeli mathematician and Professor at the School of Computer Science at Tel Aviv University. His research focuses on applications of mathematical logic to computer science and artificial intelligence.

Michael Genesereth is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on Symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.

Nissim Francez is an Israeli professor, emeritus in the computer science faculty at the Technion, and former head of computational linguistics laboratory in the faculty.

Krzysztof R. Apt is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland in 1974. His research interests include program correctness and semantics, use of logic as a programming language, distributed computing, and game theory. Besides his own research, he has been heavily involved in service to the computing community, notably by promoting the use of logic in computer science and by advocating open access to scientific literature.

References

  1. ↑ "54287552".
  2. ↑ "Prof Allan Ramsay (BSc, MSc, PhD), research profile - personal details (The University of Manchester)" . Retrieved 10 June 2012.
  3. ↑ Allan M. Ramsay's publications indexed by the Scopus bibliographic database. (subscription required)
  4. ↑ "Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts". Artificial Intelligence Review. 22 (2): 149–171. 2004. doi:10.1023/B:AIRE.0000045504.76256.0d. S2CID   30441639.
  5. ↑ Alabbas, M.; Ramsay, A. (2011). "Evaluation of dependency parsers for long Arabic sentences". 2011 International Conference on Semantic Technology and Information Retrieval. p. 243. doi:10.1109/STAIR.2011.5995796. ISBN   978-1-61284-354-4. S2CID   17112997.
  6. 1 2 Ramsay, A.; Mansour, H. (2008). "Towards including prosody in a text-to-speech system for modern standard Arabic". Computer Speech & Language. 22: 84–103. doi:10.1016/j.csl.2007.06.004.
  7. ↑ Ramsay, A. (1987). "What we say and what we mean". Artificial Intelligence Review. 1 (3): 139–157. doi:10.1007/BF00142289. S2CID   23014507.
  8. ↑ Allan Ramsay at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  9. ↑ Allan M. Ramsay author profile page at the ACM Digital Library OOjs UI icon edit-ltr-progressive.svg
  10. ↑ Ramsay, A. (1991). "Generating relevant models". Journal of Automated Reasoning. 7 (3): 359–368. doi:10.1007/BF00249019. S2CID   38135904.
  11. ↑ Ramsay, A. (1988). "Appelt, D.E.Planning English Sentences". Cognitive Science. 12 (3): 467–477. doi: 10.1207/s15516709cog1203_5 .
  12. ↑ Sloman, Aaron; Barrett, Rosalind; Ramsay, Allan (1985). POP-11: a practical language for artificial intelligence. Chichester: E. Horwood. ISBN   0-470-20237-8.
  13. ↑ Ramsay, Allan (1988). Formal methods in artificial intelligence. Cambridge, UK: Cambridge University Press. ISBN   0-521-42421-6.
  14. ↑ Ramsay, A.; Mansour, H. (2006). "Local Constraints on Arabic Word Order". Advances in Natural Language Processing. Lecture Notes in Computer Science. Vol. 4139. p. 447. doi:10.1007/11816508_45. ISBN   978-3-540-37334-6.
  15. ↑ http://gow.epsrc.ac.uk/NGBOViewPerson.aspx?PersonId=47856 Grants awarded to Allan Ramsay by the Engineering and Physical Sciences Research Council
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.