Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE.

Louwe B. Kuijer

Published in: TARK (2017)

Keyphrases

knowledge base
domain knowledge
knowledge management
knowledge extraction
knowledge representation
information retrieval
learning systems
data model
expert systems
knowledge discovery
domain specific
knowledge acquisition
design process
database systems
modal operators
reasoning engine
deductive reasoning