The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Theory of partial-order programming
Science of Computer Programming
Aggregation and negation-as-failure
New Generation Computing
Applications of intuitionistic logic in Answer Set Programming
Theory and Practice of Logic Programming
International Journal of Approximate Reasoning
Hi-index | 0.00 |
This work is focus in the following critical questions: How to incorporate modalities in the process of argumentation reasoning? Is it possible to build arguments faced with incomplete information? Our proposal is based in a specification language which has the following properties: a) it permits to give specifications of modalities in a natural way; b) it defines a process of argumentation reasoning considering modalities; and c) it permits to build arguments from incomplete information.