1722 search results - page 72 / 345 » Ontology Formalism Transformation |
70
Voted
ISSAC
1990
Springer
15 years 4 months ago
1990
Springer
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
122
Voted
MABS
2005
Springer
15 years 6 months ago
2005
Springer
This paper addresses the question to what extent a process involving multiple agents that shows some form of collective intelligence can be interpreted as a single agent. The quest...
91
Voted
KR
2004
Springer
15 years 6 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...
85
Voted
ICCCI
2009
Springer
15 years 7 months ago
2009
Springer
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
ESWS
2004
Springer
15 years 6 months ago
2004
Springer
Semantic interoperability has become a key issue for realizing the Semantic Web in its full potential. However, there is a lot of controversy regarding the meaning and scope of the...