Constraint propagation with interval labels
Artificial Intelligence
Introduction to operations research, 4th ed.
Introduction to operations research, 4th ed.
Constraint programming languages: their specification and generation
Constraint programming languages: their specification and generation
Constraint logic programming languages
Communications of the ACM
Maintaining knowledge about temporal intervals
Communications of the ACM
A universal programming language
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling Problems
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |
A description is given of the Logos reasoning shell, an expert system that performs reactive scheduling, i.e. reschedules operations in the context of new information. Logos' constraint system supports the use of temporal constraints as well as the need to add and retract constraints incrementally. Logos' problem-solving approach is discussed and constraint-based reasoning and dynamic modeling, both of which are used by Logos, are examined. Some current applications are described.