The set union problem has been widely studied during the past decades. The problem
consists of maintaining a collection of disjoint sets under the operation of union. More …

The unification problem and several variants are presented. Various algorithms and data
structures are discussed. Research on unification arising in several areas of computer …

Reliability at massive scale is one of the biggest challenges we face at Amazon. com, one of
the largest e-commerce operations in the world; even the slightest outage has significant …

Intelligent agents are employed as the central characters in this introductory text. Beginning
with elementary reactive agents, Nilsson gradually increases their cognitive horsepower to …

The handbook of artificial intelligence Page 1 COVERS O FLAPS The Handbook OfArtificial
Intelligence VOLUME 3 Page 2 PROPERTY OF NIU CEET LIBRARY Northern Illinois …

A query evaluation process for a logic data base comprising a set of clauses is described. It
is essentially a Horn clause theorem prover augmented with a special inference rule for …

Generative communication is the basis of a new distributed programming langauge that is
intended for systems programming in distributed settings generally and on integrated …

The notion that computation= controlled deduction was first proposed by Pay Hayes [19] and
more recently by Bibel [2] and Vaughn-Pratt [31]. A similar thesis that database systems …

The unification problem in f'mst-order predicate calculus is described in general terms as the
solution of a system of equations, and a nondeterministic algorithm is given. A new …

Showing how language theories must be operationally conceived and empirically validated
with studies of routine human activities in communication, this volume uses real texts …