136 search results - page 8 / 28 » Integrating Answer Set Reasoning with Constraint Solving Tec... |
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
14 years 1 months ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
In order to deal with inconsistent databases, a repair semantics defines a set of admissible database instances that restore consistency, while staying close to the original insta...
SARA
2009
Springer
14 years 2 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
For several reasons a database may not satisfy a given set of integrity constraints (ICs), but most likely most of the information in it is still consistent with those ICs; and cou...
AGP
2003
IEEE
13 years 11 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...