Sciweavers

223 search results - page 17 / 45
» Temporal Constraint Reasoning With Preferences
Sort
View
BSN
2006
IEEE
131views Sensor Networks» more  BSN 2006»
14 years 3 months ago
Elaborating Sensor Data using Temporal and Spatial Commonsense Reasoning
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
Bo Morgan, Push Singh
EUROCAST
2005
Springer
84views Hardware» more  EUROCAST 2005»
14 years 3 months ago
A Tractable Subclass of Fuzzy Constraint Networks
The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualit...
Alfonso Bosch, Francisco Guil, Roque Marín
ICLP
2004
Springer
14 years 3 months ago
On Programs with Linearly Ordered Multiple Preferences
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
TIME
1994
IEEE
14 years 1 months ago
On the Representation of Temporal Object Roles in Object Oriented Databases
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
Niki Pissinou, Kia Makki
CONSTRAINTS
2010
126views more  CONSTRAINTS 2010»
13 years 7 months ago
Solving satisfiability problems with preferences
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
Emanuele Di Rosa, Enrico Giunchiglia, Marco Marate...