10568 search results - page 91 / 2114 » Computer Intelligence and Formalization |
132
Voted
ESAW
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
119
Voted
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...
129
click to vote
CIA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
125
click to vote
AAAI
1994
15 years 3 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
122
Voted
AAAI
2011
14 years 2 months ago
2011
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...