Подписаться
Keith L. Clark
Keith L. Clark
Imperial College
Подтвержден адрес электронной почты в домене ic.ac.uk - Главная страница
Название
Процитировано
Процитировано
Год
Negation as failure
KL Clark
Logic and data bases, 293-322, 1977
34601977
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
3411980
micro-PROLOG: Programming in Logic
KL Clark, FG Mc Cabe
Prentice Hall Inc., Old Tappan, NJ, 1984
2821984
April—agent process interaction language
FG McCabe, KL Clark
International Workshop on Agent Theories, Architectures, and Languages, 324-340, 1994
2531994
A relational language for parallel programming
KL Clark, S Gregory
Proceedings of the 1981 conference on Functional programming languages and …, 1981
2531981
Logic programming
R Kowalski
Handbook of the History of Logic 9, 523-569, 2014
2052014
Logic programming
WR Clark, K Clark
1781982
A First Order Theory of Data and Programs.
KL Clark, SÅ Tärnlund
IFIP Congress, 939-944, 1977
1781977
Negation as failure. Logic and Databases
KL Clark
Logic and Databases, Plenum, 1978
1691978
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
1452005
IC-Prolog language features
KL Clark, FG MacCabe, S Gregory
Imperial College of Science and Technology. Department of Computing, 1981
1391981
Algorithm classification through synthesis
KL Clark, J Darlington
The computer journal 23 (1), 61-65, 1980
1201980
The control facilities of IC-Prolog
KL Clark, FG McCabe
Department of Computing Imperial College of Science & Technology, 1979
1191979
Parlog: A parallel logic programming language
KL Clark, S Gregory
Imperial College of Science and Technology. Department of Computing, 1983
1161983
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