| 2018 | A REST-Based Development Framework for ASP: Tools and Application. Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri |
| 2018 | An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic. Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik |
| 2018 | Automatic Web Services Composition for Phylotastic. Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli |
| 2018 | Exploiting Term Hiding to Reduce Run-Time Checking Overhead. Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
| 2018 | Hygienic Source-Code Generation Using Functors - (Extended Abstract). Karl Crary |
| 2018 | LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. Stefano Germano, Francesco Calimeri, Eliana Palermiti |
| 2018 | Navigating Online Semantic Resources for Entity Set Expansion. Weronika T. Adrian, Marco Manna |
| 2018 | On k-colored Lambda Terms and Their Skeletons. Paul Tarau |
| 2018 | Optimizing Answer Set Computation via Heuristic-Based Decomposition. Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari |
| 2018 | Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings Francesco Calimeri, Kevin W. Hamlen, Nicola Leone |
| 2018 | Probabilistic Functional Logic Programming. Sandra Dylus, Jan Christiansen, Finn Teegen |
| 2018 | Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. Florian Biermann, Wensheng Dou, Peter Sestoft |
| 2018 | Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. Gordon Stewart, Samuel Merten, Logan Leland |
| 2018 | Three Is a Crowd: SAT, SMT and CLP on a Chessboard. Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic |