675 search results - page 62 / 135 » Using Fairness to Make Abstractions Work |
129
Voted
BTW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: With information infrastructures getting more and more complex, it becomes necessary to give automated support for managing the evolution of the infrastructure. If change...
131
Voted
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. There has recently been many proposals to adopt an argumentative approach to decision-making. As the underlying assumptions made in these different approaches are not al...
137
Voted
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
125
Voted
SARA
2007
Springer
15 years 10 months ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
108
click to vote
SUM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...