Παρακολούθηση
Keith L. Clark
Keith L. Clark
Imperial College
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ic.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Negation as failure
KL Clark
Logic and data bases, 293-322, 1977
35151977
PARLOG: parallel programming in logic
K Clark, S Gregory
ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 1-49, 1986
7551986
Predicate logic as a computational formalism.
KL Clark
Queen Mary, University of London, 1980
3381980
micro-PROLOG: Programming in Logic
KL Clark, FG Mc Cabe
Prentice Hall Inc., Old Tappan, NJ, 1984
2891984
April—agent process interaction language
FG McCabe, KL Clark
International Workshop on Agent Theories, Architectures, and Languages, 324-340, 1994
2541994
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
2182014
A First Order Theory of Data and Programs.
KL Clark, SÅ Tärnlund
IFIP Congress, 939-944, 1977
1861977
Logic programming
WR Clark, K Clark
1801982
PROLOG: a language for implementing expert systems
KL Clark, F McCabe, FG McCabe
Imperial College of Science and Technology. Department of Computing, 1980
1721980
Negation as failure. Logic and Databases
KL Clark
Logic and Databases, Plenum, 1978
1701978
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
1381981
Algorithm classification through synthesis
KL Clark, J Darlington
The computer journal 23 (1), 61-65, 1980
1251980
The control facilities of IC-Prolog
KL Clark, FG McCabe
Department of Computing Imperial College of Science & Technology, 1979
1231979
Parlog: A parallel logic programming language
KL Clark, S Gregory
Imperial College of Science and Technology. Department of Computing, 1983
1171983
Energy Saving and Added Customer Value in Intelligent Buildings.
M Boman, P Davidsson, N Skarmeas, KL Clark, R Gustavsson
PAAM, 505-516, 1998
991998
Predicate logic: a calculus for deriving programs
K Clark, S Sickel
Proceedings of the 5th international joint conference on Artificial …, 1977
851977
Notes on systems programming in PARLOG
K Clark, S Gregory
University of London. Imperial College of Science and Technology. Department …, 1984
731984
Notes on the Implementation of PARLOG
K Clark, S Gregory
The Journal of Logic Programming 2 (1), 17-42, 1985
681985
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20