We identify a useful class of logic programs with negation, called stratified programs, that disallow certain combinations of recursion and negation.Expand

We propose an abstract approach to coalition formation that focuses on simple merge and split rules transforming partitions of a group of players.Expand

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

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

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