research
∙
07/06/2023
Querying Data Exchange Settings Beyond Positive Queries
Data exchange, the problem of transferring data from a source schema to ...
share
research
∙
08/06/2020
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
Recently there has been an increasing interest in frameworks extending D...
research
∙
12/13/2015
Using Linear Constraints for Logic Program Termination Analysis
It is widely acknowledged that function symbols are an important feature...
research
∙
05/21/2012