77 search results - page 5 / 16 » Reasoning about Categories in Conceptual Spaces |
ENTCS
2007
13 years 7 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
EKAW
2004
Springer
14 years 26 days ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...