232
click to vote
PADL
16 years 11 days 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...
189
click to vote
PADL
16 years 11 days 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...
157
click to vote
PADL
16 years 11 days 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...
187
click to vote
PADL
16 years 11 days 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