Sciweavers

4209 search results - page 358 / 842
» Abstract Dialectical Frameworks
Sort
View
WOODPECKER
2001
15 years 8 months ago
Proposal for a formal foundation of RM-ODP concepts
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
Andrey Naumenko, Alain Wegmann, Guy Genilloud, Wil...
SFP
2003
15 years 8 months ago
Testing Scheme programming assignments automatically
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
Manfred Widera
DLOG
1998
15 years 8 months ago
Implementing an ALCRP(D) ABox Reasoner - Progress Report
Abstract: This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which h...
Volker Haarslev, Ralf Möller, Anni-Yasmin Tur...
FLAIRS
1998
15 years 8 months ago
Decision Making in Qualitative Influence Diagrams
The increasing number of knowledge-based systems that build on a Bayesian belief network or influence diagram acknowledge the usefulness of these frameworks for addressing complex...
Silja Renooij, Linda C. van der Gaag
UAI
2007
15 years 7 months ago
A System for Ontologically-Grounded Probabilistic Matching
This paper is part of a project to match descriptions of real-world instances and probabilistic models, both of which can be described at mulvel of abstraction and detail. We use ...
Rita Sharma, David Poole, Clinton Smyth