Nonstandard Logic.

James R. Geiser

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

Keyphrases

modal logic
real time
machine learning
logic programming
databases
multi valued
probabilistic logic
logical framework
asynchronous circuits
knowledge base
logic programs
default reasoning
abductive reasoning
proof theory