8132 search results - page 336 / 1627 » Dependability, Abstraction, and Programming |
191
click to vote
WLP
2004
Springer
16 years 4 days 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...
171
click to vote
AGP
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
180
click to vote
BIRTHDAY
2003
Springer
16 years 21 hour ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
189
Voted
EUROGP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we continue our study on adaptive genetic programming. We use Stepwise Adaptation of Weights (saw) to boost performance of a genetic programming algorithm o...
356
click to vote
ACMMPC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...