research
∙
08/30/2023
An xAI Approach for Data-to-Text Processing with ASP
The generation of natural language text from data series gained renewed ...
share
research
∙
11/22/2021
Parallel Logic Programming: A Sequel
Multi-core and highly-connected architectures have become ubiquitous, an...
research
∙
09/15/2021
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP is the premier international event for presenting research in logic...
research
∙
06/12/2021
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
Multi-Context Systems (MCS) model in Computational Logic distributed sys...
research
∙
09/17/2019
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
research
∙
09/04/2019
GPU-based parallelism for ASP-solving
Answer Set Programming (ASP) has become, the paradigm of choice in the f...
research
∙
08/10/2019
Introduction to the 35th International Conference on Logic Programming Special Issue
We are proud to introduce this special issue of Theory and Practice of L...
research
∙
10/10/2017
Accelerating Energy Games Solvers on Modern Architectures
Quantitative games, where quantitative objectives are defined on weighte...
research
∙
08/04/2016
Query Answering in Resource-Based Answer Set Semantics
In recent work we defined resource-based answer set semantics, which is ...
research
∙
10/04/2011
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda
The paper presents a knowledge representation formalism, in the form of ...
research
∙
12/15/2009