12993 search results - page 2343 / 2599 » Artificial Intelligence in China |
85
Voted
IWANN
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we present a proposal for Patients’ Mobile Monitoring. This framework enables the definition and generation of profiles, modules and communication structures betwe...
160
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
96
Voted
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
113
click to vote
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
100
click to vote
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...