Conferences in DBLP
C. David Page Jr. The Role of Declarative Languages in Mining Biological Databases. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:1- [Conf ] Shriram Krishnamurthi The CONTINUE Server (or, How I Administered PADL 2002 and 2003). [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:2-16 [Conf ] Gérard P. Huet Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:17-18 [Conf ] Amanda Clare , Ross D. King Data Mining the Yeast Genome in a Lazy Functional Language. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:19-36 [Conf ] Enrico Pontelli , Marcello Balduccini , F. Bermudez Non-monotonic Reasoning on Beowulf Platforms. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:37-57 [Conf ] Ninghui Li , John C. Mitchell DATALOG with Constraints: A Foundation for Trust Management Languages. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:58-73 [Conf ] Martin Elsman , Niels Hallenberg Web Programming with SMLserver. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:74-91 [Conf ] António Porto An Integrated Information System Powered by Prolog. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:92-109 [Conf ] Jed Liu , Andrew C. Myers JMatch: Iterable Abstract Pattern Matching for Java. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:110-127 [Conf ] Peter Schachte Sequence Quantification. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:128-144 [Conf ] Torben Æ. Mogensen Roll : A Language for Specifying Die-Rolls. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:145-159 [Conf ] Esra Erdem , Vladimir Lifschitz , Luay Nakhleh , Donald Ringe Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:160-176 [Conf ] Prahladavaradan Sampath Multi-agent Reactive Systems. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:177-193 [Conf ] Jacinto A. Dávila ACTILOG: An Agent Activation Language. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:194-207 [Conf ] Pablo Barceló , Leopoldo E. Bertossi Logic Programs for Querying Inconsistent Databases. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:208-222 [Conf ] Ana Paula Tomás , José Paulo Leal A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:223-240 [Conf ] Pierangelo Dell'Acqua , Luís Moniz Pereira A Logical Framework for Modelling eMAS. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:241-255 [Conf ] Oleg Kiselyov , Shriram Krishnamurthi SXSLT: Manipulation Language for XML. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:256-272 [Conf ] Jorge Coelho , Mário Florido Type-Based XML Processing in Logic Programming. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:273-285 [Conf ] Michel Ferreira , Luís Damas WAM Local Analysis. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:286-303 [Conf ] Qinan Zhou , Paul Tarau Garbage Collection Algorithms for Java-Based Prolog Engines. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:304-319 [Conf ] Antonio J. Fernández , Maria Teresa Hortalá-González , Fernando Sáenz-Pérez Solving Combinatorial Problems with a Constraint Functional Logic Language. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:320-338 [Conf ] Patricia M. Hill , Fausto Spoto Logic Programs as Compact Denotations. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:339-356 [Conf ] Ralf Lämmel , Joost Visser A Strafunski Application Letter. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:357-375 [Conf ] Henrik Nilsson , John Peterson , Paul Hudak Functional Hybrid Modeling. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:376-390 [Conf ] Víctor M. Gulías , Carlos Abalde , Juan J. Sánchez Lambda Goes to Hollywood. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:391-407 [Conf ]