15 search results - page 1 / 3 » padl 2004 |
PADL
2004
Springer
13 years 10 months ago
2004
Springer
PADL
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we show how CR-Prolog, a recent extension of A-Prolog, was used in the successor of USA-Advisor (USA-Smart) in order to improve the quality of the plans returned. The...
PADL
2004
Springer
13 years 10 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
PADL
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...
PADL
2004
Springer
13 years 10 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...