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,
Vol. 22,
Num. 6,
pages 776-858,
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,
Vol. 22,
Num. 6,
pages 905-973,
Cambridge U. Press,
March
2022.
- 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.
- 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.
- 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.
- 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 on Practical Aspects of Declarative Languages,
PADL 2022,
LNCS,
Vol. 13165,
pages 117-134,
Springer,
2022.
Books and Monographs:
- B, Accattoli, 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.
- 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.
Invited Papers and Tutorials:
- M. V. Hermenegildo.
50-Years of Prolog and Beyond (invited talk).
November
2022.
Keynote given at the Prolog 50th Anniversary `Prolog Day Symposium'.
- 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:
- 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:
- J.F. Morales, S. Abreu, D. Ferreiro, M.V. Hermenegildo.
Teaching Prolog with Active Logic Documents.
Num. CLIP-1/2022.0,
Technical University of Madrid (UPM) and IMDEA Software Institute,
December
2022.
- L. Rustenholz.
Automated Approximate Recurrence Solving applied to Static Analysis of Energy Consumption.
CLIP Lab, IMDEA Software Institute,
August
2022.
Master internship report. Supervised by M.V. Hermenegildo, P. Lopez-Garcia, and J. F. Morales..
- 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 https://ciao-lang.org.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Thu Nov 28 10:27:10 AM CET 2024