Decidability Results in First-Order Epistemic Planning.

Andrés Occhipinti Liberman Rasmus Kræmmer Rendsvig

Published in: IJCAI (2020)

Keyphrases

decision theoretic
higher order
description logics
query answering
first order logic
data sets
neural network
decision making
expert systems
search space
mobile robot
decision support
domain independent
goal oriented
decision procedures