Login / Signup
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy.
Christoph Benzmüller
Sebastian Reiche
Published in:
J. Log. Comput. (2023)
Keyphrases
</>
knowledge base
knowledge acquisition
prior knowledge
knowledge discovery
domain experts
domain knowledge
higher level
design process
raw data
database
learning algorithm
artificial intelligence
search algorithm
expert systems
knowledge management
human experts