Browsing Τμήμα Πληροφορικής / Department of Computer Science by Title

Now showing items 3-22 of 1952

    • 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  

      Abdominal Aortic Aneurysm medical video transmission 

      Panayides, Andreas S.; Antoniou, Zinonas C.; Barberis, Vassilis I. I.; Pattichis, Marios S.; Pattichis, Constantinos S.; Kyriacou, Efthyvoulos C. (2012)
      Abdominal Aortic Aneurysm (AAA) is responsible for approximately 1.3% of all deaths among men over the age of 65. Given the fact that once an aortic rupture occurs mortality rates are estimated between 80%-90%, national ...
    • 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 ...
    • Doctoral Thesis  

      Abductive constraint logic programming and its application to scheduling 

      Michael, Antonia (University of London, 1998)
    • Article  

      Abductive diagnosis using time-objects: Criteria for the evaluation of solutions 

      Keravnou-Papailiou, Elpida T.; Washbrook, J. (2001)
    • 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 ...
    • Conference Object  

      ABSense: Sensing Electromagnetic Waves on Metasurfaces via Ambient Compilation of Full Absorption 

      Liaskos, C.; Pirialakos, G.; Pitilakis, A.; Abadal, S.; Tsioliaridou, A.; Tasolamprou, A.; Tsilipakos, O.; Kantartzis, N.; Ioannidis, S.; Alarcon, E.; Cabellos, A.; Kafesaki, M.; Pitsillides, Andreas; Kossifos, K.; Georgiou, Julius; Akyildiz, I. F. (2019)
      Metasurfaces constitute effective media for manipulating and transforming impinging EM waves. Related studies have explored a series of impactful MS capabilities and applications in sectors such as wireless communications, ...
    • Conference Object  

      An abstract channel specification and an algorithm implementing it using Java sockets 

      Georgiou, Chryssis; Shvartsman, A. A.; Musiał, Peter M.; Sonderegger, E. L. (2008)
      Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
    • Conference Object  

      ACCES: Offline accuracy estimation for fingerprint-based localization 

      Nikitin, A.; Laoudias, Christos; Chatzimilioudis, Georgios; Karras, P.; Zeinalipour-Yazdi, Constantinos D. (Institute of Electrical and Electronics Engineers Inc., 2017)
      In this demonstration we present ACCES, a novel framework that enables quality assessment of arbitrary fingerprint maps and offline accuracy estimation for the task of fingerprint-based indoor localization. Our framework ...
    • Article  

      Access network synthesis game in next generation networks 

      Antoniou, Josephina; Koukoutsidis, I.; Jaho, E.; Pitsillides, Andreas; Stavrakakis, I. (2009)
      In next generation communication networks, multiple access networks will coexist on a common service platform. In cases where network resource planning indicates that individual access network resources are insufficient ...
    • Article  

      Achieving reliability in master-worker computing via evolutionary dynamics 

      Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Sánchez, A. (2012)
      This work considers Internet-based task computations in which a master process assigns tasks, over the Internet, to rational workers and collect their responses. The objective is for the master to obtain the correct task ...