Sciweavers

363 search results - page 30 / 73
» Agent-Based Computing and Programming of Agent Systems
Sort
View
CORR
2004
Springer
111views Education» more  CORR 2004»
13 years 8 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
JUCS
2010
111views more  JUCS 2010»
13 years 7 months ago
Towards a Ubiquitous End-User Programming System for Smart Spaces
: This article presents a rule–based agent mechanism as the kernel of a ubiquitous end–user, UI–independent programming system. The underlying goal of our work is to allow en...
Manuel García-Herranz, Pablo A. Haya, Xavie...
BIRTHDAY
2003
Springer
14 years 1 months ago
Program Synthesis for Multi-agent Question Answering
Techniques that were developed for program synthesis are being applied to allow multiple agents to communicate with each other and cooperate to solve a single problem. We illustrat...
Richard J. Waldinger, Peter Jarvis, Jennifer L. Du...
ATAL
1997
Springer
14 years 24 days ago
Approximate Reasoning about Combined Knowledge
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
Frédéric Koriche
TOPLAS
2010
101views more  TOPLAS 2010»
13 years 7 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...