CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2022


Articles in Refereed Journals:

  1. Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos-Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto. Fifty Years of Prolog and Beyond. Theory and Practice of Logic Programming, 20th Anniversary Special Issue, Vol. FirstView, pages 1-86, Cambridge U. Press, May 2022.

  2. Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha. Parallel Logic Programming: A Sequel. Theory and Practice of Logic Programming, 20th Anniversary Special Issue, Vol. FirstView, pages 1-69, Cambridge U. Press, March 2022.

  3. Yuliya Lierler, José F. Morales. Introduction to the 38th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program., Vol. 22, Num. 4, pages 499-504, 2022.

  4. Yuliya Lierler, José F. Morales. Introduction to the 38th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program., Vol. 22, Num. 5, pages 640-640, 2022.

  5. Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta. Building Information Modeling Using Constraint Logic Programming. Theory and Practice of Logic Programming, Vol. 22, Num. 5, pages 723-738, 2022.

  6. Arias, Joaquín, Carro, Manuel, Chen, Zhuo, Gupta, Gopal. Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. Theory and Practice of Logic Programming, Vol. 22, Num. 1, pages 51-80, Cambridge University Press, 2022.


Articles in Refereed Conferences:

  1. Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, Tuncay Tekle. Proceedings 38th International Conference on Logic Programming. Vol. abs/2208.02685, 2022.

  2. Joaquín Arias, Manuel Carro, Gopal Gupta. Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. 24th International Symposium Practical Aspects of Declarative Languages, PADL 2022, LNCS, Vol. 13165, pages 117-134, Springer, 2022.


Books and Monographs:

  1. B, Accottoli, M. V. Hermenegildo (Eds.). Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022). ACM ICPS Proceedings, 187 pages, ACM, September 2022.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo. 50-Years of Prolog and Beyond (invited talk). November 2022. Keynote given at the Prolog 50th Anniversary `Prolog Day Symposium'.

  2. M. V. Hermenegildo. Some reflections on Prolog's evolution, status, and future on the 50th anniversary of the birth of Prolog (abstract of invited talk). 38th International Conference on Logic Programming (ICLP'22 at FLoC'22), August 2022.


Publications in Refereed Workshops:

  1. G. Garcia-Pradales, J.F. Morales, M. V. Hermenegildo, J. Arias, M. Carro. An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs, August 2022.


Technical Reports and Manuals:

  1. D. Jurjo, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo. A Rule-based Approach for Designing and Composing Abstract Domains. CLIP Lab, IMDEA Software Institute, December 2022.

  2. L. Rustenholz. Automated Approximate Recurrence Solving applied to Static Analysis of Energy Consumption. CLIP Lab, IMDEA Software Institute, August 2022. Internship report. Supervised by M.V. Hermenegildo, P. Lopez-Garcia, and J. F. Morales..

  3. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Reference Manual (V1.21). February 2022. Available at http://ciao-lang.org.

next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear
Last updated on Sun 12 Mar 2023 01:20:54 PM CET
Contents
Institutional links