177
click to vote
PADL
15 years 10 months ago
2001 Springer 
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
145
Voted
PADL
15 years 10 months ago
2001 Springer 
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
112
click to vote
PADL
15 years 10 months ago
2001 Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
129
click to vote
PADL
15 years 10 months ago
2001 Springer
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
|
Programming Languages