• Publications
  • Influence
Negation as Failure
  • K. Clark
  • Computer Science, Mathematics
  • Logic and Data Bases
  • 1 October 1987
TLDR
A query evaluation process for a logic data base comprising a set of clauses is described. Expand
  • 1,747
  • 105
  • PDF
PARLOG: parallel programming in logic
TLDR
PARLOG is a logic programming language in the sense that nearly every definition and query can be read as a sentence of predicate logic. Expand
  • 409
  • 21
Predicate logic as a computational formalism
  • 166
  • 17
April - Agent PRocess Interaction Language
TLDR
In this paper we introduce key features of a programming language for building DAI and other types of distributed applications requiring the transmission and manipulation of complex symbolic data. Expand
  • 175
  • 13
A relational language for parallel programming
TLDR
The Horn clause subset of predicate logic is a relational language with an established procedural interpretation for non-deterministic sequential computations [Kowalski 1974]. Expand
  • 154
  • 8
On Optimal Parameters for Ant Colony Optimization Algorithms
TLDR
We describe experimental work that attempts to correlate ‘types’ of TSP problems with parameter settings for fast convergence. Expand
  • 91
  • 8
Algorithm Classification Through Synthesis
  • 70
  • 4
Go! — A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
  • K. Clark, F. McCabe
  • Computer Science
  • Annals of Mathematics and Artificial Intelligence
  • 1 August 2004
TLDR
Go! is a multi-paradigm programming language that is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order. Expand
  • 43
  • 4
  • PDF
A First Order Theory of Data and Programs
  • 120
  • 3
PARLOG and PROLOG United
  • 18
  • 3