Sciweavers

1052 search results - page 107 / 211
» Distributed Logic Programming using Mobile Agents
Sort
View
126
Voted
ENTCS
2008
106views more  ENTCS 2008»
15 years 1 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
134
Voted
ASP
2005
Springer
15 years 6 months ago
Possibilistic Stable Model Computing
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
Pascal Nicolas, Claire Lefèvre
ICFP
2010
ACM
15 years 2 months ago
Security-typed programming within dependently typed programming
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
Jamie Morgenstern, Daniel R. Licata
AGENTS
2000
Springer
15 years 5 months ago
Ant-like missionaries and cannibals: synthetic pheromones for distributed motion control
Many applied problems in domains such as military operations, manufacturing, and logistics require that entities change location under certain constraints. These problems are trad...
H. Van Dyke Parunak, Sven Brueckner
115
Voted
ICLP
2009
Springer
15 years 8 months ago
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang