From Rough Consensus to Automated Reasoning.

Zied Ben-Houidi

Published in: CoRR (2015)

Keyphrases

automated reasoning
reasoning systems
knowledge representation
probabilistic reasoning
rough sets
theorem proving
theorem prover
reasoning tasks
decision procedures
propositional satisfiability
neural network
knowledge representation and reasoning
automated verification
software engineering
supervised learning