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

      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 ...
    • Doctoral Thesis  Open Access

      Adaptive and dynamic argumentation 

      Hadjisoteriou, Evgenios G. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2016-08)
      Σε αυτή την εργασία μελετάμε την προσαρμοστική και δυναμική επιχειρηματολογία για τη λήψη αποφάσεων, όπου οι αποφάσεις πρέπει να προσαρμοστούν στις προσωπικές προτιμήσεις και το δυναμικά μεταβαλλόμενο κόσμο. Μελετάμε πώς ...
    • Conference Object  

      Adaptive disturbance rejection for disk drives using neural networks 

      Levin, J.; Pérez Arancibia, N. O.; Ioannou, Petros A.; Tsao, T. -C (2008)
      This paper presents the experimental verification of an adaptive feedforward disturbance rejection scheme for hard disk drives. The control scheme is shown to reduce the error during track-following by as much as 11.8%. ...
    • 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  

      Analysis of neuromuscular disorders using statistical and entropy metrics on surface EMG 

      Istenic, R.; Kaplanis, P. A.; Pattichis, Constantinos S.; Zazula, D. (2008)
      This paper introduces the surface electromyogram (EMG) classification system based on statistical and entropy metrics. The system is intended for diagnostic use and enables classification of examined subject as normal, ...
    • Conference Object  

      Application of artificial neural networks in the prediction of earnings 

      Falas, Tasos; Charitou, Andreas; Charalambous, Chris (IEEE, 1994)
      The feasibility of using artificial neural networks (ANNs) for predicting future earnings by stock market and capital market investors was evaluated. A multilayer perceptron feedforward neural network architecture with an ...
    • Conference Object  

      Applying swarm intelligence to a novel congestion control approach for wireless sensor networks 

      Antoniou, Pavlos Ch.; Pitsillides, Andreas; Engelbrecht, A.; Blackwell, T.; Michael, Loizos (2011)
      Recently, sensor networks have attracted significant research interest. However, most studies have mainly focused on protocols for applications in which network performance assurances are not considered essential. With the ...
    • 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 ...
    • 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  

      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  

      Artificial neural network learning: A comparative review 

      Neocleous, Costas K.; Schizas, Christos N. (2002)
      Various neural learning procedures have been proposed by different researchers in order to adapt suitable controllable parameters of neural network architectures. These can be from simple Hebbian procedures to complicated ...
    • Conference Object  

      Automated segmentation of folk songs using artificial neural networks 

      Neocleous, Andreas C.; Petkov, N.; Schizas, Christos N. (INSTICC Press, 2014)
      Two different systems are introduced, that perform automated audio annotation and segmentation of Cypriot folk songs into meaningful musical information. The first system consists of three artificial neural networks (ANNs) ...
    • Article  

      Autonomous Intelligent Cruise Control 

      Ioannou, Petros A.; Chien, C. C. (1993)
      Vehicle following and its effects on traffic flow has been an active area of research. Human driving involves reaction times, delays, and human errors that affect traffic flow adversely. One way to eliminate human errors ...
    • Article  

      Behavioral plasticity through the modulation of switch neurons 

      Vassiliades, Vassilis; Christodoulou, Chris C. (2016)
      A central question in artificial intelligence is how to design agents capable of switching between different behaviors in response to environmental changes. Taking inspiration from neuroscience, we address this problem by ...
    • Article  

      Brain white matter lesions classification in multiple sclerosis subjects for the prognosis of future disability 

      Loizou, Christos P.; Kyriacou, Efthyvoulos C.; Seimenis, Ioannis; Pantzaris, Marios C.; Christodoulou, Chris C.; Pattichis, Constantinos S. (2011)
      This study investigates the application of classification methods for the prognosis of future disability on MRI-detectable brain white matter lesions in subjects diagnosed with clinical isolated syndrome (CIS) of multiple ...