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. 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. 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.

Invited Papers and Tutorials:

  1. M. V. Hermenegildo. Some reflections on Prolog's evolution, status, and future on the 50th anniversary of the birth of Prolog (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. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Reference Manual (V1.20). February 2022. Available at

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 Tue 27 Sep 2022 01:56:01 PM CEST