1809 search results - page 107 / 362 » A Formal Specification of dMARS |
TCS
2002
13 years 8 months ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
NIPS
2008
13 years 10 months ago
2008
Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on 'incongruent events' when 'g...
AOSE
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
JOT
2006
13 years 9 months ago
2006
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models
ECAI
2004
Springer
14 years 22 days ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...