Automated reasoning in normative detachment structures with ideal conditions.
Tomer LibalMatteo PascucciPublished in: ICAIL (2019)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- reasoning tasks
- theorem prover
- probabilistic reasoning
- decision procedures
- knowledge representation and reasoning
- sufficient conditions
- automated verification
- multi agent systems
- propositional satisfiability
- knowledge base
- training set
- search algorithm
- learning algorithm
- neural network