共 50 条
- [21] Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 611 - 638
- [23] Towards A Meta-reasoning Framework for Reasoning about Vagueness in OWL Ontologies 2016 IEEE TENTH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2016, : 221 - 228
- [24] New Framework for Fuzzy Logic Reasoning: A Robust Control Theoretic Approach International Journal of Fuzzy Systems, 2024, 26 : 463 - 481
- [26] A unified framework for autonomous navigation of marine vehicles using fuzzy logic 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS I, 2002, : 109 - 114
- [27] RGITL: A temporal logic framework for compositional reasoning about interleaved programs Annals of Mathematics and Artificial Intelligence, 2014, 71 : 131 - 174
- [29] Towards a General Framework for Dialogues That Accommodate Reasoning About Preferences THEORY AND APPLICATIONS OF FORMAL ARGUMENTATION, TAFA 2017, 2018, 10757 : 175 - 191
- [30] Neuro-fuzzy logic for parts-based reasoning about complex scenes in remotely sensed data SIGNAL PROCESSING, SENSOR/INFORMATION FUSION, AND TARGET RECOGNITION XXIX, 2020, 11423