Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans.

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