Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style.

Koji Mineshima Mitsuhiro Okada Ryo Takemura

Published in: Diagrams (2010)

Keyphrases

natural deduction
artificial intelligence
expert systems
management system
neural network
distributed systems
computer systems
inference mechanism
intuitionistic logic