Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorMichael, Antoniaen
dc.contributor.editorEl-Dessouki A.en
dc.contributor.editorImam I.en
dc.contributor.editorKodratoff Y.en
dc.contributor.editorAli M.en
dc.creatorKakas, Antonis C.en
dc.creatorMichael, Antoniaen
dc.description.abstractThis 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 Programming (ALP). The aim of this work was to produce a system for Cyprus Airways that can be used to provide a solution to the airline’s crew scheduling problem whose quality was comparable with the manual solutions generated by human experts on this particular problem. In addition to this the system should also constitute a tool with which its operators could continually customize the solutions to new needs and preferences of the company and the crew. The abductive approach (using ALP) adopted in our work offers a flexible modeling environment in which both the problem and its constraints can be easily represented directly from their high-level natural specification. This high-level representation offers two main advantages in the development of an application: (i) modularity with a clear separation of the two main issues of validity and quality (optimality) of the solution and (ii) flexibility under changes of the requirements of the problem. © Springer-Verlag Berlin Heidelberg 1999.en
dc.source12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1999en
dc.subjectArtificial intelligenceen
dc.subjectDesign and implementationsen
dc.subjectIntelligent systemsen
dc.subjectAir transportationen
dc.subjectAbductive reasoningen
dc.subjectLogic programmingen
dc.subjectAbductive logic programmingen
dc.subjectAir crewen
dc.subjectCrew scheduling problemsen
dc.subjectExpert systemsen
dc.subjectFlexible modelen
dc.subjectHuman experten
dc.titleAir-crew scheduling through abductionen
dc.description.endingpage611 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.description.notes<p>Sponsors: American Association for Artificial Intelligence (AAAI)en
dc.description.notesAssociation for Computing Machinery (ACM/SIGART)en
dc.description.notesCanadian Society for Computational Studies of Intelligence (CSCSI)en
dc.description.noteset alen
dc.description.notesInstitution of Electrical Engineers (IEE)en
dc.description.notesInternational Society of Applied Intelligence (ISAI)en
dc.description.notesConference code: 146439en
dc.description.notesCited By :3</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record