Browsing by Author "Kakas, Antonis C."

Now showing items 1-20 of 97

    • Article  

      A-system: Declarative programming with abduction 

      Van Nuffelen, B.; Kakas, Antonis C. (2001)
    • Conference Object  

      A-system: Problem solving through abduction 

      Kakas, Antonis C.; Van Nuffelen, B.; Denecker, M. (2001)
      This paper presents a new system, called the A-System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search ...
    • Article  

      ABA: Argumentation based agents 

      Kakas, Antonis C.; Amgoud, L.; Kern-Isberner, G.; Maudet, N.; Moraïtis, Pavlos (2012)
      Many works have identified the potential benefits of using argumentation in multiagent settings, as a way to implement the capabilities of agents (eg. decision making, communication, negotiation) when confronted with ...
    • Article  

      ABA: Argumentation based agents 

      Kakas, Antonis C.; Amgoud, L.; Kern-Isberner, G.; Maudet, N.; Moraïtis, Pavlos (2010)
      Many works have identified the potential benefits of using argumentation to address a large variety of multiagent problems. In this paper we take this idea one step further and develop the concept of a fully integrated ...
    • Conference Object  

      Abduction and induction for learning models of inhibition in metabolic networks 

      Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Muggleton, S. (2005)
      This paper describes the use of a mixture of abduction and induction for the temporal modelling of the effects of toxins in metabolic networks. Background knowledge is used which describes network topology and functional ...
    • Article  

      Abduction and Induction in Artificial Intelligence 

      Kakas, Antonis C.; Flach, P. (2009)
    • Book  

      Abduction and induction: essays on their relation and integration 

      Flach, Peter A.; Kakas, Antonis C. (Kluwer Academic Publishers, 2000)
    • Article  

      Abduction in logic programming 

      Denecker, M.; Kakas, Antonis C. (2002)
      Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. ...
    • Article  

      Abductive concept learning 

      Kakas, Antonis C.; Riguzzi, F. (2000)
      We investigate how abduction and induction can be integrated into a common learning framework. In particular, we consider an extension of Inductive Logic Programming (ILP) for the case in which both the background and the ...
    • Article  

      Abductive logic programming 

      Kakas, Antonis C.; Kowalski, R. A.; Toni, F. (1992)
      This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications ...
    • Article  

      Abductive logic programming in the clinical management of HIV/AIDS 

      Ray, O.; Antoniades, Athos; Kakas, Antonis C.; Demetriades, Ioannis (2006)
      This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral drugs for patients infected with Human Immunodeficiency Virus (HIV). The approach is comparable ...
    • Article  

      An abductlve-based scheduler for air-crew assignment 

      Kakas, Antonis C.; Michael, Antonia (2001)
      This article presents the design and implementation of an air-crew assignment system, for producing and refining a solution to this problem, based on the artificial intelligence principles and techniques of abductive ...
    • Article  

      ACLP: Abductive Constraint Logic Programming 

      Kakas, Antonis C.; Michael, Antonia; Mourlas, Constantinos (2000)
      This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and ...
    • Article  

      ACLP: Flexible solutions to complex problems 

      Kakas, Antonis C.; Mourlas, G. (1997)
      In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...
    • Conference Object  

      Adaptive agent negotiation via argumentation 

      Kakas, Antonis C.; Moraïtis, Pavlos (2006)
      In this paper, we study how argumentation can be used as a basis for negotiation between autonomous agents, where negotiation strategies of the different parties are represented as argumentation theories within their ...
    • Article  

      Advances in informatics : 8th Panhellenic Conference on Informatics, PCI 2001, Nicosia, Cyprus, November 8-10, 2001 : revised selected papers 

      Panhellenic Conference, on Informatics; Panhellenic Conference, on Informatics; Manolopoulos, Yannis; Kakas, Antonis C.; Evripidou, Skevos; Panhellenic Conference, on Informatics (2003)
    • Article  

      Advances in Informatics: 8th Panhellenic Conference on Informatics, PCI 2001 Nicosia, Cyprus, November 8-10, 2001 Revised Selected Papers 

      Manolopoulos, Yannis; Evripidou, Skevos; Kakas, Antonis C. (2003)
    • Article  

      Agent planning, negotiation and control of operation 

      Kakas, Antonis C.; Torroni, P.; Demetriou, Neophytos (2004)
      This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, and control of operation, for reconciling rationality ...
    • Article  

      Air-crew scheduling through abduction 

      Kakas, Antonis C.; Michael, Antonia (1999)
      This paper presents the design and implementation of an aircrew assignment system based on the Artificial Intelligence principles and techniques of abductive reasoning as captured by the framework of Abductive Logic ...
    • Article  

      Anomalous chiral current commutators and divergence 

      Dunne, G. V.; Kakas, Antonis C. (1988)
      The anomalous chiral current commutators and divergence are calculated in the canonical formalism, within a proposed general framework suitable for the study of anomalies. This framework incorporates a generalized form of ...