In this paper we show how tree decomposition can be applied to reasoning with first-order
and propositional logic theories. Our motivation is two-fold. First, we are concerned with how …

This book can mark the coming of age of automated theorem proving (ATP). The process to
maturity has been a continuum, as it is for humans, but this book serves to mark the …

We present a concept for an automated theorem prover that employs a search control based
on ideas from several areas of artificial intelligence (AI). The combination of case-based …

Conflicts between agents acting in a multi-agent environment arise for different reasons,
involve different concepts, and are dealt with in different ways, depending on the kind of …

The DISCOUNT system is a distributed equational theorem prover based on the teamwork
method for knowledge-based distribution. It uses an extended version of unfailing Knuth …

We present an approach to learning cooperative behavior of agents. Our approach is based
on classi~'ing situations with the help of tile nearest-neighbor rule. In this context, learning …

We present a multi-agent based approach for achieving cooperation between search
systems employing different search paradigms. The search agents periodically interrupt their …

Recent research in decision support systems (DSSs) has focused on building active
cooperative intelligent systems. Research in agent-based decision support is a promising …

Abstract The DARPA Ground Truth project sought to evaluate social science by constructing
four varied simulated social worlds with hidden causality and unleashed teams of scientists …

Distributed multimedia applications are typical of a new class of workstation applications that
require real-time communication and computation services to be effective. Unfortunately …