{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:46:08Z","timestamp":1747579568341},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660767"},{"type":"electronic","value":"9783540487654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48765-4_64","type":"book-chapter","created":{"date-parts":[[2010,9,24]],"date-time":"2010-09-24T20:27:57Z","timestamp":1285360077000},"page":"600-611","source":"Crossref","is-referenced-by-count":2,"title":["Air-Crew Scheduling through Abduction"],"prefix":"10.1007","author":[{"given":"A. C.","family":"Kakas","sequence":"first","affiliation":[]},{"given":"A.","family":"Michael","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"64_CR1","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/0377-2217(92)90213-S","volume":"58","author":"L. Bianco","year":"1992","unstructured":"Bianco, L., Bielli, M., Mingozzi, A., Ricciardelli, S., Spadoni, M.: A heuristic procedure for the crew rostering problem. European Journal of Operational Research\u00a058, 272\u2013283 (1992)","journal-title":"European Journal of Operational Research"},{"key":"64_CR2","volume-title":"Principles of Knowledge Representation","author":"G. Brewka","year":"1996","unstructured":"Brewka, G.: Principles of Knowledge Representation. CSLI Publications, Standford (1996)"},{"issue":"5","key":"64_CR3","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/69.542024","volume":"8","author":"L. Console","year":"1996","unstructured":"Console, L., Portinale, L., Dupr\u00e9, D.: Using Compiled knowledge to guide and focus abductive diagnosis. Journal of IEEE Transactions on Knowledge and Data Engineering\u00a08(5), 690\u2013706 (1996)","journal-title":"Journal of IEEE Transactions on Knowledge and Data Engineering"},{"unstructured":"Console, L., Sapino, M.L., Theseider Dupre, D.: The role of abduction in database view updating. Journal of Intelligent Systems (1994)","key":"64_CR4"},{"doi-asserted-by":"crossref","unstructured":"Denecker, M., Schreye, D.D.: SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming (1997)","key":"64_CR5","DOI":"10.1016\/S0743-1066(97)00074-5"},{"unstructured":"ECLiPSe User Manual. ECRC Munich, Germany (1993)","key":"64_CR6"},{"unstructured":"Focacci, F., Lamma, E., Mello, P., Milano, M.: Constraint Logic Programming for the Crew Rostering Problem. In: Proceedings of the Third International Conference on the Practical Applications of Constraint Technology, PACT 1997, pp. 151\u2013164 (1997)","key":"64_CR7"},{"doi-asserted-by":"crossref","unstructured":"Guerinik, N., Von Caneghem, M.: Solving Crew Scheduling Problems by Constraint Programming. In: Proc. 1st International Conference on Principles and Practice of Constraint Programming (1995)","key":"64_CR8","DOI":"10.1007\/3-540-60299-2_29"},{"key":"64_CR9","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/0377-2217(94)90411-1","volume":"77","author":"M. Kress","year":"1994","unstructured":"Kress, M., Golany, B.: Optimizing the assignment of aircrews to aircraft in an airlift operation. European Journal of Operational Research\u00a077, 475\u2013485 (1994)","journal-title":"European Journal of Operational Research"},{"doi-asserted-by":"crossref","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02(6) (1993)","key":"64_CR10","DOI":"10.1093\/logcom\/2.6.719"},{"key":"64_CR11","first-page":"399","volume-title":"Proc. 12th International Conference on Logic Programming","author":"A.C. Kakas","year":"1995","unstructured":"Kakas, A.C., Michael, A.: Integrating Abductive and Constraint Logic Programming. In: Proc. 12th International Conference on Logic Programming, pp. 399\u2013415. MIT Press, Cambridge (1995)"},{"unstructured":"Kakas, A.C., Michael, A.: An abductive-Based Scheduler for Air-Crew Assignment. Department of Computer Science, University of Cyprus, Technical Report TR-98-17 (1998)","key":"64_CR12"},{"doi-asserted-by":"crossref","unstructured":"Menzies, T.: Applications of Abduction: Knowledge-Level Modeling. International Journal of Human Computer Studies (August 1996)","key":"64_CR13","DOI":"10.1006\/ijhc.1996.0054"},{"doi-asserted-by":"crossref","unstructured":"Poole, D., Goebel, R.G., Aleliunas: Theorist: a logical reasoning system for default and diagnosis. In: Cercone, McCalla (eds.) The Knowledge Fronteer: Essays in the Representation of Knowledge. LNCS. Springer, Heidelberg (1987)","key":"64_CR14","DOI":"10.1007\/978-1-4612-4792-0_13"},{"unstructured":"Pavlopoulou, C., Gionis, A.P., Stamatopoulos, P., Halatsis, C.: Crew Pairing Optimization Based on CLP. In: Proc. 2nd International Conference on the Practical Application of Constraint Technology, London, UK (1996)","key":"64_CR15"},{"doi-asserted-by":"crossref","unstructured":"Poole, D.: A logical framework for default reasoning. Artificial Intelligence\u00a036 (1988)","key":"64_CR16","DOI":"10.1016\/0004-3702(88)90077-X"},{"doi-asserted-by":"crossref","unstructured":"Shanahan, M.P.: Event Calculus Planning Revisited. In: Steel, S. (ed.) ECP 1997. LNCS, vol.\u00a01348. Springer, Heidelberg (1997)","key":"64_CR17","DOI":"10.1007\/3-540-63912-8_101"}],"container-title":["Lecture Notes in Computer Science","Multiple Approaches to Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48765-4_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T02:30:12Z","timestamp":1559701812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48765-4_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660767","9783540487654"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48765-4_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}