Sciweavers

2386 search results - page 87 / 478
» Representing and Reasoning with Preferences
Sort
View
AIIA
1995
Springer
15 years 1 months ago
Formalizing Reasoning About Change: A Temporal Diagnosis Approach
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
Johann Gamper, Wolfgang Nejdl
FLAIRS
2007
15 years 5 days ago
A Model for Qualitative Spatial Reasoning Combining Topology, Orientation and Distance
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
David Brageul, Hans W. Guesgen
DOLAP
2005
ACM
14 years 11 months ago
Modeling, querying and reasoning about OLAP databases: a functional approach
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
Ken Q. Pu
EIS
2011
253views ECommerce» more  EIS 2011»
14 years 4 months ago
A modelling and reasoning framework for social networks policies
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
Guido Governatori, Renato Iannella
PADL
2005
Springer
15 years 3 months ago
An Ordered Logic Program Solver
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir