dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Michael, Antonia | en |
dc.contributor.editor | El-Dessouki A. | en |
dc.contributor.editor | Imam I. | en |
dc.contributor.editor | Kodratoff Y. | en |
dc.contributor.editor | Ali M. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Michael, Antonia | en |
dc.date.accessioned | 2019-11-13T10:40:28Z | |
dc.date.available | 2019-11-13T10:40:28Z | |
dc.date.issued | 1999 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54138 | |
dc.description.abstract | 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 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.source | 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1999 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84873013887&partnerID=40&md5=2c822f22d652d189c73694b93a540ab6 | |
dc.subject | Optimization | en |
dc.subject | Artificial intelligence | en |
dc.subject | Design and implementations | en |
dc.subject | Optimality | en |
dc.subject | Scheduling | en |
dc.subject | Intelligent systems | en |
dc.subject | Air transportation | en |
dc.subject | Abductive reasoning | en |
dc.subject | Logic programming | en |
dc.subject | Abductive logic programming | en |
dc.subject | Air crew | en |
dc.subject | Crew scheduling problems | en |
dc.subject | Expert systems | en |
dc.subject | Flexible model | en |
dc.subject | Human expert | en |
dc.title | Air-crew scheduling through abduction | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 1611 | |
dc.description.startingpage | 600 | |
dc.description.endingpage | 611 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: American Association for Artificial Intelligence (AAAI) | en |
dc.description.notes | Association for Computing Machinery (ACM/SIGART) | en |
dc.description.notes | Canadian Society for Computational Studies of Intelligence (CSCSI) | en |
dc.description.notes | et al | en |
dc.description.notes | Institution of Electrical Engineers (IEE) | en |
dc.description.notes | International Society of Applied Intelligence (ISAI) | en |
dc.description.notes | Conference code: 146439 | en |
dc.description.notes | Cited By :3</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |