4767 search results - page 341 / 954 » Structures for Abstract Rewriting |
167
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
In multi-agent system literature, the role concept is getting ngly researched to provide an abstraction to scope beliefs, norms, goals of agents and to shape relationships of the a...
195
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
176
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. TaxoMap is an alignment tool which aims to discover rich correspondences between concepts. It performs an oriented alignment (from a source to a target ontology) and take...
185
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
188
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract – In this paper, a variational message passing framework is proposed for Markov random fields. Analogous to the traditional belief propagation algorithm, variational mes...