Browsing by Author "Kakas, Antonis C."

Now showing items 21-40 of 97

    • Article  

      Application of abductive ILP to learning metabolic network inhibition from temporal data 

      Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Muggleton, S. (2006)
      In this paper we use a logic-based representation and a combination of Abduction and Induction to model inhibition in metabolic networks. In general, the integration of abduction and induction is required when the following ...
    • Article  

      Applications of argumentation: The SoDA methodology 

      Spanoudakis, Nikolaos I.; Kakas, Antonis C.; Moraïtis, Pavlos (2016)
    • Conference Object  

      Argumentation and temporal persistence 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2011)
      We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language E for Reasoning about Actions and Change into a Logic Programming ...
    • Article  

      Argumentation and the event calculus 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2012)
      We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language for ε Reasoning about Actions and Change into a Logic Programming ...
    • Conference Object  

      Argumentation Based Decision Making for Autonomous Agents 

      Kakas, Antonis C.; Moraïtis, Pavlos (2003)
      This paper presents an argumentation based framework to support the decision making of an agent within a modular architecture for agents. The proposed argumentation framework is dynamic, with arguments and their strength ...
    • Article  

      Argumentation based modelling of embedded agent dialogues 

      Dimopoulos, Yannis; Kakas, Antonis C.; Moraïtis, Pavlos (2006)
      This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments that agents exchange during a dialogue, it defines ...
    • Conference Object  

      Argumentation for propositional logic and nonmonotonic reasoning 

      Kakas, Antonis C.; Toni, F.; Mancarella, P. (CEUR-WS, 2014)
      Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in AI. Argumentation is also close to the original inception of logic as a framework ...
    • Article  

      An argumentation framework for reasoning about actions and change 

      Kakas, Antonis C.; Miller, R.; Toni, F. (1999)
      We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
    • Article  

      Argumentation Logic 

      Kakas, Antonis C.; Toni, F.; Mancarella, P. (2014)
      We propose a novel logic-based argumentation framework, called Argumentation Logic (AL), built upon a restriction of classical Propositional Logic (PL) as its underlying logic. This allows us to control the application of ...
    • Conference Object  

      Argumentation: Reconciling human and automated reasoning 

      Kakas, Antonis C.; Michael, Loizos; Toni, F. (CEUR-WS, 2016)
      We study how using argumentation as an alternative foundation for logic gives a framework in which we can reconcile human and automated reasoning. We analyse this reconciliation between human and automated reasoning at ...
    • Article  

      Argumentative agent deliberation, roles and context 

      Kakas, Antonis C.; Moraïtis, Pavlos (2002)
      This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the agent is able to take into account the roles ...
    • Article  

      ARNI: Abductive inference of complex regulatory network structures 

      Maimari, N.; Turliuc, C. -R; Broda, K.; Kakas, Antonis C.; Krams, R.; Russo, A. (2013)
      Physical network inference methods use a template of molecular interaction to infer biological networks from high throughput datasets. Current inference methods have limited applicability, relying on cause-effect pairs or ...
    • Article  

      Automated scientific assistant for Cancer and Chemoprevention 

      Lazarou, S.; Kakas, Antonis C.; Neophytou, Christiana M.; Constantinou, Andreas I. (2013)
      Logical modeling of cell biological phenomena has the potential to facilitate both the understanding of the mechanisms that underly the phenomena as well as the process of experimentation undertaken by the biologist. ...
    • Book  

      Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski 

      Kowalski, Robert; Kakas, Antonis C.; Sadri, Fariba 1956- (Springer, 2002)
    • Article  

      Computational logic foundations of KGP agents 

      Kakas, Antonis C.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Toni, F. (2008)
      This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous agents that can interact with each other, ...
    • Article  

      Computing argumentation in logic programming 

      Kakas, Antonis C.; Toni, F. (1999)
      In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing ...
    • Article  

      Computing the acceptability semantics 

      Toni, F.; Kakas, Antonis C. (1995)
      We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined ...
    • Article  

      Conflicts resolution with the SoDA methodology 

      Spanoudakis, Nikolaos I.; Kakas, Antonis C.; Moraïtis, Pavlos (2017)
      This paper studies the application of argumentation theory and methods from Artificial Intelligence to the problem of conflict resolution. It shows how the decision theories of each of the parties involved in a conflict ...
    • Article  

      Crafting the mind of prosocs agents 

      Bracciali, A.; Endriss, U.; Demetriou, Neophytos; Kakas, Antonis C.; Lu, W.; Stathis, Kostas (2006)
      PROSOCS agents are software agents that are built according to the KGP model of agency. KGP is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing ...
    • Conference Object  

      Cultural journeys in the information society 

      Fakas, Georgios John; Kakas, Antonis C.; Dionisiou, D.; Dionisiou, M.; Kentonis, Achilleas; Pattichis, Constantinos S.; Pitsillides, Andreas; Schizas, Christos N. (IEEE, 2000)
      This paper describes the Cultural Journeys in the Information Society (CJIS) project. CJIS project is an INCO project (973324) funded by the ECC and its aims to address the problem of electronic information roads at various ...