On formalisms for Turing machines

Patrick C. Fischer

Published in: SWCT (1964)

Keyphrases

turing machine
logic programming
nonmonotonic reasoning
knowledge representation
knowledge representation formalisms
databases
feature selection
multi agent systems
preprocessing
expert systems
artificial neural networks
special case
action theories