About FORRT
About FORRT
Awards
Calendar
Code of Conduct
Community
Contributors
Curriculum Vitae
Feedback
Get Involved
Mission & Advocacy
Partners
Principles
Talks
Teams
Newsletters
Educational NEXUS
About Educational Nexus
Adopting Principled Education
Clusters
Curated Resources
Educators' Corner
Equity in Open Science
Glossary
Impact of O&R on students
Initiatives Towards Social Justice
Lesson Plans
Neurodiversity
Pedagogies
Self-Assessment
Summaries
Syllabus
Replication Hub
About Replication Hub
FReD Explorer
FReD Annotator
Replications & Reversals
Positive Changes from the Replication Crisis
Publications
🚀 Get involved!
Reliability
Establishing trust in automated reasoning
Since its beginnings in the 1940s, automated reasoning by computers has become a tool of ever growing importance in scientific research.So far, the rules underlying automated reasoning have mainly beenformulated by humans, in the form of program …
Cite
×