Truths, Inductive Definitions, and Kripke-Platek Systems over Set Theory.

Kentaro Fujimoto

Published in: J. Symb. Log. (2018)

Keyphrases

set theory
partial order
information retrieval
artificial intelligence
co occurrence
real time
decision making
knowledge base
expert systems
knowledge representation
multi dimensional
mathematical morphology
inference rules