Подписаться
Keith L. Clark
Keith L. Clark
Подтвержден адрес электронной почты в домене ic.ac.uk - Главная страница
Название
Процитировано
Процитировано
Год
Negation as failure
KL Clark
Logic and data bases, 293-322, 1977
34261977
PARLOG: parallel programming in logic
K Clark, S Gregory
ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 1-49, 1986
7481986
Predicate logic as a computational formalism.
KL Clark
Queen Mary, University of London, 1980
3371980
micro-PROLOG: Programming in Logic
KL Clark, FG Mc Cabe
Prentice Hall Inc., Old Tappan, NJ, 1984
2811984
April—agent process interaction language
FG McCabe, KL Clark
International Workshop on Agent Theories, Architectures, and Languages, 324-340, 1994
2511994
A relational language for parallel programming
KL Clark, S Gregory
Proceedings of the 1981 conference on Functional programming languages and …, 1981
2511981
Logic programming
R Kowalski
Handbook of the History of Logic 9, 523-569, 2014
1972014
Logic programming
WR Clark, K Clark
1771982
A First Order Theory of Data and Programs.
KL Clark, SÅ Tärnlund
IFIP Congress, 939-944, 1977
1761977
Negation as failure. Logic and Databases
KL Clark
Logic and Databases, Plenum, 1978
1681978
PROLOG: a language for implementing expert systems
KL Clark, F McCabe, FG McCabe
Imperial College of Science and Technology. Department of Computing, 1980
1641980
On Optimal Parameters for Ant Colony Optimization Algorithms.
D Gaertner, KL Clark
IC-AI, 83-89, 2005
1422005
IC-Prolog language features
KL Clark, FG MacCabe, S Gregory
Imperial College of Science and Technology. Department of Computing, 1981
1381981
The control facilities of IC-Prolog
KL Clark, FG McCabe
Department of Computing Imperial College of Science & Technology, 1979
1191979
Algorithm classification through synthesis
KL Clark, J Darlington
The computer journal 23 (1), 61-65, 1980
1181980
Parlog: A parallel logic programming language
KL Clark, S Gregory
Imperial College of Science and Technology. Department of Computing, 1983
1151983
Energy Saving and Added Customer Value in Intelligent Buildings.
M Boman, P Davidsson, N Skarmeas, KL Clark, R Gustavsson
PAAM, 505-516, 1998
981998
Predicate logic: a calculus for deriving programs
K Clark, S Sickel
Proceedings of the 5th international joint conference on Artificial …, 1977
791977
Notes on systems programming in PARLOG
K Clark, S Gregory
University of London. Imperial College of Science and Technology. Department …, 1984
701984
Notes on the Implementation of PARLOG
K Clark, S Gregory
The Journal of Logic Programming 2 (1), 17-42, 1985
691985
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20