Sciweavers

2696 search results - page 292 / 540
» Semantic Abstraction and Anaphora
Sort
View
OTM
2007
Springer
16 years 21 days ago
Fuzzy-DL Reasoning over Unknown Fuzzy Degrees
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
Stasinos Konstantopoulos, Georgios Apostolikas
PVM
2007
Springer
16 years 20 days ago
Analysis of Implementation Options for MPI-2 One-Sided
Abstract. The Message Passing Interface provides an interface for onesided communication as part of the MPI-2 standard. The semantics specified by MPI-2 allow for a number of diļ¬...
Brian Barrett, Galen M. Shipman, Andrew Lumsdaine
SEMWEB
2007
Springer
16 years 20 days ago
Performance of Hybrid WSML Service Matching with WSMO-MX: Preliminary Results
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
Frank Kaufer, Matthias Klusch
SUM
2007
Springer
16 years 20 days ago
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
Mónica Caniupán Marileo, Leopoldo E....
ARGMAS
2005
Springer
16 years 3 days ago
Argumentation Based Modelling of Embedded Agent Dialogues
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
Yannis Dimopoulos, Antonis C. Kakas, Pavlos Morait...