C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans.
Yanjun Li
Published in:
CLAR (2021)
Keyphrases
</>
proof procedure
decision making
description logics
modal logic
tableau calculus
neural network
decision makers
databases
case study
plan recognition
proof theory
proof search