Informational Logic for Automated Reasoning.

Paola Forcheri Paolo Gentilini Maria Teresa Molfino

Published in: JELIA (1996)

Keyphrases

automated reasoning
knowledge representation
reasoning systems
proof theory
theorem proving
reasoning tasks
theorem prover
probabilistic reasoning
decision procedures
automated verification
logical implication
knowledge representation and reasoning
neural network
np hard
fuzzy logic