913 search results - page 24 / 183 » Formal Agent Development: Framework to System |
111
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
115
click to vote
ARGMAS
2005
Springer
15 years 7 months ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
111
click to vote
AAAI
2008
15 years 4 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
120
click to vote
AAAI
1996
15 years 3 months ago
1996
The ideas of dependency directed backtracking (DDB) and explanation based learning (EBL) have developed independently in constraint satisfaction, planning and problem solving comm...
138
click to vote
AH
2008
Springer
15 years 8 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...