Publications
246 results found
Kent SJ, Pitt JV, 1996, Feature-Based and Model-Based Semantics for English, French and German Verb Phrases, Language Sciences, Vol: 18, Pages: 339-362
Pitt JV, 1996, A WWW Interface to a Theorem Prover for Modal Logic, User Interfaces for Theorem Provers, Editors: Merriam, York
Pitt J, Cunningham RJ, 1995, Making Requirements Specifications Accessible via Logic, Language and Graphics, Proceedings IEA/AIE 95, Eighth Int'l Conf. on Industrial & Engineering Applications of AI & Expert Systems, Publisher: Gordon & Breach
Pitt J, 1995, MacKE: Yet another proof assistant and automated pedagogic tool, 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 95), Publisher: SPRINGER-VERLAG BERLIN, Pages: 324-337
- Author Web Link
- Cite
- Citations: 1
Pitt J, Cunningham RJ, Kim JH, 1994, Co-operative Answering to Natural Language Email Queries, Proceedings of IEA/AIE 94, Seventh Int Conf. on Industrial & Engineering Applications of AI & Expert Systems, Publisher: Gordon & Breach
Pitt J, Electronic Agents in Future E-Commerce Scenarios: Some Computational, Social & Legal Aspects, CompLex Series, Publisher: Oslo University Press, Pages: 23-49
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.