共 50 条
- [42] Equational reasoning via partial reflection THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 162 - 178
- [43] Defeasible reasoning and partial order planning FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2008, 4932 : 311 - 328
- [44] TERMINOLOGICAL REASONING AND PARTIAL INDUCTIVE DEFINITIONS LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 221 - 237
- [46] Research on the Security of Visual Reasoning CAPTCHA PROCEEDINGS OF THE 30TH USENIX SECURITY SYMPOSIUM, 2021, : 3291 - 3308
- [47] A TEACHING EXPERIMENT TO ORIENT VISUAL REASONING PROCEEDINGS OF THE 35TH CONFERENCE OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL. 1: DEVELOPING MATHEMATICAL THINKING, 2011, : 381 - 381
- [48] A visual language for Web querying and reasoning PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, 2003, 2901 : 99 - 112
- [49] Object Level Visual Reasoning in Videos COMPUTER VISION - ECCV 2018, PT XIII, 2018, 11217 : 106 - 122