1052 search results - page 42 / 211 » Distributed Logic Programming using Mobile Agents |
139
Voted
AAAI
2012
13 years 4 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
137
click to vote
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
147
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
Conventional network management is based on SNMP and often run in a centralized manner. Although the centralized management approach gives network administrators a flexibility of ...
109
Voted
ICEIS
2002
IEEE
15 years 7 months ago
2002
IEEE
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...
158
click to vote
ARGMAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...