Neural Theorem Provers Do Not Learn Rules Without Exploration

Jun-23-2019, 06:02:23 GMT–#artificialintelligence

[no summary]

artificial intelligence, logic & formal reasoning, logic programming

#artificialintelligence

Jun-23-2019, 06:02:23 GMT

Genre:
- Research Report (0.40)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.85)