An expert system for a resource allocation problem
Communications of the ACM
Future paths for integer programming and links to artificial intelligence
Computers and Operations Research - Special issue: Applications of integer programming
Operations research: principles and practice, 2nd ed.
Operations research: principles and practice, 2nd ed.
Toward automating recognition of differing problem-solving demands
International Journal of Man-Machine Studies
SALT: a knowledge acquisition language for propose-and-revise systems
Artificial Intelligence
AI Magazine
OPIS: an opportunistic factory scheduling system
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Enabling technology for knowledge sharing
AI Magazine
Issues in the design of AI-based schedulers: A workshop report
AI Magazine - Reports from three of the 1990 Spring symposia and eight workshops held over the past two years
ACM Computing Surveys (CSUR)
Using generalised directive models in knowledge acquisition
EKAW'92 Proceedings of the 6th European knowledge acquisition workshop on Current developments in knowledge acquisition
KA process support through generalised directive models
Second generation expert systems
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
International Journal of Human-Computer Studies - Special issue: the Sisyphus-VT initiative
Understanding, building and using ontologies
International Journal of Human-Computer Studies
The Ontolingua Server: a tool for collaborative ontology construction
International Journal of Human-Computer Studies - Special issue: innovative applications of the World Wide Web
The essence of problem-solving methods: making assumptions to gain efficiency
International Journal of Human-Computer Studies
A library of system-derived problem-solving methods for planning
International Journal of Human-Computer Studies - Special issue on knowledge acquisition for planning
Domain-oriented library of scheduling methods: design principle and real-life application
International Journal of Human-Computer Studies
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Deep versus compiled knowledge approaches to diagnostic problem-solving
International Journal of Human-Computer Studies - Special issue: 1969-1999, the 30th anniversary
Maintaining knowledge about temporal intervals
Communications of the ACM
Computer science as empirical inquiry: symbols and search
Communications of the ACM
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Common KADS Library for Expertise Modelling
Common KADS Library for Expertise Modelling
Automating Knowledge Acquisition for Expert Systems
Automating Knowledge Acquisition for Expert Systems
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
CommonKADS: A Comprehensive Methodology for KBS Development
IEEE Expert: Intelligent Systems and Their Applications
Proceedings of the 7th European Workshop on Knowledge Acquisition for Knowledge-Based Systems
MULTIS II: Enabling End-Users to Design Problem-Solving Engines via Two-Level Task Ontologies
Proceedings of the 7th European Workshop on Knowledge Acquisition for Knowledge-Based Systems
Resource-Based vs. Task-Based Approaches for Scheduling Problems
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
A generic library of problem solving methods for scheduling applications
Proceedings of the 2nd international conference on Knowledge capture
A distributed, service-based framework for knowledge applications with multimedia
ACM Transactions on Information Systems (TOIS)
Ontology and problem-solving method for scheduling in manufacturing
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
A collaborative scheduling approach for service-driven scientific workflow execution
Journal of Computer and System Sciences
Using formal concept analysis to leverage ontology-based Yoga knowledge system
WSEAS Transactions on Information Science and Applications
Development of an ontology-based flexible clinical pathway system
WSEAS Transactions on Information Science and Applications
OCEAN: an ontology for supporting interoperability service utilities in virtual organisations
International Journal of Networking and Virtual Organisations
Decision support for improved service effectiveness using domain aware text mining
Knowledge-Based Systems
Hi-index | 0.00 |
In this paper, we propose a generic library of problem-solving methods for scheduling applications. Although some attempts have been made in the past at developing the libraries of scheduling problem-solvers, these only provide limited coverage. Many lack generality, as they subscribe to a particular scheduling domain. Others simply implement a particular problem-solving technique, which may be applicable only to a subset of the space of scheduling problems. In addition, most of these libraries fail to provide the required degree of depth and precision. In our approach, we subscribe to the Task-Method-Domain-Application knowledge modeling framework which provides a structured organization for the different components of the library. At the task level, we construct a generic scheduling task ontology to formalize the space of scheduling problems. At the method level, we construct a generic problem-solving model of scheduling that generalizes from the variety of approaches to scheduling problem-solving, which can be found in the literature. The generic nature of this model is demonstrated by constructing seven methods for scheduling as an alternative specialization of the model. Finally, we validated our library on a number of applications to demonstrate its generic nature and effective support for developing scheduling applications.