9 search results - page 1 / 2 » wlp 2004 |
81
Voted
WLP
2004
Springer
15 years 2 months ago
2004
Springer
100
Voted
WLP
2004
Springer
15 years 2 months ago
2004
Springer
108
Voted
WLP
2004
Springer
15 years 2 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...
104
Voted
WLP
2004
Springer
15 years 2 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...
79
Voted
WLP
2004
Springer
15 years 2 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 ...