Advertisement

Programming in the year 2010

  • Robert Kowalski
Conference paper
Part of the ESPRIT Basic Research Series book series (ESPRIT BASIC)

Abstract

In trying to make predictions about a field so young as computing, it is useful to draw comparisons with a related and much older field such as law.

Keywords

Mathematical Logic Logic Program Logic Programming Human Thinking Computational Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Reference

  1. [1]
    Kowalski, R. A. and Sergot, M. J. [1990] “The use of logical models in legal program solving”. Ratio Juris, Vol. 3, No. 2, pp. 201–218.CrossRefGoogle Scholar

Copyright information

© ECSC — EEC — EAEC, Brussels — Luxembourg 1990

Authors and Affiliations

  • Robert Kowalski
    • 1
  1. 1.Department of ComputingImperial CollegeLondonUK

Personalised recommendations