9370 search results - page 131 / 1874 » An Abstract Notion of Application |
169
click to vote
AIED
2005
Springer
16 years 1 days 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...
164
click to vote
CAEPIA
2005
Springer
16 years 20 hour 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 ...
151
click to vote
RULEML
2005
Springer
15 years 12 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...
168
click to vote
GECCO
2004
Springer
15 years 12 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...
146
click to vote
ICALP
2004
Springer
15 years 12 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...