Sciweavers

1830 search results - page 176 / 366
» Centering in Dynamic Semantics
Sort
View
JNW
2008
164views more  JNW 2008»
14 years 11 months ago
Improving Multi-Agent Based Resource Coordination in Peer-to-Peer Networks
The distributed nature of peer-to-peer networks offers a solid ground for the deployment of environments where multiple agents, managing several resources, can cooperate in pursuin...
António Luis Lopes, Luís Miguel Bote...
NGC
2000
Springer
124views Communications» more  NGC 2000»
14 years 11 months ago
Temporal Disjunctive Logic Programming
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
Manolis Gergatsoulis, Panos Rondogiannis, Themis P...
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
15 years 6 months ago
GATMO: A Generalized Approach to Tracking Movable Objects
— We present GATMO (Generalized Approach to Tracking Movable Objects), a system for localization and mapping that incorporates the dynamic nature of the environment while maintai...
Garratt Gallagher, Siddhartha S. Srinivasa, J. And...
ASWEC
2005
IEEE
15 years 5 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
AGENTCL
2003
Springer
15 years 5 months ago
Nonmonotonic Commitment Machines
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
Amit K. Chopra, Munindar P. Singh