The Definable (P, Q)-Theorem for distal Theories.

Gareth Boxall Charlotte Kestner

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

Keyphrases

action theories
theoretical framework
first order logic
situation calculus
cognitive psychology
von neumann
real time
neural network
real world
data mining
case study
knowledge representation
rough sets
medical images
information processing
x ray images