Buscar recursos académicos

Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a def...

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...

Many classification systems rely on clustering techniques in which a collection of training examples is provided as an input, and a number of clusters c1,...cm modelling some concept C results as an output, such that ev...

This work presents an interaction model among collaborative agents based on dialogues. For the specification we use a formalism, called Dialogue Games, which allows to describe the nature of the utterances available in e...

Negotiation is a basic mechanism for interaction that allows the members in a Multiagent System to coordinate their actions and to reach a favorable agreement. When agents are collaborative, the negotiation process progr...

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...