Sciweavers

981 search results - page 79 / 197
» Semantics for an Agent Communication Language
Sort
View
APAL
2006
112views more  APAL 2006»
14 years 10 months ago
On complexity of verification of interacting agents' behavior
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
AISADM
2007
Springer
15 years 4 months ago
Emotional Cognitive Agents with Adaptive Ontologies
An unsolved problem in AIS is adaptive ontologies. Semantic Web requires flexible ontologies adaptive to user needs and to Web contents. The paper describes emotional intelligent a...
Leonid I. Perlovsky
ESOP
2012
Springer
13 years 5 months ago
Multiparty Session Types Meet Communicating Automata
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
Pierre-Malo Deniélou, Nobuko Yoshida
AAAI
2000
14 years 11 months ago
Total Knowledge
In this paper, we analyse a concept of total knowledge based on the idea that an agent's total knowledge is the strongest proposition the agent knows. We propose semantics fo...
Ian Pratt-Hartmann
ESWS
2010
Springer
15 years 2 months ago
Reactive Policies for the Semantic Web
Semantic Web policies are general statements defining the behavior of a system that acts on behalf of real users. These policies have various applications ranging from dynamic age...
Piero A. Bonatti, Philipp Kärger, Daniel Olme...