Search Results for author:
Found 9 papers, 0 papers with code
Epistemic Logic Programs: a study of some properties
Epistemic Logic Programs (ELPs), extend Answer Set Programming (ASP) with epistemic operators.
An xAI Approach for Data-to-Text Processing with ASP
Main challenges of such approaches are the proper identification of "what" to say (the key descriptive elements to be addressed in the data) and "how" to say: the correspondence and accuracy between data and text, the presence of contradictions/redundancy in the text, the control of the amount of synthesis.
Parallel Logic Programming: A Sequel
Since its inception, logic programming has been recognized as a programming paradigm with great potential for automated exploitation of parallelism.
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP is the premier international event for presenting research in logic programming.
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or "contexts", interacting via special rules called "bridge rules".
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
GPU-based parallelism for ASP-solving
Answer Set Programming (ASP) has become, the paradigm of choice in the field of logic programming and non-monotonic reasoning.
Introduction to the 35th International Conference on Logic Programming Special Issue
We are proud to introduce this special issue of Theory and Practice of Logic Programming (TPLP), dedicated to the regular papers accepted for the 35th International Conference on Logic Programming (ICLP).
Query Answering in Resource-Based Answer Set Semantics
In this paper, we propose a query-answering procedure reminiscent of Prolog for answer set programs under this extended semantics as an extension of XSB-resolution for logic programs with negation.
