A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions.

Andrzej Indrzejczak Nils Kürbis

Published in: TABLEAUX (2023)

Keyphrases

high level
theoretical framework
database
machine learning
artificial intelligence
website
decision trees
computational model
theoretical basis