共 50 条
- [3] A General Framework for Reasoning about Inconsistency 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 599 - 604
- [4] Towards a General Framework for Formal Reasoning about Java']Java Bytecode Transformation ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (122): : 63 - 73
- [7] Historical Reasoning: Towards a Framework for Analyzing Students’ Reasoning about the Past Educational Psychology Review, 2008, 20 : 87 - 110
- [9] Towards A Meta-reasoning Framework for Reasoning about Vagueness in OWL Ontologies 2016 IEEE TENTH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2016, : 221 - 228