What makes teamwork tick? Cooperation matters, in daily life and in complex applications.
After all, many tasks need more than a single agent to be effectively performed. Therefore …

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 …

LNAI 3452 - A Verification Environment for Sequential Imperative Programs in Isabelle/HOL
Page 1 A Verification Environment for Sequential Imperative Programs in Isabelle/HOL* Norbert …

Self-organizing software systems are an increasingly attractive approach to highly
distributed, decentralized, dynamic applications. In some domains (such as the Internet), the …

This chapter surveys the research in parallel or distributed strategies for mechanical
theorem proving in first-order logic, and explores some of its connections with the research …

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

This paper presents a taxonomy of parallel theorem-proving methods based on the control
of search (eg, master–slaves versus peer processes), the granularity of parallelism (eg, fine …

Humans have different problem solving strategies at their disposal and they can flexibly
employ several strategies when solving a complex problem, whereas previous theorem …

Different reasoning systems have different strengths and weaknesses, and often it is useful
to combine these systems to gain as much as possible from their strengths and retain as little …

This thesis presents an approach to learning good search guiding heuristics for the
supposition-based theorom prover E in equational deductions. Search decisions from …