Publications

Sara Ceschia, Margaretha Gansterer, Simona Mancini, Antonella Meneghetti (2022). The on-demand warehousing problem. International Journal of Production Research.

Cite DOI

Valentina Cacchiani, Sara Ceschia, Silvia Mignardi, Chiara Buratti (2022). Metaheuristic algorithms for UAV trajectory optimization in mobile networks. 14th Metaheuristics International Conference.

Cite

Andrea Ecoretti, Sara Ceschia, Andrea Schaerf (2022). Local search for integrated predictive maintenance and scheduling in flow-shop. 14th Metaheuristics International Conference.

Cite

Francesca Da Ros, David La Barbera, Laura Deroma, Luca Di Gaspero, Sabrina Licata, Francesca Valent (2022). Analisi di dati e algoritmi di ottimizzazione per la locazione delle stazioni delle ambulanze: un caso studio. Abstract del XLVI Convegno Associazione Italiana di Epidemiologia.

Cite

Arnaud De Coster, Nysret Musliu, Andrea Schaerf, Johannes Schoisswohl, Kate Smith-Miles (2022). Algorithm selection and instance space analysis for curriculum-based course timetabling. Journal of Scheduling.

Cite DOI

Francesca Da Ros, Luca Di Gaspero, David La Barbera, Vincenzo Della Mea, Kevin Roitero, Laura Deroma, Sabrina Licata, Francesca Valent (2022). A Multi-objective BRKGA for the Siting of Emergency Vehicles. Proceedings of the 14th Metaheuristics International Conference (MIC 2022).

Cite

Ruggero Bellio, Sara Ceschia, Luca Di Gaspero, Andrea Schaerf (2021). Two-stage multi-neighborhood simulated annealing for uncapacitated examination timetabling. Computers & Operations Research.

Cite DOI URL

Edoardo Bastianetto, Sara Ceschia, Andrea Schaerf (2021). Solving a home energy management problem by Simulated Annealing. Optimization Letters.

Cite DOI URL

Sara Ceschia, Luca Di Gaspero, Roberto Maria Rosati, Andrea Schaerf (2021). Multi-Neighborhood Simulated Annealing for the Minimum Interference Frequency Assignment Problem. EURO Journal on Computational Optimization.

Cite DOI URL

R. Guido, S. Ceschia, D. Conforti (2021). Modelling and Solving Patient Admission and Hospital Stay Problems.

Cite

Florian Mischek, Nysret Musliu, Andrea Schaerf (2021). Local search approaches for the test laboratory scheduling problem with variable task grouping. Journal of Scheduling.

Cite DOI

Maximilian Moser, Nysret Musliu, Andrea Schaerf, Felix Winter (2021). Exact and metaheuristic approaches for unrelated parallel machine scheduling. Journal of Scheduling.

Cite DOI

Luca Grassetti, Ruggero Bellio, Luca Di Gaspero, Giovanni Fonseca, Paolo Vidoni (2020). An extended regularized adjusted plus-minus analysis for lineup management in basketball using play-by-play data. IMA Journal of Management Mathematics.

Cite DOI URL

Sara Ceschia, Rosita Guido, Andrea Schaerf (2020). Solving the static INRC-II nurse rostering problem by simulated annealing based on large neighborhoods. Annals of Operations Research.

Cite DOI URL

Davide Armellini, Paolo Borzone, Sara Ceschia, Luca Di Gaspero, Andrea Schaerf (2020). Modeling and solving the steelmaking and casting scheduling problem. International Transactions in Operational Research.

Cite DOI URL

Michele Battistutta, Sara Ceschia, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf, Elena Topan (2020). Local Search and Constraint Programming for a Real-World Examination Timetabling Problem. 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research.

PDF Cite DOI

Sara Ceschia, Luca Di Gaspero, Antonella Meneghetti (2020). Extending and Solving the Refrigerated Routing Problem. Energies.

Cite DOI URL

A. Meneghetti, S. Ceschia (2020). Energy-efficient frozen food transports: the Refrigerated Routing Problem. International Journal of Production Research.

PDF Cite DOI

Sara Ceschia, Antonella Meneghetti (2019). The Refrigerated Traveling Salesman Problem. International Conference on Optimization and Decision Science (ODS 2019).

Cite

Sara Ceschia, Nguyen Thi Thanh Dang, Patrick De Causmaecker, Stefaan Haspeslagh, Andrea Schaerf (2019). The Second International Nurse Rostering Competition. Annals of Operations Research.

PDF Cite DOI

Ender Özcan, Edmund K. Burke, Luca Di Gaspero, Barry McCollum, Andrea Schaerf (2019). The practice and theory of automated timetabling (2016).

Cite DOI

Michele Battistutta, Sara Ceschia, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf (2019). Modeling and Solving the Thesis Defense Timetabling Problem. Journal of the Operational Research Society.

PDF Cite DOI

Sara Ceschia, Rosita Guido, Andrea Schaerf (2018). Local search based techniques for nurse rostering. International Conference on Optimization and Decision Science (ODS 2018).

Cite

Edmund K. Burke, Luca Di Gaspero, Barry McCollum, Nysret Musliu, Ender Özcan (2018). 12th International Conference on the Practice and Theory of Automated Timetabling.

Cite URL

Sara Ceschia, Luca Di Gaspero, Andrea Schaerf (2017). Solving Discrete Lot-Sizing and Scheduling by Simulated Annealing and Mixed Integer Programming. Computers & Industrial Engineering.

PDF Cite DOI

Michele Battistutta, Michael Bisson, Fabio De Cesco, Andrea Schaerf (2017). Referee Assignment for a Basketball League with Multiple Divisions using Local Search. Proceedings of the 12th Metaheuristics International Conference (MIC-2017).

PDF Cite

Davide Armellini, Paolo Borzone, Sara Ceschia, Luca Di Gaspero, Andrea Schaerf (2017). Modeling and Solving the Steelmaking and Casting Planning and Scheduling Problem. Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA-2017).

PDF Cite

Alex Bonutti, Sara Ceschia, Fabio De Cesco, Nysret Musliu, Andrea Schaerf (2017). Modeling and solving a real-life multi-skill shift design problem. Annals of Operations Research.

PDF Cite DOI

Michele Battistutta, Andrea Schaerf, Tommaso Urli (2017). Feature-based tuning of single-stage simulated annealing for examination timetabling. Annals of Operations Research.

PDF Cite DOI

Davide Armellini, Paolo Borzone, Sara Ceschia, Luca Di Gaspero, Andrea Schaerf (2017). A Metaheuristic Approach for Scheduling Steelmaking and Casting Plants. Proceedings of the 12th Metaheuristics International Conference (MIC-2017).

PDF Cite

Edmund K. Burke, Luca Di Gaspero, Barry McCollum, Ender Özcan, Andrea Schaerf (2016). 11th International Conference on the Practice and Theory of Automated Timetabling.

Cite URL

Gerhard Post, Luca Di Gaspero, Jeffrey H. Kingston, Barry McCollum, Andrea Schaerf (2016). The Third International Timetabling Competition. Annals of Operations Research.

Cite DOI URL

Nguyen Thi Thanh Dang, Sara Ceschia, Andrea Schaerf, Patrick De Causmaecker, Stefaan Haspeslagh (2016). Solving the Multi-Stage Nurse Rostering Problem. Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2016).

PDF Cite

Sara Ceschia, Luca Di Gaspero, Andrea Schaerf (2016). Simulated Annealing for Discrete Lot-Sizing and Scheduling. Proceedings of the 46th Annual Conference of the Italian Operations Research Society.

PDF Cite

Ruggero Bellio, Sara Ceschia, Luca Di Gaspero, Andrea Schaerf, Tommaso Urli (2016). Feature-based tuning of simulated annealing applied to the curriculum-based course timetabling problem. Computers & Operations Research.

PDF Cite DOI

Sara Ceschia, Andrea Schaerf (2016). Dynamic patient admission scheduling with operating room constraints, flexible horizons, and patient delays. Journal of Scheduling.

PDF Cite DOI

Luca Di Gaspero, Andrea Rendl, Tommaso Urli (2016). Balancing Bike Sharing Systems with Constraint Programming. Constraints.

Cite DOI URL

Luca Di Gaspero (2015). Practical Solution of Rich Routing Problems with CP and Metaheuristics. Proceedings of the 22nd International Symposium on Mathematical Programming.

Cite

Sara Ceschia, Luca Di Gaspero, Andrea Schaerf, Tommaso Urli (2015). A General Local Search Solver for FlatZinc. Proceedings of the 11th Metaheuristics International Conference (MIC 2015).

PDF Cite

Michele Battistutta, Sara Ceschia, Fabio De Cesco, Andrea Schaerf (2015). Thesis Defense Timetabling. 7th Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2015).

PDF Cite

Sara Ceschia, Nguyen Dang Thi Thanh, Patrick De Causmaecker, Stefaan Haspeslagh, Andrea Schaerf (2015). Second International Nurse Rostering Competition (INRC-II) - Problem Description and Rules -. CoRR.

Cite URL

Luca Di Gaspero (2015). Integration of Metaheuristics and Constraint Programming. Springer Handbook of Computational Intelligence - Part E.

Cite DOI

Andrea Schaerf (2015). Comments on: An overview of curriculum-based course timetabling. TOP.

PDF Cite DOI

Marco Sortino, Sandro Belfio, Giovanni Totis, Luca Di Gaspero, Marco Nali (2015). An Investigation on Swarm Intelligence Methods for the Optimization of Complex Part Programs in CNC Turning. International Journal of Advanced Manufacturing Technology.

Cite DOI URL

Sara Ceschia, Nguyen Thi Thanh Dang, Patrick De Causmaecker, Stefaan Haspeslagh, Andrea Schaerf (2014). The second International Nurse Rostering Competition. Proceedings of the 10th International Conference on Practice and Theory of Automated Timetabling (PATAT 2014).

Cite

Alex Bonutti, Fabio De Cesco, Nysret Musliu, Andrea Schaerf (2014). Modeling and Solving a Real-Life Multi-Skill Shift Design Problem. Proceedings of the 10th International Conference on Practice and Theory of Automated Timetabling (PATAT 2014).

Cite

Michele Battistutta, Andrea Schaerf, Tommaso Urli (2014). Feature-based tuning of single-stage simulated annealing for examination timetabling. Proceedings of the 10th International Conference on Practice and Theory of Automated Timetabling (PATAT 2014).

Cite

Gerhard Post, Jeffrey Kingston, Samad Ahmadi, Sophia Daskalaki, Christos Gogos, Jari Kyngas, Cimmo Nurmi, Nysret Musliu, Nelishia Pillay, Haroldo Santos, Andrea Schaerf (2014). XHSTT: an XML archive for high school timetabling problems in different countries. Annals of Operations Research.

PDF Cite DOI

Sara Ceschia, Luca Di Gaspero, Andrea Schaerf (2014). The generalized balanced academic curriculum problem with heterogeneous classes. Annals of Operations Research.

PDF Cite DOI

Stefaan Haspeslagh, Patrick De Causmaecker, Martin Stølevik, Andrea Schaerf (2014). The first international nurse rostering competition 2010. Annals of Operations Research.

PDF Cite DOI

Ruggero Bellio, Sara Ceschia, Luca Di Gaspero, Andrea Schaerf, Tommaso Urli (2014). Feature-based tuning of simulated annealing applied to the curriculum-based course timetabling problem. CoRR.

Cite URL

Luca Di Gaspero, Tommaso Urli (2014). A CP/LNS Approach for Multi-day Homecare Scheduling Problems. Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Proceedings.

Cite DOI

Sara Ceschia, Andrea Schaerf (2013). The Dynamic Patient Admission Scheduling with Operating Room Constraints, Flexible Horizon, and Patient Delays,. 6th Multidisciplinary International Conference on Scheduling: Theory and Applications.

Cite

Ruggero Bellio, Sara Ceschia, Luca Di Gaspero, Andrea Schaerf, Tommaso Urli (2013). A simulated annealing approach to the curriculum-based course timetabling problem. 6th Multidisciplinary International Conference on Scheduling: Theory and Applications.

Cite

Sara Ceschia, Andrea Schaerf, Thomas Stützle (2013). Local search techniques for a routing-packing problem. Computers & Industrial Engineering.

PDF Cite DOI

Sara Ceschia, Andrea Schaerf (2013). Local search for a multi-drop multi-container loading problem. Journal of Heuristics.

PDF Cite

Sara Ceschia (2013). Local search algorithms for integrated logistics. AI Communications.

Cite DOI

Luca Di Gaspero (2013). Investigations on Local Search Based Hybrid Metaheuristics (Studien über hybride Metaheuristiken basierend auf Lokaler Suche).

Cite

Luca Di Gaspero, Andrea Rendl, Tommaso Urli (2013). Constraint-Based Approaches for Balancing Bike Sharing Systems. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings.

Cite DOI

Luca Di Gaspero, Johannes Gärtner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser, Wolfgang Slany (2013). Automated Shift Design and Break Scheduling. Automated Scheduling and Planning - From Theory to Practice.

Cite DOI

Luca Di Gaspero, Andrea Schaerf, Thomas Stützle (2013). Advances in Metaheuristics. Springer Science+Business Media.

Cite

Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier (2013). A Multi-paradigm Tool for Large Neighborhood Search. Hybrid Metaheuristics.

Cite DOI URL

Luca Di Gaspero, Andrea Rendl, Tommaso Urli (2013). A Hybrid ACO+CP for Balancing Bicycle Sharing Systems. Hybrid Metaheuristics 8th International Workshop, HM 2013 Ischia, Italy, May 23-25, 2013 Proceedings.

PDF Cite DOI

Sara Ceschia, Andrea Schaerf (2012). Patient admission scheduling with operating room constraints. Proceedings of the 9th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2012).

PDF Cite

Sara Ceschia (2012). Local Search Algorithms for Integrated Logistics.

Cite URL

Marco Chiarandini, Luca Di Gaspero, Stefano Gualandi, Andrea Schaerf (2012). The Balanced Academic Curriculum Problem Revisited. Journal of Heuristics.

PDF Cite DOI

Sara Ceschia, Andrea Schaerf (2012). Patient admission scheduling with operating room constraints. Proceedings of the 38th annual meeting of the EURO working group on OR Applied to Health Services (ORAHS 2012).

Cite

Sara Ceschia, Andrea Schaerf (2012). Modeling and solving the dynamic patient admission scheduling problem under uncertainty. Artificial Intelligence in Medicine.

PDF Cite DOI

Luca Di Gaspero, Tommaso Urli (2012). Evaluation of a family of reinforcement learning cross-domain optimization heuristics. Proceedings of Learning and Intelligent OptimizatioN Conference 2012 (LION6).

Cite DOI

Ruggero Bellio, Luca Di Gaspero, Andrea Schaerf (2012). Design and Statistical Analysis of a Hybrid Local Search Algorithm for Course Timetabling. Journal of Scheduling.

PDF Cite DOI

Alex Bonutti, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf (2012). Benchmarking Curriculum-Based Course Timetabling: Formulations, Data Formats, Instances, Validation, and Results. Annals of Operations Research.

PDF Cite DOI

Luca Di Gaspero, Andrea Schaerf, Thomas Stützle (2011). Proceedings of the 9th Metaheuristics International Conference (MIC 2011). Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica - Università degli Studi di Udine.

Cite

Sara Ceschia, Andrea Schaerf (2011). Local Search for the Patient Admission Scheduling Problem under Uncertainty. Proceedings of the 9th Metaheuristics International Conference (MIC 2011).

Cite

Sara Ceschia, Andrea Schaerf, Thomas Stützle (2011). Local Search for a Routing-Packing Problem. Proceedings of the 9th Metaheuristics International Conference (MIC 2011).

Cite

Luca Di Gaspero, Tommaso Urli (2011). A Reinforcement Learning approach for the Cross-Domain Heuristic Search Challenge. Proceedings of the 9th Metaheuristics International Conference (MIC 2011).

Cite

Sara Ceschia, Luca Di Gaspero, Andrea Schaerf (2011). Tabu Search Techniques for the Heterogeneous Vehicle Routing Problem with Time Windows and Carrier-Dependent Costs. Journal of Scheduling.

PDF Cite DOI

Luca Di Gaspero, Giacomo Di Tollo, Andrea Roli, Andrea Schaerf (2011). Local Search for Constrained Financial Portfolio Selection Problems with Short Sellings. Learning and Intelligent Optimization. LION 2011. 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected Papers.

Cite DOI

Sara Ceschia, Andrea Schaerf (2011). Local Search and Lower Bounds for the Patient Admission Scheduling Problem. Computers & Operations Research.

PDF Cite DOI

Luca Di Gaspero, Giacomo Di Tollo, Andrea Roli, Andrea Schaerf (2011). Hybrid Metaheuristics for Constrained Portfolio Selection Problem. Quantitative Finance.

PDF Cite DOI

Sara Ceschia, Luca Di Gaspero, Andrea Schaerf (2011). Design, Engineering, and Experimental Analysis of a Simulated Annealing Approach to the Post-Enrolment Course Timetabling Problem. Computers & Operations Research.

PDF Cite DOI

Stefaan Haspeslagh, Patrick De Causmaecker, Martin Stølevik, Andrea Schaerf (2010). First International Nurse Rostering Competition 2010. Proceedings of the 8th International Conference on Practice and Theory of Automated Timetabling (PATAT 2010).

Cite

G. Post, J. H. Kingston, S. Ahmadi, S. Daskalaki, C. Gogos, J. Kyngas, C. Nurmi, H. Santos, B. Roije, A. Schaerf (2010). An XML Format for Benchmarks in High School. Proceedings of the 8th International Conference on Practice and Theory of Automated Timetabling (PATAT 2010).

Cite

Luca Di Gaspero, Johannes Gärtner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser, Wolfgang Slany (2010). A Hybrid LS-CP Solver for the Shifts and Breaks Design Problem. Proceedings of the 8th International Conference on Practice and Theory of Automated Timetabling (PATAT 2010).

Cite

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena (2010). The Context-Aware Browser. IEEE Intelligent Systems.

Cite DOI

Barry McCollum, Andrea Schaerf, Ben Paechter, Paul McMullan, Rhyd Lewis, Andrew J. Parkes, Luca Di Gaspero, Rong Qu, Edmund K. Burke (2010). Setting the Research Agenda in Automated Timetabling: The Second International Timetabling Competition. INFORMS Journal on Computing.

Cite DOI

Vincenzo Della Mea, Luca Di Gaspero, Ivan Scagnetto (2010). Programmazione Web Lato Server: Principi, Tecniche di base, Esercitazioni. Apogeo.

Cite

Luca Di Gaspero, Johannes Gärtner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser, Wolfgang Slany (2010). A Hybrid LS-CP Solver for the Shifts and Breaks Design Problem. Hybrid Metaheuristics 7th International Workshop, HM 2010 Vienna, Austria, October 1-2, 2010 Proceedings.

Cite DOI

Sara Ceschia, Andrea Schaerf (2009). Multi-neighborhood Local Search for the Patient Admission Problem. 6th Int. Workshop on Hybrid Metaheuristics (HM-2009).

Cite

Sara Ceschia, Andrea Schaerf (2009). Tabu Search Techniques for the Heterogeneous Vehicle Routing Problem with Time Windows and Carrier-Dependent Costs. 4th Multidisciplinary International Conference on Scheduling: Theory and Applications.

Cite

Sara Ceschia, Andrea Schaerf (2009). Local Search Techniques for 3-Dimensional Packing. 5th Metaheuristic International Conference.

Cite

Sara Ceschia, Andrea Schaerf (2009). Hybrid Local Search Techniques for 3-Dimensional Packing. 6th ESICUP Meeting.

Cite

Maria J. Blesa Aguilera, Christian Blum, Luca Di Gaspero, Andrea Roli, Michael Sampels, Andrea Schaerf (2009). Hybrid Metaheuristics 6th International Workshop, HM 2009 Udine, Italy, October 16-17, 2009 Proceedings. Springer-Verlag.

Cite

Luca Di Gaspero, Andrea Roli (2009). Flexible stochastic local search for Haplotype Inference. Learning and Intelligent Optimization - Third International Conference, LION 2009.

Cite DOI

Stefano Benedettini, Andrea Roli, Luca Di Gaspero (2009). EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms. Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings.

Cite DOI

Stefano Mizzaro, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Elena Nazzi, Ivan Scagnetto, Luca Vassena (2009). Context Aware Browser. Interactive Information Retrieval.

Cite URL

Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier (2009). A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. Hybrid Metaheuristics 6th International Workshop, HM 2009 Udine, Italy, October 16-17, 2009 Proceedings.

Cite DOI

Stefano Benedettini, Luca Di Gaspero, Andrea Roli (2008). Towards a highly scalable hybrid metaheuristic for haplotype inference under parsimony. Proceedings of the 8th International Conference on Hybrid Intelligent Systems.

Cite DOI

Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena (2008). AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008).

Cite DOI

Paolo Burelli, Luca Di Gaspero, Andrea Ermetici, Roberto Ranon (2008). Virtual Camera Composition with Particle Swarm Optimization. Smart Graphics, 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008. Proceedings.

Cite DOI

Stefano Benedettini, Andrea Roli, Luca Di Gaspero (2008). Two-level ACO for Haplotype Inference under pure parsimony. Ant Colony Optimization and Swarm Intelligence, 6th International Conference, ANTS~2008.

Cite DOI

Luca Di Gaspero, Andrea Ermetici, Roberto Ranon (2008). Swarming in a virtual world: a PSO approach to virtual camera composition. Ant Colony Optimization and Swarm Intelligence, 6th International Workshop, ANTS~2008.

Cite DOI

Luca Di Gaspero, Andrea Roli (2008). Stochastic local search for large-scale instances of the Haplotype Inference Problem by Parsimony. Journal of Algorithms in Logic, Informatics and Cognition.

Cite DOI

Luca Di Gaspero, Andrea Schaerf (2008). Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem. Hybrid Metaheuristics 5th International Workshop, HM 2008, Málaga, Spain, October 8-9, 2008. Proceedings.

PDF Cite DOI

Luca Di Gaspero, Andrea Roli, Andrea Schaerf (2008). EasyAnalyzer: an object-oriented frameowrk for the experimental analysis of stochastic local search algorithms. Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.

Cite

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Elena Nazzi, Ivan Scagnetto, Luca Vassena (2008). Context-Aware Browser.

Cite

Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf (2008). Benchmarking Curriculum-Based Course Timetabling: Formulations, Data Formats, Instances, Validation, and Results. Proceedings of the 7th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2008).

Cite

Paolo Coppola, Luca Di Gaspero, Raffaella Lomuscio, Danny Mischis, Stefano Mizzaro, Elena Nazzi, Ivan Scagnetto, Luca Vassena (2008). AI Techniques in a context-aware ubiquitous environment. Pervasive Computing: Innovations in Intelligent Multimedia and Applications.

Cite DOI

Ruggero Bellio, Luca Di Gaspero, Andrea Schaerf (2008). A Statistical Analysis of the Features of a Dynamic Tabu Search Algorithm For Course Timetabling Problems. Proceedings of the 7th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2008).

Cite

Ruggero Bellio, Luca Di Gaspero, Andrea Schaerf (2008). A Statistical Analysis of the Features of a Dynamic Tabu Search Algorithm For Course Timetabling Problems. Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.

Cite

Luca Di Gaspero, Barry McCollum, Andrea Schaerf (2007). The Second International Timetabling Competition (ITC-2007): Curriculum-based Course Timetabling (Track 3). Proceedings of the 1st International Workshop on Scheduling a Scheduling Competition (SSC 2007).

PDF Cite

Luca Di Gaspero, Barry McCollum, Andrea Schaerf (2007). The Second International Timetabling Competition (ITC-2007): Curriculum-based Course Timetabling (Track 3).

Cite

Luca Di Gaspero, Barry McCollum, Andrea Schaerf (2007). The Second International Timetabling Competition (ITC-2007): Curriculum-based Course Timetabling Track. Proceedings of the 14th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.

PDF Cite

Luca Di Gaspero, Andrea Roli (2007). Metaheuristics for the Haplotype Inference Problem: a preliminary analysis. Proceedings of the 14th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.

PDF Cite

Luca Di Gaspero, Giacomo Di Tollo, Andrea Roli, Andrea Schaerf (2007). Hybrid metaheuristics for portfolio selection problems. Proceedings of the 7th Metaheuristics International Conference (MIC 2007).

Cite

Giacomo Di Tollo, Luca Di Gaspero, Andrea Roli, Andrea Schaerf (2007). Solving Portfolio selection problems through hybrid techniques. Abstracts of the 4th International Conference on Computational Management Science (CMS 2007).

Cite

Luca Di Gaspero, Andrea Schaerf (2007). A Composite-Neighborhood Tabu Search Approach to the Traveling Tournament Problem. Journal of Heuristics.

PDF Cite DOI

Luca Di Gaspero, Giacomo Di Tollo, Andrea Schaerf, Andrea Roli (2007). A Hybrid Solver for Constrained Portfolio Selection Problems: preliminary report. Proceedings of Learning and Intelligent OptimizatioN (LION2007).

PDF Cite

Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany (2007). The minimum shift design problem. Annals of Operations Research.

Cite DOI

Luca Di Gaspero, Andrea Schaerf (2007). textscEasySyn++: A Tool for Automatic Synthesis of Stochastic Local Search Algorithms. Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings.

PDF Cite DOI

Luca Di Gaspero, Andrea Roli, Andrea Schaerf (2007). textscEasyAnalyzer: an object-oriented framework for the analysis of stochastic local search algorithms. Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings.

PDF Cite DOI

Vincenzo Della Mea, Luca Di Gaspero, Ivan Scagnetto (2007). Programmazione Web Lato Server: Principi, Tecniche di base, Esercitazioni. Apogeo.

Cite

Andrea Schaerf, Luca Di Gaspero (2007). Measurability and Reproducibility in Timetabling Research: Discussion and Proposals. ractice and Theory of Automated Timetabling VI, 6th International Conference, PATAT 2006, Brno, Czech Republic, August 30 - September 1, 2006, Revised Selected Papers..

PDF Cite

Igor Pesek, Andrea Schaerf, Janez Zerovnik (2007). Hybrid Local Search Techniques for the Resource-Constrained Project Scheduling Problem. Hybrid Metaheuristics.

PDF Cite

Luca Di Gaspero, Giacomo Di Tollo, Andrea Roli, Andrea Schaerf (2007). Hybrid Local Search for Constrained Financial Portfolio Selection Problems. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings.

PDF Cite DOI

Andrea Schaerf, Luca Di Gaspero (2007). Automatic timetabling in healthcare organisations.

Cite

Luca Di Gaspero, Andrea Roli (2007). A preliminary analysis on metaheuristics methods applied to the Haplotype Inference Problem.

Cite URL

Andrea Zampieri, Andrea Schaerf (2006). Modelling and Solving the Italian Examination Timetabling Problem using Tabu Search. Proceedings of the 6th International Conference on Practice and Theory of Automated Timetabling (PATAT 2006).

Cite

Andrea Schaerf, Luca Di Gaspero (2006). Measurability and Reproducibility in Timetabling Research: State-of-the-Art and Discussion. Proceedings of the 6th International Conference on Practice and Theory of Automated Timetabling (PATAT 2006).

Cite

Luca Di Gaspero, Andrea Schaerf, Marco Chiarandini (2006). A Study on the Short-Term Prohibition Mechanisms in Tabu Search for Examination Timetabling. Proceedings of the 6th International Conference on Practice and Theory of Automated Timetabling (PATAT 2006).

Cite

Luca Di Gaspero, Marco Chiarandini, Andrea Schaerf (2006). A study on the short-term prohibition mechanisms in tabu search. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI2006).

Cite

Luca Di Gaspero, Andrea Schaerf (2006). Tabu Search Techniques for the Traveling Tournament Problem. Proceedings of the 21st European Conference on Operational Research (EURO 2006).

Cite

Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier (2006). Approcci ibridi al problema del Rostering: un caso di studio nell'integrazione di programmazione con vincoli e ricerca locale. Atti della Giornata di Lavoro del gruppo RCRA 2006: Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale.

Cite

Luca Di Gaspero, Marco Chiarandini, Andrea Schaerf (2006). A study on the short-term prohibition mechanisms in tabu search. Atti della Giornata di Lavoro del gruppo RCRA 2006: Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale.

Cite

Vincenzo Della Mea, Gianluca Demartini, Luca Di Gaspero, Stefano Mizzaro (2006). Experiments on Average Distance Measure. Advances in Information Retrieval, 28th European Conference on IR Research (ECIR 2006).

Cite DOI

Luca Di Gaspero, Andrea Schaerf (2006). Neighborhood Portfolio Approach for Local Search applied to Timetabling Problems. Journal of Mathematical Modeling and Algorithms.

PDF Cite DOI

Vincenzo Della Mea, Gianluca Demartini, Luca Di Gaspero, Stefano Mizzaro (2006). Measuring Retrieval Effectiveness with Average Distance Measure (ADM). Information Wissenschaft und Praxis.

Cite

Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier (2006). Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search. Hybrid Metaheuristics, Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-15, 2006, Proceedings.

Cite DOI

Luca Di Gaspero, Andrea Schaerf (2005). A Tabu Search Approach to the Traveling Tournament Problem. Proceedings of the 6th Metaheuristics International Conference (MIC-2005).

Cite

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Ivan Scagnetto, Andrea Selva, Luca Vassena, Paolo Zandegiacomo Riziò (2005). Information Filtering and Retrieving of Context-Aware Applications Within the MoBe Framework. Proceedings International Workshop on Context-Based Information Retrieval (CIR-2005).

Cite

Luca Di Gaspero, Stefano Mizzaro, Andrea Schaerf (2005). A MultiAgent Architecture for Distributed Course Timetabling. In Proceedings of the 6th International Workshop on Distributed Constraint Reasoning (DCR-05).

PDF Cite

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Ivan Scagnetto, Andrea Selva, Luca Vassena, Paolo Zandegiacomo Riziò (2005). MoBe: A Framework for Context-Aware Mobile Applications. Proceedings of the Workshop on Context Awareness for Proactive Systems (CAPS 2005).

PDF Cite

Luca Di Gaspero, Andrea Schaerf (2005). A Tabu Search Approach to the Traveling Tournament Problem. Atti della Giornata di Lavoro del gruppo RCRA 2005: Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale.

PDF Cite

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Ivan Scagnetto, Andrea Selva, Luca Vassena, Paolo Zandegiacomo Riziò (2005). Context-Aware Mobile Applications on Mobile Devices for Mobile Users. Proceedings of the 1st International Workshop on Exploiting Context Histories in Smart Environments.

PDF Cite

Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany (2005). Theory and practice of the minimum shift design problem. Metaheuristics: Progress as Real Problem Solvers.

PDF Cite

Marco Cadoli, Andrea Schaerf (2005). Compiling problem specifications into SAT. Artificial Intelligence.

PDF Cite DOI

Luca Di Gaspero, Stefano Mizzaro, Andrea Schaerf (2004). A MultiAgent Architecture for Distributed Course Timetabling. Proceedings of the 5th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2004).

PDF Cite

Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro (2004). Evaluating ADM on a four-level relevance scale document set from NTCIR. Proceedings of NTCIR Workshop 4 Meeting - Supplement.

Cite

Nysret Musliu, Andrea Schaerf, Wolfgang Slany (2004). Local Search for Shift Design. European Journal of Operational Research.

PDF Cite

Luca Di Gaspero, Andrea Schaerf (2004). Il problema della generazione automatica dell'orario delle lezioni: teoria e pratica. Intelligenza Artificiale.

PDF Cite

Luca Di Gaspero, Andrea Schaerf (2004). A Multineighbourhood Local Search Solver for the Timetabling Competition TTComp-2002. Proceedings of the 5th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2004).

Cite

Luca Di Gaspero, Stefano Mizzaro, Andrea Schaerf (2004). A MultiAgent Architecture for Distributed Course Timetabling. Atti della Giornata di Lavoro del gruppo RCRA 2004: Agenti e Vincoli: Modelli e Tecnologie per Dominare la Complessità.

Cite

Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany (2003). A hybrid network flow tabu search heuristic for the minimum shift design problem. Proceedings of the 5th Metaheuristics International Conference (MIC-2003).

Cite

Luca Di Gaspero, Andrea Schaerf (2003). textscEasyLocal++: An object-oriented framework for flexible design of local search algorithms. Software — Practice & Experience.

PDF Cite DOI

Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany (2003). The minimum shift design problem: theory and practice. Algorithms - ESA 2003, Proceedings of the 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003.

Cite

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro (2003). The Concept of Relevance in Mobile and Ubiquitous Information Access. Mobile and Ubiquitous Information Access.

Cite DOI

Luca Di Gaspero, Andrea Schaerf (2003). Multi-Neighbourhood Local Search with Application to Course Timetabling. Practice and Theory of Automated Timetabling IV.

Cite DOI

Amnon Meisels, Andrea Schaerf (2003). Modelling and Solving Employee Timetabling Problems. Annals of Mathematics and Artificial Intelligence.

PDF Cite

Luca Di Gaspero (2003). Local Search Techniques for Scheduling Problems: Algorithms and Software Tools. Forum.

PDF Cite

Andrea Schaerf, Pier Luca Montessoro, Luca Di Gaspero, Davide Pierattoni (2003). CD Didattico per il corso di Fondamenti di Informatica.

Cite

Luca Di Gaspero, Igor Vian, Andrea Schaerf (2002). A review of neighborhood structures for the job-shop scheduling problem. Proceedings of the Quadriennal International Conference on Operations Research (OR2002).

Cite

Luca Di Gaspero (2002). Recolour, Shake and Kick: a recipe for the Examination Timetabling Problem. Proceedings of the 4th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2002).

Cite

Luca Di Gaspero, Andrea Schaerf (2002). Multi-Neighbourhood Local Search for Course Timetabling. Proceedings of the 4th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2002).

Cite

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Roberto Ranon (2002). From E-Relevance to W-Relevance. Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval.

Cite

Luca Di Gaspero, Andrea Schaerf (2002). Writing Local Search Algorithms using textscEasyLocal++. Optimization Software Class Libraries.

PDF Cite

Andrea Schaerf (2002). Local Search Techniques for Constrained Portfolio Selection Problems. Computational Economics.

PDF Cite

Luca Di Gaspero, Andrea Schaerf (2001). textscEasyLocal++: an object-oriented framework for the flexible design of local search algorithms and metaheuristics.. Proceedings of the 4th Metaheuristics International Conference (MIC-2001).

Cite

Luca Di Gaspero, Andrea Schaerf (2001). Tabu Search Techniques for Examination Timetabling. Practice and Theory of Automated Timetabling III.

PDF Cite DOI

Andrea Schaerf, Luca Di Gaspero (2001). Local Search Techniques for Educational Timetabling Problems. Proceedings of the 6th International Symposium on Operations Research in Slovenia (SOR-01).

Cite

Nysret Musliu, Andrea Schaerf, Wolfgang Slany (2001). Local Search for Shift Design. Proceedings of the 4th Metaheuristics International Conference (MIC-2001).

Cite

Marco Cadoli, Andrea Schaerf (2001). Compiling program specifications into SAT. Proceedings of 10th European Symposium on Programming (ESOP 2001).

Cite

Andrea Schaerf, Pier Luca Montessoro, Luca Di Gaspero, Davide Pierattoni (2001). CD Didattico per il corso di Fondamenti di Informatica.

Cite

Luca Di Gaspero, Andrea Schaerf (2001). A case-study for textscEasyLocal++: the Course Timetabling Problem.

Cite

Luca Di Gaspero, Andrea Schaerf (2000). Tabu Search Techniques for Examination Timetabling. Proceedings of the 3rd International Conference on Practice and Theory of Automated Timetabling (PATAT-2000).

Cite

Lara Cogoi, Vincenzo Della Mea, Luca Di Gaspero, Vito Roberto (2000). Seamless Access to Databases through KQML in an Agent-enriched Web. Proceedings of the AIIA and TABOO joint workshop ``Dagli oggetti agli agenti: tendenze evolutive dei sistemi software’'*.

Cite

Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile (2000). textscNP-Spec: An Executable Specification Language for Solving All Problems in NP. Computer Languages.

PDF Cite

Andrea Schaerf, Marco Cadoli, Maurizio Lenzerini (2000). textscLocal++: A C++ Framework for Local Search Algorithms. Software – Practice & Experience.

PDF Cite

Luca Di Gaspero, Andrea Schaerf (2000). textscEasyLocal++: An object-oriented framework for flexible design of local search algorithms.

Cite

Marco Chiarandini, Andrea Schaerf, Fabio Tiozzo (2000). Solving Employee Timetabling Problems with Flexible Workload using Tabu Search. Proceedings of the 3rd International Conference on the Practice and Theory of Automated Timetabling (PATAT-2000).

PDF Cite

Krzysztof R. Apt, Andrea Schaerf (2000). Programming in textsfAlma-0, or Imperative and Declarative Programming Reconciled. Proceedings of Frontiers of Combining Systems 2.

PDF Cite

Vito Roberto, Vincenzo Della Mea, Luca Di Gaspero, Antonello Conti (1999). MANTHA: Agent-based Management of Hypermedia Documents. Proceedings of the IEEE International Conference on Multimedia Computing and Systems (ICMCS99).

Cite

Krzysztof R. Apt, Andrea Schaerf (1999). The textsfAlma Project, or How First-Order Logic Can Help Us in Imperative Programming. Correct System Design.

PDF Cite

Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile (1999). textscnp-spec: An Executable Specification Language for Solving All Problems in NP. Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99).

Cite

Andrea Schaerf, Maurizio Lenzerini, Marco Cadoli (1999). textscLocal++: A C++ Framework for Local Search Algorithms.

Cite

Andrea Schaerf, Maurizio Lenzerini, Marco Cadoli (1999). textscLocal++: A C++ Framework for Combinatorial Search Problems. Proceedings of the 29th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-99).

Cite

Andrea Schaerf, Amnon Meisels (1999). Solving Employee Timetabling Problems by Generalized Local Search. Proceedings of the 6th Italian Conference on Artificial Intelligence (AIIA-99).

Cite

Andrea Schaerf (1999). Scheduling Sport Tournaments using Constraint Logic Programming. CONSTRAINTS.

PDF Cite

Andrea Schaerf (1999). Local Search Techniques for Large High-School Timetabling Problems. IEEE Transactions on Systems, Man, and Cybernetics— Part A: Systems and Humans.

PDF Cite

Vincenzo Della Mea, Vito Roberto, Antonello Conti, Luca Di Gaspero (1999). Internet Agents for telemedicine services. Medical Informatics and the Internet in Medicine.

PDF Cite DOI

Andrea Schaerf (1999). A Survey of Automated Timetabling. Artificial Intelligence Review.

PDF Cite

Luca Di Gaspero (1998). Sistemi multiagente: tecniche di condivisione della conoscenza.

Cite

Vincenzo Della Mea, Vito Roberto, Antonello Conti, Luca Di Gaspero (1998). Internet Agents for telemedicine services. Proceedings of the 3rd annual world congress on the Internet in Medicine (MEDNET98).

Cite

Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf (1998). textsfAlma-0: An Imperative Language that Supports Declarative Programming. ACM Transactions on Programming Languages and Systems.

PDF Cite

Pablo Moscato, Andrea Schaerf (1998). Local Search Techniques for Scheduling Problems. John Wiley and Sons.

PDF Cite

Marco Cadoli, Maurizio Lenzerini, Emanuele Panizzi, Andrea Schaerf (1998). Esercizi di progettazione di programmi in C++. Cittàıt StudiEdizioni di UTET Libreria.

Cite

Luca Di Gaspero, Vincenzo Della Mea, Vito Roberto (1998). Appunti dal corso di Sistemi di Elaborazione dell'Informazione.

Cite

Davide Brunato, Antonello Conti, Luca Di Gaspero, Vincenzo Della Mea, Vito Roberto (1998). An agent-based approach to the delivery of telepathology services.. Proceedings of the 4th European Congress on Telepathology.

Cite

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf (1998). Adding epistemic operators to description logics. Artificial Intelligence.

PDF Cite

Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf (1998). A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artificial Intelligence.

PDF Cite

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf (1998). $mathcalAL$-log: integrating datalog and description logics. Journal of Intelligent Information Systems.

PDF Cite

Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf (1997). textsfAlma-0: An Imperative Language that Supports Declarative Programming.

Cite

Krzysztof R. Apt, Andrea Schaerf (1997). Search and Imperative Programming. Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-97).

Cite

Andrea Schaerf (1997). Scheduling Sport Tournaments using Constraint Logic Programming.

Cite

Marco Cadoli, Maurizio Lenzerini, Paolo Naggar, Andrea Schaerf (1997). Fondamenti della progettazione dei programmi. Princìpi, tecniche e loro applicazioni in C++. Cittàıt StudiEdizioni di UTET Libreria.

Cite

Andrea Schaerf (1997). Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems. Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97).

PDF Cite

Andrea Schaerf (1996). Tabu Search Techniques for Large High-School Timetabling Problems. Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96).

Cite

Andrea Schaerf (1996). Tabu Search Techniques for Large High-School Timetabling Problems.

Cite

Andrea Schaerf (1996). Scheduling Sport Tournaments using Constraint Logic Programming. Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96).

Cite

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf (1996). Reasoning in Description Logics. Foundation of Knowledge Representation.

PDF Cite

Andrea Schaerf (1996). A Survey of Automated Timetabling.

Cite

Andrea Schaerf, Marco Schaerf (1995). Local Search Techniques for High School Timetabling. Proceedings of the 1st International Conference on the Practice and Theory of Automated Timetabling (ICPTAT-95).

Cite

Andrea Schaerf, Yoav Shoham, Moshe Tennenholtz (1995). Adaptive load balancing: a study in multi-agent learning. Journal of Artificial Intelligence Research.

PDF Cite

Andrea Schaerf (1994). Reasoning with individuals in concept languages. Data Knowledge Engineering.

PDF Cite

Andrea Schaerf (1994). Query answering in concept-based knowledge representation systems: algorithms, complexity, and sematic issues.

PDF Cite

Francesco~M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf (1994). Deduction in concept languages: From subsumption to instance checking. Journal of Logic and Computation.

PDF Cite

Andrea Schaerf (1993). On the complexity of the instance checking problem in concept languages with existential quantification. Journal of Intelligent Information Systems.

Cite

Martin Buchheit, Francesco M. Donini, Andrea Schaerf (1993). Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research.

PDF Cite