60 search results - page 7 / 12 » Argument Realization in Dutch |
CIE
2006
Springer
13 years 11 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
EUROCRYPT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
HT
2000
ACM
13 years 11 months ago
2000
ACM
This paper presents the principles of ontology-supported and ontology-driven conceptual navigation. Conceptual navigation realizes the independence between resources and links to ...
FLAIRS
2001
13 years 8 months ago
2001
This paper presents arguments for the application of a multiagent approach to spatial reasoning, and it is shown how spatial reasoning benefits from an agent-based implementation....
KER
2008
13 years 7 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...