9370 search results - page 131 / 1874 » An Abstract Notion of Application |
110
Voted
AIED
2005
Springer
15 years 6 months ago
2005
Springer
This paper explores the idea of using contexts to support more efficient information search in Topic Maps-based digital libraries. The notion of context is d as abstraction of grou...
CAEPIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
RULEML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
93
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we give a representation-independent topological definition of crossover that links it tightly to the notion of fitness landscape. Building around this defi...
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...