CLIP Group's Publications in 2022
Articles in Refereed Journals:
- 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.
- 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.
- 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:
- 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:
- 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