Answer Set Programming (ASP) and Logic Programming represent key paradigms in contemporary computer science, particularly in the field of artificial intelligence. ASP is a form of declarative ...

This repository includes all the assignments and exercises for the Functional and Logic Programming course, focused on building problem-solving skills using two paradigms: functional programming with ...

Abstract: We introduce a framework for supporting learning to program in the paradigm of Answer Set Programming (ASP), which is a declarative logic programming formalism. Based on the idea of teaching ...

It is designed as a scalable solver for recursive logic constraints. Suitable but not only for test generation, symbolic execution and program synthesis.

Abstract: Large language models (LLMs) such as ChatGPT and GPT-4 have demonstrated impressive capabilities in various generative tasks. However, their performance is often hampered by limitations in ...