共 50 条
- [41] Qualitative knowledge to support reasoning about cases [J]. CASE-BASED REASONING RESEARCH AND DEVELOPMENT, 1997, 1266 : 489 - 498
- [42] Commonsense reasoning about the physical world [J]. STUDIES IN SCIENCE EDUCATION, 2008, 44 (02) : 123 - 155
- [43] Reasoning about quantum systems [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 239 - 251
- [44] REASONING ABOUT CONTINUOUS SYSTEMS [J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 117 - 132
- [45] Reasoning about interactive systems [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1460 - 1476
- [46] Reasoning about Normative Systems [J]. LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2010, 223 : 3 - 3
- [47] REASONING ABOUT INTERACTIVE SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 272 - 276
- [48] REASONING ABOUT NAMING SYSTEMS [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 795 - 825
- [49] Reasoning about Ecological Systems [J]. PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 1661 - 1661
- [50] Reasoning about linear systems [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 123 - +