Parsing Electronic Circuits in a Logic Grammar
IEEE Transactions on Knowledge and Data Engineering
A qualitative reasoning approach to mathematical and heuristic knowledge integration
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Specification criticism via goal-directed envisionment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A selected descriptor-indexed bibliography to the literature on belief revision
ACM SIGART Bulletin
Reasoning about structure, behavior and function
ACM SIGART Bulletin
Directions for AI in the eighties
ACM SIGART Bulletin
Measurement interpretation in qualitative process theory
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Qualitative kinematics: a framework
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The limits of qualitative simulation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A fault detection and isolation method applied to liquid oxygen loading for the space Shuttle
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Deriving Electrical Dependencies from Circuit Topologies Using Logic Grammar
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part II
Extending the mathematics in qualitative process theory
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Extracting qualitative dynamics from numerical experiments
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
An investigation into reactive planning in complex domains
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Extracting qualitative dynamics from numerical experiments
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A simulation-based tutor that reasons about multiple agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |