Search Results for author:
Found 4 papers, 0 papers with code
Abstract argumentation and answer set programming: two faces of Nelson's logic
In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms of Nelson's constructive logic N4.
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has proved to be very successful for epistemic reasoning in planning tasks.
Splitting Epistemic Logic Programs
In this paper, we propose an extension of the well-known splitting property for logic programs to the epistemic case.
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
First, while other semantics for aggregates depend on some syntactic transformation (either via a reduct or a formula translation), the QELF interpretation treats them as regular evaluable functions, providing a compositional semantics and avoiding any kind of syntactic restriction.
