Search Results for author:
Found 6 papers, 0 papers with code
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.
Modelling Multi-Agent Epistemic Planning in ASP. Theory and Practice of Logic Programming
In these scenarios, epistemic reasoning, i. e., reasoning about agents' beliefs about themselves and about other agents' beliefs, is essential to design winning strategies.
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.
Solving DCOPs with Distributed Large Neighborhood Search
The field of Distributed Constraint Optimization has gained momentum in recent years, thanks to its ability to address various applications related to multi-agent cooperation.
Planning as Tabled Logic Programming
This paper describes Picat's planner, its implementation, and planning models for several domains used in International Planning Competition (IPC) 2014.
