86 search results - page 7 / 18 » Evolving Logic Programming Based Agents with Temporal Operat... |
182
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
134
Voted
IAT
2008
IEEE
16 years 1 hour ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
140
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
184
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
145
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Genetic Parallel Programming (GPP) is a novel Genetic Programming paradigm. Based on the GPP paradigm and a local search operator - FlowMap, a logic circuit synthesizing system in...