共 50 条
[31]
Argument Schemes for Reasoning About the Actions of Others
[J].
COMPUTATIONAL MODELS OF ARGUMENT,
2016, 287
:71-82
[32]
Pre-orders for Reasoning about Stability
[J].
HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL,
2012,
:197-206
[33]
Reasoning About Smart Contracts Encoded in LTL
[J].
AIXIA 2021 - ADVANCES IN ARTIFICIAL INTELLIGENCE,
2022, 13196
:123-136
[34]
A tools environment for developing and reasoning about ontologies
[J].
12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS,
2005,
:465-472
[35]
A meta-analytic review of thinking about what is true, possible, and irrelevant in reasoning from or reasoning about conditional propositions
[J].
EUROPEAN JOURNAL OF COGNITIVE PSYCHOLOGY,
2010, 22 (06)
:897-921
[37]
A Correctness Criterion for Schema Dominance Centred on the Notion of 'Information Carrying'
[J].
CEA'09: PROCEEDINGS OF THE 3RD WSEAS INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND APPLICATIONS,
2009,
:110-+
[38]
Ontological interpretation of biomedical database content
[J].
JOURNAL OF BIOMEDICAL SEMANTICS,
2017, 8
[39]
Ontological interpretation of biomedical database content
[J].
Journal of Biomedical Semantics,
8