Buscar recursos académicos

In the last years there has been and increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming an other related areas. Labeled Deductive Systems (LDS) were devel...

This paper summarizes the main results developed in the author's PhD Thesis. The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order t...

Há alguns anos tem-se firmado o debate em torno de uma agenda política e teórica que procura defender e sustentar uma articulação possível entre a procura de competitividade das economias e a manutenção e desenvo...

This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on th...