Betwixt Turing and Kleene.

Dag Normann Sam Sanders

Published in: CoRR (2021)

Keyphrases

propositional logic
regular expressions
machine intelligence
turing machine
pattern matching
artificial intelligence
database systems
machine learning
computational intelligence
decision making
domain knowledge
knowledge representation
expert systems
relational databases
first order logic