292 search results - page 43 / 59 » Model-checking agent refinement |
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
76
Voted
AAMAS
2010
Springer
14 years 9 months ago
2010
Springer
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...
56
Voted
AIED
2005
Springer
15 years 3 months ago
2005
Springer
We describe research on data-drive refinement and evaluation of a probabilistic model of student learning for an educational game on number factorization. The model is to be used b...
78
Voted
AAAI
1998
14 years 11 months ago
1998
We introduce a methodology for automating the maintenance of domain-specific taxonomies based on natural language text understanding. A given ontology is incrementally updated as ...
AAAI
1998
14 years 11 months ago
1998
Existingautomatedmodellingsystemseitherrely on large, complexlibrariesor requirecompleteaccessto the modelledsystem'sbehaviour,neitherof whichis desirable,To addresstheseprob...