Sciweavers

107 search results - page 12 / 22
» Acquisition of Abstract Plan Descriptions for Plan Recogniti...
Sort
View
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 1 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
ICLP
2007
Springer
15 years 3 months ago
Multivalued Action Languages with Constraints in CLP(FD)
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
SG
2004
Springer
15 years 2 months ago
A Framework Supporting General Object Interactions for Dynamic Virtual Worlds
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
Pieter Jorissen, Wim Lamotte
ATAL
1995
Springer
15 years 29 days ago
Experiences with an Architecture for Intelligent, Reactive Agents
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecs three levels of abstraction and descri...
R. Peter Bonasso, David Kortenkamp, David P. Mille...
FLAIRS
2009
14 years 7 months ago
Lifting the Limitations in a Rule-based Policy Language
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
Alan Lindsay, Maria Fox, Derek Long