9 search results - page 1 / 2 » wlp 2004 |
85
Voted
WLP
2004
Springer
15 years 3 months ago
2004
Springer
103
Voted
WLP
2004
Springer
15 years 3 months ago
2004
Springer
110
Voted
WLP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The maintenance of large knowledge systems usually is a rather complex task. In this paper we will show that extensions or modifications of a knowledge base can be suppo...
106
Voted
WLP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
82
Voted
WLP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...