Sciweavers

2088 search results - page 21 / 418
» The SPARK Agent Framework
Sort
View
TCAD
2010
121views more  TCAD 2010»
14 years 8 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
DALT
2006
Springer
15 years 5 months ago
JADL - An Agent Description Language for Smart Agents
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak
115
Voted
IAT
2006
IEEE
15 years 8 months ago
Designing Commitment-Based Agent Interactions
A key property of agents is that they are social, and hence the design of agent interactions is a crucial part of an agentoriented software engineering methodology. Agent interact...
Michael Winikoff
138
Voted
AGI
2011
14 years 5 months ago
Measuring Agent Intelligence via Hierarchies of Environments
Under Legg’s and Hutter’s formal measure [1], performance in easy environments counts more toward an agent’s intelligence than does performance in difficult environments. An ...
Bill Hibbard
107
Voted
ESAW
2006
Springer
15 years 5 months ago
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down"
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
Maarten Sierhuis