暂无分享,去创建一个
Marco Maratea | Carmine Dodaro | Ivan Porro | Giuseppe Galata | Muhammad Kamran Khan | I. Porro | M. Maratea | Carmine Dodaro | G. Galatà
[1] Francesco Buccafurri,et al. Enhancing Disjunctive Datalog by Constraints , 2000, IEEE Trans. Knowl. Data Eng..
[2] Paolo Ferraris,et al. Logic programs with propositional connectives and aggregates , 2008, TOCL.
[3] Marco Maratea,et al. An ASP-based Solution for Operating Room Scheduling with Beds Management , 2019, RuleML+RR.
[4] Armando Tacchella,et al. (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver , 2003, CP.
[5] Marco Maratea,et al. Nurse Scheduling via Answer Set Programming , 2017, LPNMR.
[6] Roberto Aringhieri,et al. A hybrid optimization algorithm for surgeries scheduling , 2016 .
[7] Marcello Balduccini,et al. Industrial-Size Scheduling with ASP+CP , 2011, LPNMR.
[8] Mario Alviano,et al. Evaluation of Disjunctive Programs in WASP , 2019, LPNMR.
[9] Wei Li,et al. Operating Room Planning under Surgery Type and Priority Constraints , 2016 .
[10] Martin Gebser,et al. Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming , 2018, Theory Pract. Log. Program..
[11] Gerhard Friedrich,et al. Industrial Applications of Answer Set Programming , 2018, KI - Künstliche Intelligenz.
[12] Martin Gebser,et al. Theory Solving Made Easy with Clingo 5 , 2016, ICLP.
[13] Maratea Marco,et al. The Design of the Seventh Answer Set Programming Competition , 2017 .
[14] Mario Alviano,et al. Rewriting recursive aggregates in answer set programming: back to monotonicity , 2015, Theory and Practice of Logic Programming.
[15] Mario Alviano,et al. Nurse (Re)scheduling via answer set programming , 2019, Intelligenza Artificiale.
[16] Mario Alviano,et al. Optimum stable model search: algorithms and implementation , 2020, J. Log. Comput..
[17] Jian Zhang,et al. A stochastic shortest-path MDP model with dead ends for operating rooms planning , 2017, 2017 23rd International Conference on Automation and Computing (ICAC).
[18] F. RICCA,et al. Team-building with answer set programming in the Gioia-Tauro seaport , 2011, Theory and Practice of Logic Programming.
[19] Martin Gebser,et al. Conflict-driven answer set solving: From theory to practice , 2012, Artif. Intell..
[20] Jose M. Framiñan,et al. New heuristics for planning operating rooms , 2015, Comput. Ind. Eng..
[21] Mario Alviano,et al. An Advanced Answer Set Programming Encoding for Nurse Scheduling , 2017, AI*IA.
[22] Roberto Aringhieri,et al. Assigning surgery cases to operating rooms: A VNS approach for leveling ward beds occupancies , 2015, Electron. Notes Discret. Math..
[23] Wolfgang Faber,et al. Semantics and complexity of recursive aggregates in answer set programming , 2011, Artif. Intell..
[24] Enrico Giunchiglia,et al. A new Approach for Solving Satisfiability Problems with Qualitative Preferences , 2008, ECAI.
[25] Marco Maratea,et al. An ASP-based framework for operating room scheduling , 2019, Intelligenza Artificiale.
[26] Martin Gebser,et al. Abstract gringo , 2015, Theory Pract. Log. Program..
[27] Miroslaw Truszczynski,et al. Answer set programming at a glance , 2011, Commun. ACM.
[28] Marco Maratea,et al. Operating Room Scheduling via Answer Set Programming , 2018, AI*IA.
[29] Martin Gebser,et al. The Design of the Sixth Answer Set Programming Competition - - Report - , 2014, LPNMR.
[30] Roberto Aringhieri,et al. A two level metaheuristic for the operating room scheduling and assignment problem , 2015, Comput. Oper. Res..
[31] Armando Tacchella,et al. Dependent and Independent Variables in Propositional Satisfiability , 2002, JELIA.
[32] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[33] Nicola Leone,et al. On the Application of Answer Set Programming to the Conference Paper Assignment Problem , 2016, AI*IA.
[34] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[35] Martin Gebser,et al. Design and results of the Fifth Answer Set Programming Competition , 2016, Artif. Intell..
[36] Giovanni Amendola,et al. Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming , 2018, RiCeRcA@AI*IA.
[37] Ilkka Niemelä,et al. Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.
[38] Martin Gebser,et al. The Sixth Answer Set Programming Competition , 2017, J. Artif. Intell. Res..
[39] Martin Gebser,et al. ASP-Core-2 Input Language Format , 2019, Theory and Practice of Logic Programming.