Sciweavers

5818 search results - page 254 / 1164
» A reasonable Semantic Web
Sort
View
ECMDAFA
2008
Springer
118views Hardware» more  ECMDAFA 2008»
15 years 8 months ago
A Metamodeling Approach for Reasoning about Requirements
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
Arda Goknil, Ivan Kurtev, Klaas van den Berg
ICLP
2009
Springer
15 years 11 months ago
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
Marco Gavanelli, Marco Alberti, Evelina Lamma
ICANN
2009
Springer
16 years 1 months ago
Logics and Networks for Human Reasoning
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
Steffen Hölldobler, Carroline Dewi Puspa Kenc...
OTM
2007
Springer
16 years 1 months 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
ESWS
2007
Springer
16 years 1 months ago
Ontology-Driven Management of Space Middleware
Abstract. Recent work in the field of middleware technology proposes semanticsaware tuplespaces as a tool for coping with the scalability, heterogeneity and dynamism issues arisin...
Reto Krummenacher