A Constructive Examination of a Russell-Style Ramified Type Theory.

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

Keyphrases

theoretical basis
database
real time
computational model
theoretical framework
formal theory
genetic algorithm
artificial intelligence
decision making
multi agent systems
preprocessing
relational databases
theoretical foundation
type checking