2196 search results - page 27 / 440 » Practical Reasoning Using Values |
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
The objective of the Maximal Constraint Satisfaction Problem (Max-CSP) is to find an instantiation which minimizes the number of constraint violations in a constraint network. In t...
EDBTW
2006
Springer
14 years 12 days 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...
KI
2001
Springer
14 years 1 months ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
JURIX
2007
13 years 10 months ago
2007
In this paper, we model a recent legal case as presented in a court of first instance using argument schemes and an argumentation framework, providing a formal analysis of the cas...