5. PADL 2003: New Orleans, LA, USA
Verónica Dahl, Philip Wadler (Eds.): Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-00389-4
Invited Papers
- C. David Page Jr.: The Role of Declarative Languages in Mining Biological Databases. 1
- Shriram Krishnamurthi: The CONTINUE Server (or, How I Administered PADL 2002 and 2003). 2-16
- Gérard P. Huet: Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. 17-18
Papers
- Enrico Pontelli, Marcello Balduccini, F. Bermudez: Non-monotonic Reasoning on Beowulf Platforms. 37-57
- Ninghui Li, John C. Mitchell: DATALOG with Constraints: A Foundation for Trust Management Languages. 58-73
- António Porto: An Integrated Information System Powered by Prolog. 92-109
- Peter Schachte: Sequence Quantification. 128-144
- Torben Æ. Mogensen: Roll : A Language for Specifying Die-Rolls. 145-159
- Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe: Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. 160-176
- Prahladavaradan Sampath: Multi-agent Reactive Systems. 177-193
- Jacinto A. Dávila: ACTILOG: An Agent Activation Language. 194-207
- Ana Paula Tomás, José Paulo Leal: A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. 223-240
- Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez: Solving Combinatorial Problems with a Constraint Functional Logic Language. 320-338
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team