5198 search results - page 445 / 1040 » A Logic of Agent Programs |
205
click to vote
MAAMAW
1994
Springer
15 years 11 months ago
1994
Springer
What is the relation between the complexity of agents and the complexity of the goals that they can achieve? It is argued on the basis of a fundamental conservation of complexity ...
147
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
193
click to vote
ICIDS
2010
Springer
15 years 4 months ago
2010
Springer
Emohawk is a narrative-based serious game designed to be a supportive tool for teaching basics of virtual agents development at universities and high-schools. Emohawk is built util...
198
click to vote
DLOG
2003
15 years 8 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
174
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...