共 50 条
- [1] Evaluating Test Suite Effectiveness and Assessing Student Code via Constraint Logic Programming ITICSE'17: PROCEEDINGS OF THE 2017 ACM CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2017, : 317 - 322
- [2] CPP: A constraint logic programming based planner with preferences LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 290 - +
- [5] Planning with preferences using logic programming LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 247 - 260
- [8] Nurse scheduling using constraint logic programming SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 838 - 843
- [9] University timetabling using constraint logic programming PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 1999, 1551 : 320 - 334
- [10] Nurse scheduling using constraint logic programming Proceedings of the National Conference on Artificial Intelligence, 1999, : 838 - 843