A Logic MiniTrainer.

Allan G. Bromley

Published in: J. Res. Pract. Inf. Technol. (2001)

Keyphrases

logic programming
defeasible logic
automated reasoning
modal logic
classical logic
proof theory
sound and complete axiomatization
neural network
decision making
web services
case study
nonmonotonic reasoning
formal theory
asynchronous circuits