CLIP Group's Publications in 2023
Books and Monographs:
- David S. Warren, Veronica Dahl, Thomas Eiter, Manuel Hermenegildo, Robert Kowalski, Francesca Rossi.
Prolog - The Next 50 Years.
LNCS,
Num. 13900,
Springer,
July
2023.
- Ferreiro de Aguiar, Daniela.
A System for generating interactive tutorials for CiaoPP.
Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
57 pages,
February
2023.
MSc Thesis.
Articles in Books and Other Collections:
- Gopal Gupta, Elmer Salazar, Joaquín Arias, Kinjal Basu, S Varanasi, M Carro.
Prolog: Past, Present, and Future.
Prolog - The Next 50 Years,
LNCS,
Num. 13900,
Springer,
July
2023.
- Hermenegildo, M.V., Morales, J.F., Lopez-Garcia, P., Carro, M..
Types, modes and so much more - the Prolog way.
Prolog - The Next 50 Years,
LNCS,
Num. 13900,
Springer,
July
2023.
- Morales, J.F., Abreu, Salvador, Hermenegildo, M.V..
Teaching Prolog with Active Logic Documents.
Prolog - The Next 50 Years,
LNCS,
Num. 13900,
Springer,
July
2023.
- Hermenegildo, M.V., Morales, J.F., Lopez-Garcia, P..
Some Thoughts on How to Teach Prolog.
Prolog - The Next 50 Years,
LNCS,
Num. 13900,
Springer,
July
2023.
Technical Reports and Manuals:
- F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.).
The Ciao System. Reference Manual (V1.22).
April
2023.
Available at http://ciao-lang.org.
Last updated on Fri 26 May 2023 10:25:01 AM CEST