共 50 条
- [32] An analytical framework for reasoning about intrusions 20TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2001, : 99 - 108
- [33] Reasoning about Solids Using Constraint Logic Programming Journal of Automated Reasoning, 1999, 22 : 241 - 262
- [34] A General Framework for Reasoning about Inconsistency 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 599 - 604
- [35] A FRAMEWORK FOR REASONING ABOUT TIME AND RELIABILITY REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 102 - 111
- [36] Reasoning about agents in the KARO framework EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 206 - 213
- [38] Certainty closure - A framework for reliable constraint reasoning with uncertainty PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 769 - 783
- [39] A framework for dynamic constraint reasoning using procedural constraints ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 93 - 97