- -

Añadidos recientemente

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Departamento Sistemas Informáticos y Computación (DSIC): Enviados recientemente

  • thumb
    Case-Based Argumentation Framework. Dialogue Protocol 
    Heras Barberá, Stella María; Botti Navarro, Vicente Juan; Julian Inglada, Vicente Javier (Universitat Politècnica de València, 2011-06-24)
    On top of the simpler ability to interact, open MAS must include mechanisms for their agents to reach agreements by taking into account their social context. Argumentation provides MAS with a framework that assures a ...
  • thumb
    Case-Based Argumentation Framework. Strategies 
    Heras Barberá, Stella María; Botti Navarro, Vicente Juan; Julian Inglada, Vicente Javier (Universitat Politècnica de València, 2011-06-24)
    In agent societies, agents perform complex tasks that require different levels of intelligence and give rise to interactions among them. From these interactions, conflicts of opinion can arise, specially when MAS become ...
  • thumb
    Case-Based Argumentation Framework. Reasoning Process 
    Heras Barberá, Stella María; Botti Navarro, Vicente Juan; Julian Inglada, Vicente Javier (Universitat Politècnica de València, 2011-06-24)
    The capability of reaching agreements is a necessary feature that large computer systems where agents interoperate must include. In these systems, agents represent self-motivated entities that have a social context, including ...
  • thumb
    A Computational Argumentation Framework for Agent Societies 
    Heras Barberá, Stella María; Botti Navarro, Vicente Juan; Julian Inglada, Vicente Javier (Universitat Politècnica de València, 2011-06-17)
    Starting from the idea that the social context of agents determines the way in which agents can argue and reach agreements, this context should have a decisive influence in the computational representation of arguments. ...
  • thumb
    A Dependency Pair Framework for AvC-Termination 
    Alarcón Jiménez, Beatriz; Gutiérrez Gil, Raúl; Lucas, Salvador; Meseguer, José (Universitat Politècnica de València, 2011-05-04)
    The development of powerful techniques for proving termination of rewriting modulo a set of equational axioms is essential when dealing with rewriting logic-based programming languages like CafeOBJ, Maude, ELAN, OBJ, etc. ...