Sciweavers

6826 search results - page 942 / 1366
» Business Process Intelligence
Sort
View
ACRI
2004
Springer
16 years 5 days ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
ACRI
2004
Springer
16 years 5 days ago
Tom Thumb Algorithm and von Neumann Universal Constructor
Abstract. This article describes the addition to the von Neumann cellular automaton of the Tom Thumb Algorithm, a mechanism developed for the self-replication of multi-processor sy...
Joël Rossier, Enrico Petraglio, André ...
ATAL
2004
Springer
16 years 4 days ago
Mapping Mental States into Propositional Planning
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael C...
ATAL
2004
Springer
16 years 4 days ago
A Bayes Net Approach to Argumentation
Argumentation-based negotiation approaches have been proposed to present realistic negotiation contexts. This paper presents a novel Bayesian network based argumentation and decis...
Sabyasachi Saha, Sandip Sen
DALT
2004
Springer
16 years 4 days ago
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report
We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of th...
Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son