9 search results - page 1 / 2 » wlp 2004 |
WLP
2004
Springer
13 years 10 months ago
2004
Springer
WLP
2004
Springer
13 years 10 months ago
2004
Springer
WLP
2004
Springer
13 years 10 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...
WLP
2004
Springer
13 years 10 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...
WLP
2004
Springer
13 years 10 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 ...