Proceedings:
Constraint Reasoning and Component Technologies
Volume
Issue:
Proceedings of the AAAI Conference on Artificial Intelligence, 9
Track:
Extensions of Truth Maintenance
Downloads:
AAAI
Proceedings of the AAAI Conference on Artificial Intelligence, 9