Sciweavers

1052 search results - page 78 / 211
» Distributed Logic Programming using Mobile Agents
Sort
View
SOFTVIS
2005
ACM
15 years 8 months ago
Visualization of mobile object environments
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
Yaniv Frishman, Ayellet Tal
ATAL
2008
Springer
15 years 5 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
180
Voted
FAABS
2004
Springer
15 years 8 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
CORR
2011
Springer
174views Education» more  CORR 2011»
14 years 6 months ago
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
Yoshitaka Kameya, Taisuke Sato
CIMCA
2005
IEEE
15 years 8 months ago
Wireless Satellite Network Monitoring using Distributed Multiagent Systems
The trend in today’s modern communication satellites is driving into the direction of spot beam technologies. This allows the illumination of distinct areas of the earth surface...
Frank Zimmer, Juan C. Burguillo-Rial