10568 search results - page 430 / 2114 » Computer Intelligence and Formalization |
167
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
145
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
141
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
127
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
125
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...