LESK(ID:3379/les002)

A Language Synthesizing Natural Language, Computer Language and Logic
Related languages
Prolog => LESK   Extension of
References:
  • Skuce, Douglas R. "An English-Like Language For Qualitative Scientific Knowledge" pp593-600 view details
          in IJCAI-75 Proceedings of the 4th International Joint Conference on Artificial Intelligence, 1975 Tbilisi, USSR view details
  • Skuce, Douglas, "An Approach to Defining and Communicating the Conceptual Structure of Data," Technical Report TR-79-05, Department of Computer Science, University of Ottawa, Canada (1979). view details
          in IJCAI-75 Proceedings of the 4th International Joint Conference on Artificial Intelligence, 1975 Tbilisi, USSR view details
  • Skuce, Douglas "Expressing Qualitative Biomedical Knowledge Exactly Using the Language LESK" pp57-69 view details Abstract: A language (LESK) is described which allows one to make mainly qualitative declarations of the essential terminology and facts in some technical subject. LESK is essentially first order predicate calculus, made to look like natural language. A LESK system, now partially implemented in PROLOG, allows one to enter declarations and assertions, check consistency, and deductively answer predominately generic, universally quantified questions. An extensive example is presented in which LESK is used to describe neurophysiological knowledge about the stretch reflex.
          in International Journal of Computing in Biology and Medecine Vol. 15(1) (1982) view details
  • Skuce, Douglas, "LESK: A Language Synthesizing Natural Language, Computer Language and Logic," Proceedings Annual Conference on Computational Linguistics COLING-82 (July 1982). view details
          in International Journal of Computing in Biology and Medecine Vol. 15(1) (1982) view details
  • Skuce, Douglas, "Module Development Based on Program Transformation and Automatic Generation of the Input-Output Relation," in Proceedings of the First International Logic Programming Conference, ed. M. van Caneghem, ADDP-GIA, Faculte des Sciences de Luminy, Marseille, France (September 1982) view details
          in International Journal of Computing in Biology and Medecine Vol. 15(1) (1982) view details
  • Skuce, Douglas, "Expressing Academic Regulations in LESK," Technical Report TR-83-13, Department of Computer Science, University of Ottawa, Canada (1983) view details
          in International Journal of Computing in Biology and Medecine Vol. 15(1) (1982) view details
  • Skuce, Douglas, "Expressing UNIX Knowledge in LESK," Technical Report TR-83-14, Department of Computer Science, University of Ottawa, Canada (1983) view details
          in International Journal of Computing in Biology and Medecine Vol. 15(1) (1982) view details
  • Skuce, Douglas, "Formal Semantics of KNOWLOG," Technical Report TR-83-15, Department of Computer Science, University of Ottawa, Canada (1983) view details
          in International Journal of Computing in Biology and Medecine Vol. 15(1) (1982) view details
  • Skuce, Douglas, "KNOWLOG: A Prolog Extension for Implementing Expert Knowledge Systems," Technical Report TR-83-05, Department of Computer Science, University of Ottawa, Canada (1983) view details
          in International Journal of Computing in Biology and Medecine Vol. 15(1) (1982) view details
  • Skuce, Douglas, "LESK Tutorial," Technical Report TR-83-12, Department of Computer Science, University of Ottawa, Canada (1983). view details
          in International Journal of Computing in Biology and Medecine Vol. 15(1) (1982) view details