Informational Logic as a Tool for Automated Reasoning.
Paola ForcheriPaolo GentiliniMaria Teresa MolfinoPublished in: J. Autom. Reason. (1998)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- reasoning tasks
- proof theory
- probabilistic reasoning
- theorem prover
- decision procedures
- automated verification
- logical implication
- knowledge representation and reasoning
- computational complexity
- first order logic
- fuzzy logic
- optimal solution
- artificial intelligence
- data mining
- neural network