105 search results - page 7 / 21 » Bridging the Gap between Abstract Argumentation Systems and ... |
LISP
2008
13 years 7 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
PROMAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
ATAL
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. Dyna is a single-agent architectural framework that integrates learning, planning, and reacting. Well known instantiations of Dyna are Dyna-AC and Dyna-Q. Here a multiage...
ISQED
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Self-calibrating designs have recently gained momentum as an alternative to methods relying on worst-case characterisation of silicon [2], [4], [8]. So far, reliable op...
FOIS
2006
13 years 9 months ago
2006
Abstract. A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for the...