Questions tagged [automated-reasoning]

For questions about Automated Reasoning concepts and research topics. Automated Reasoning is a sub-field of Artificial Intelligence concerned with the development of computer programs which can reason completely, or nearly completely, automatically.

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
1
vote
0answers
87 views

What are state of the art backward chaining packages in Python?

What are state of the art backward chaining packages/tools/github algorithms in Python? It would be nice if you could also comment on the strengths and weaknesses of each solution !
1
vote
0answers
88 views

What is the difference between Knowledge Representation and Automated Reasoning?

Knowledge Representation and Automated Reasoning are two AI subfields which seem to have something to do with reasoning. However, I can't find any information online about their relationship. Are ...