Decidability and Complexity of Some Finitely-valued Dynamic Logics.

Published in: KR (2021)

Keyphrases

worst case
knowledge base
computational complexity
special case
description logics
expressive power
decision problems
valued semantics
database
nonmonotonic logics
decision procedures
dynamically changing
finite number
dynamic environments
mobile robot
information systems
search engine
artificial intelligence