A solution of problems in multiagent systems involves representing beliefs of agents immersed in dynamic environments. Observation-based Defeasible Logic Programming (ODeLP) is an argument-based logic programming language that is used to represent an agent’s knowledge in the context of a…

Defeasible Logic Programming (DeLP) is a knowledge representation and reasoning formalism that by combining Logic Programming with Defeasible Argumentation is able to represent incomplete and potentially contradictory information.
Within the field of Logic Programming, most of the implementations of Prolog…

Los docentes universitarios apelan al uso de herramientas web 2.0 para facilitar o mejorar el dictado de sus materias. De acuerdo con la bibliografía analizada, estas incorporaciones no son sistemáticas. Las herramientas son incorporadas paulatinamente a la práctica docente pero,…

The area of Knowledge Representation and Reasoning has been enriched during the past two decades with the addition of Argument-Based Reasoning Systems. Defeat between arguments is established by a combination of two basic elements: a conflict or defeat relation, and…

In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals.
They possess the singular properties of…

Parallel machine scheduling, involves the allocation of jobs to the system resources (a bank of machines in parallel). A basic model consisting of m machines and n jobs is the foundation of more complex models. Here, jobs are allocated according…