João Alcantara

Learn More
In this work, paraconsistent answer sets for extended dis-junctive logic programs are presented in terms of a fully declarative approach. In order to do that, we introduce a frame-based semantics. It is known frames are a powerful and elegant tool which have been used to characterise and study substructural logics. Unlike the original definition , no kind(More)
The Possibilistic Answer Set Framework was conceived to deal with not only non monotonic reasoning, but also with uncertainty by associating a certainty level to each piece of knowledge. Here we extend this formalism to a multiagent approach robust enough to manage both the uncertainty about autonomous agents expressed in terms of degrees of trust and the(More)
  • 1