Sciweavers

1402 search results - page 75 / 281
» A Practical Agent Programming Language
Sort
View
124
Voted
VEE
2009
ACM
146views Virtualization» more  VEE 2009»
15 years 9 months ago
Demystifying magic: high-level low-level programming
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
Daniel Frampton, Stephen M. Blackburn, Perry Cheng...
128
Voted
CLIMA
2004
15 years 3 months ago
Dynamic Logic for Plan Revision in Intelligent Agents
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
M. Birna van Riemsdijk, Frank S. de Boer, John-Jul...
118
Voted
CLIMA
2006
15 years 3 months ago
Using Jason to Implement a Team of Gold Miners
This paper describes a team of agents that took part in the second CLIMA Contest. The team was implemented in a logic-based language for BDI agents and was run in a Java-based inte...
Rafael H. Bordini, Jomi Fred Hübner, Daniel M...
117
Voted
ATAL
1999
Springer
15 years 6 months ago
Reactivity in a Logic-Based Robot Programming Framework
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
Yves Lespérance, Kenneth Tam, Michael R. M....
PLDI
2011
ACM
14 years 5 months ago
Safe optimisations for shared-memory concurrent programs
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
Jaroslav Sevcík