10568 search results - page 543 / 2114 » Computer Intelligence and Formalization |
157
Voted
ECAL
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
158
click to vote
KI
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
140
click to vote
AIMSA
2004
Springer
15 years 11 months ago
2004
Springer
Ontology modeling requires modeling languages expressive enough to represent various definition types. A definition type which seems to be of particular significance is that provid...
204
click to vote
AMEC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
172
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...