741 search results - page 91 / 149 » SMILE - A Framework for Semantic Applications |
151
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
171
click to vote
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
153
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
204
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
167
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...