1933 search results - page 212 / 387 » A Dynamic Theory of Ontology |
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
In this text we will discuss different forms of randomness in Natural Sciences and present some recent results relating them. In finite processes, randomness differs in various ...
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
AMAST
2006
Springer
14 years 28 days ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
DEON
2006
Springer
14 years 26 days ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Many works have identified the potential benefits of using argumentation to address a large variety of multiagent problems. In this paper we take this idea one step furth...