10568 search results - page 703 / 2114 » Computer Intelligence and Formalization |
191
click to vote
ATAL
2004
Springer
16 years 19 days ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
166
click to vote
EUSAI
2004
Springer
16 years 18 days ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...
181
click to vote
KR
2004
Springer
16 years 18 days ago
2004
Springer
In this paper, we propose a framework that provides software and robotic agents with the ability to ask approximate questions to each other in the context of heterogeneous ontolog...
183
click to vote
KR
2004
Springer
16 years 18 days ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
219
click to vote
KR
2004
Springer
16 years 18 days ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...