2088 search results - page 374 / 418 » The SPARK Agent Framework |
142
click to vote
DEON
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
110
click to vote
AIIDE
2007
15 years 4 months ago
2007
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...
106
click to vote
AVI
2008
15 years 4 months ago
2008
Computer visualization has advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached the point where...
136
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
129
click to vote
IFIP12
2008
15 years 3 months ago
2008
We study the interplay between argumentation and belief revision within the MAS framework. When an agent uses an argument to persuade another one, he must consider not only the pro...