Abstract is missing.
- On Preferring and Inspecting Abductive ModelsLuís Moniz Pereira, Pierangelo Dell Acqua, Gonçalo Lopes. 1-15 [doi]
- Declarative Programming of User InterfacesMichael Hanus, Christof Kluß. 16-30 [doi]
- Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLsDavid J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman. 31-45 [doi]
- Toward a Practical Module System for ACL2Carl Eastlund, Matthias Felleisen. 46-60 [doi]
- Declarative Network VerificationAnduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky. 61-75 [doi]
- Operational Semantics for Declarative NetworkingJuan A. Navarro, Andrey Rybalchenko. 76-90 [doi]
- Ad Hoc Data and the Token Ambiguity ProblemQian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu. 91-106 [doi]
- High Level Thread-Based Competitive Or-Parallelism in LogtalkPaulo Moura, Ricardo Rocha, Sara C. Madeira. 107-121 [doi]
- Implementing Thread Cancellation in Multithreaded Prolog SystemsAtef Suleiman, John Miller. 122-136 [doi]
- Interoperating Logic EnginesPaul Tarau, Arun Majumdar. 137-151 [doi]
- High-Level Interaction with Relational Databases in Logic ProgrammingAntónio Porto. 152-167 [doi]
- Typed DatalogDavid Zook, Emir Pasalic, Beata Sarna-Starosta. 168-182 [doi]
- Using Bloom Filters for Large Scale Gene Sequence Analysis in HaskellKetil Malde, Bryan O Sullivan. 183-194 [doi]
- One Table Fits AllJorge Costa, Ricardo Rocha. 195-208 [doi]
- Recycle Your Arrays!Roman Leshchinskiy. 209-223 [doi]
- Towards a Complete Scheme for Tabled Execution Based on Program TransformationPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo. 224-238 [doi]
- Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain SpecificationsDang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son. 239-253 [doi]
- Layered Models Top-Down Querying of Normal Logic ProgramsLuís Moniz Pereira, Alexandre Miguel Pinto. 254-268 [doi]
- Secure Implementation of Meta-predicatesPaulo Moura. 269-283 [doi]