Login / Signup
Extended Goal Recognition Design with First-Order Computation Tree Logic.
Tsz-Chiu Au
Published in:
AAAI (2022)
Keyphrases
</>
computation tree logic
knowledge based systems
knowledge base
cooperative
logic programs