On a modal system of D. C. Makinson and B. Sobociński.

George F. Schumm

Published in: Notre Dame J. Formal Log. (1969)

Keyphrases

van der
modal logic
nonmonotonic reasoning
nonmonotonic inference
nonmonotonic logics
search algorithm
data sets
neural network
artificial intelligence
high level
face recognition
cooperative
viewpoint
temporal logic