• Publications
  • Influence
Principles of constraint programming
TLDR
A modern, multidisciplinary introduction to the field that covers foundations and applications of constraint programming. Expand
  • 861
  • 111
  • PDF
Towards a Theory of Declarative Knowledge
TLDR
We identify a useful class of logic programs with negation, called stratified programs, that disallow certain combinations of recursion and negation. Expand
  • 1,388
  • 78
From logic programming to Prolog
  • K. Apt
  • Computer Science
  • Prentice Hall International series in computer…
  • 1 November 1996
TLDR
Unification Logic programs - procedural interpretation logic programs - declarative interpretation programming in pure Prolog with arithmetic verification ofpure Prolog programs with arithmetic. Expand
  • 218
  • 60
A Generic Approach to Coalition Formation
TLDR
We propose an abstract approach to coalition formation that focuses on simple merge and split rules transforming partitions of a group of players. Expand
  • 286
  • 53
  • PDF
Constraint logic programming using Eclipse
TLDR
An introduction to constraint programming, as well as a systematic introduction to the Eclipse system. Expand
  • 397
  • 46
  • PDF
Logic Programming
  • K. Apt
  • Computer Science
  • Handbook of Theoretical Computer Science, Volume…
  • 1990
TLDR
A self-contained introduction to the theory of logic programming, which is closely related to PROLOG. Expand
  • 1,712
  • 33
Ten Years of Hoare's Logic: A Survey—Part I
  • K. Apt
  • Computer Science
  • TOPL
  • 1 October 1981
TLDR
A survey of various results concerning Hoare's approach to proving partial and total correctness of programs is presented. Expand
  • 590
  • 32
  • PDF
The Essence of Constraint Propagation
  • K. Apt
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 13 November 1998
TLDR
We show that several constraint propagation algorithms (also called (local) consistency, consistency enforcing, Waltz, filtering or narrowing algorithms) are instances of algorithms that deal with chaotic iteration. Expand
  • 203
  • 29
  • PDF
Verification of Sequential and Concurrent Programs
TLDR
This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. Expand
  • 209
  • 27
Contributions to the Theory of Logic Programming
TLDR
Hom clauses of first-order predicate logic can be regarded as a high-level programming language when SLD-resolution, a special-purpose resolution theorem prover, is used as interpreter. Expand
  • 652
  • 25
  • PDF