220 search results - page 21 / 44 » Logic-Based Agent Verification |
140
Voted
DALT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
124
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
145
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
141
click to vote
ESAW
2004
Springer
15 years 10 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
167
click to vote
IDEAL
2010
Springer
15 years 3 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...