Sökning: "Kim Solin"
Hittade 3 avhandlingar innehållade orden Kim Solin.
1. Abstract Algebra of Program Refinement
Sammanfattning : .... LÄS MER
2. The Mathematician as Mathematics : Theories of Computation in Light of Wittgenstein's Thought
Sammanfattning : Theories of computation are considered in light of Wittgenstein's thought. The dissertation is divided into three parts.The first part presents the philosophical approach taken in the dissertation. The approach takes Wittgenstein's philosophy, in particular as it has been understood by Rush Rhees, as a model. LÄS MER
3. Norm-Regulation of Agent Systems : Instrumentalizing an algebraic approach to agent system norms
Sammanfattning : An architecture for norm-regulated multi-agent systems based on an algebraic approach to normative systems is instrumentalized and further developed. The core of the instrumentalization is a Prolog module, which together with a Java library can be used for creating client/server-based runtime systems. LÄS MER