Browsing by Subject "Abductive reasoning"

Now showing items 1-4 of 4

    • 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  

      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  

      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  

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