The Logic of Knights, Knaves, Normals and Mutes.

László Aszalós

Published in: Acta Cybern. (2000)

Keyphrases

classical logic
logic programming
data sets
modal logic
asynchronous circuits
decision trees
three dimensional
neural network
database
predicate logic
artificial intelligence
information systems
learning algorithm
photometric stereo
automated reasoning
logical framework
defeasible logic
nonmonotonic logics