Logic-based representation and reasoning about knowledge of constrained resources
An analysis on the inference guiding strategies—The benefits and costs
Situation assessment and prediction in intelligence domains
An integrated knowledge-based system for urban planning decision support
A framework of constraint-based modeling for cooperative decision systems
Design knowledge representation and control for the structural design of ships
Heterogeneous knowledge representation integrating connectionist and symbolic computation
Calendar