[图书][B] Teamwork in multi-agent systems: A formal approach
B Dunin-Keplicz, R Verbrugge - 2011 - books.google.com
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 …
After all, many tasks need more than a single agent to be effectively performed. Therefore …
Partition-based logical reasoning for first-order and propositional theories
E Amir, S McIlraith - Artificial intelligence, 2005 - Elsevier
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 …
and propositional logic theories. Our motivation is two-fold. First, we are concerned with how …
[图书][B] Conflicting agents: conflict management in multi-agent systems
C Tessier, L Chaudron, HJ Müller - 2005 - books.google.com
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 …
involve different concepts, and are dealt with in different ways, depending on the kind of …
A verification environment for sequential imperative programs in Isabelle/HOL
N Schirmer - International Conference on Logic for Programming …, 2005 - Springer
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 …
Page 1 A Verification Environment for Sequential Imperative Programs in Isabelle/HOL* Norbert …
On cooperation between evolutionary algorithms and other search paradigms
J Denzinger, T Offermann - Proceedings of the 1999 Congress …, 1999 - ieeexplore.ieee.org
We present a multi-agent based approach for achieving cooperation between search
systems employing different search paradigms. The search agents periodically interrupt their …
systems employing different search paradigms. The search agents periodically interrupt their …
Software engineering for self-organizing systems
HVD Parunak, SA Brueckner - The Knowledge Engineering Review, 2015 - cambridge.org
Self-organizing software systems are an increasingly attractive approach to highly
distributed, decentralized, dynamic applications. In some domains (such as the Internet), the …
distributed, decentralized, dynamic applications. In some domains (such as the Internet), the …
Parallel theorem proving
MP Bonacina - Handbook of Parallel Constraint Reasoning, 2018 - Springer
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 …
theorem proving in first-order logic, and explores some of its connections with the research …
A taxonomy of parallel strategies for deduction
MP Bonacina - Annals of Mathematics and Artificial Intelligence, 2000 - Springer
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 …
of search (eg, master–slaves versus peer processes), the granularity of parallelism (eg, fine …
Proof planning with multiple strategies
E Melis, A Meier - International Conference on Computational Logic, 2000 - Springer
Humans have different problem solving strategies at their disposal and they can flexibly
employ several strategies when solving a complex problem, whereas previous theorem …
employ several strategies when solving a complex problem, whereas previous theorem …
[HTML][HTML] Combined reasoning by automated cooperation
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 …
to combine these systems to gain as much as possible from their strengths and retain as little …