Automated Reasoning in Normative Detachment Structures with Ideal Conditions.
Tomer LibalMatteo PascucciPublished in: CoRR (2018)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- decision procedures
- theorem prover
- reasoning tasks
- theorem proving
- probabilistic reasoning
- knowledge representation and reasoning
- sufficient conditions
- propositional satisfiability
- multi agent systems
- computational complexity
- knowledge base
- learning algorithm
- data mining
- neural network