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, To Appear, 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, To Appear, 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.


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 http://ciao-lang.org.



Last updated on Sun 05 Jun 2022 10:11:23 PM CEST