Open AccessAssessment of Some Issues in CL-Theory and Program Development
Artificial IntelligencePeer ReviewedDanny De Schreye +11999Book series
. We make an assessment of the area of theory and program developmentin Computational Logic. We point out what we believe to be main causes for successor failure in this area. We revisit the "Algorithm = Logic + Control" equation ofKowalski and show how we believe it could be better understood and used. Weindicate some promising directions for further work.1.1
The content you want is available to Zendy users.
Already have an account? Sign inHaving issues? Contact support