The Logic of Creativity.

Margaret A. Boden

Published in: ILPS (1993)

Keyphrases

modal logic
logic programming
multi valued
classical logic
digital circuits
sound and complete axiomatization
knowledge base
search algorithm
design process
default reasoning
automated reasoning
defeasible logic