Results 191 to 200 of about 38,933 (219)
Some of the next articles are maybe not open access.
An Automated Theorem Proving Framework for Information-Theoretic Results
IEEE Transactions on Information Theory, 2023Cheuk Ting Li
exaly
Automated Theorem Proving with Disjunctive Constraints
1999Automated theorem proving (ATP) is an important research area in artificial intelligence. The objective of an ATP system is to find out whether or not a query (or goal) is a logical consequence of a set of axioms (the query and the axioms have to be formally specified, for example in first-order clause logic).
openaire +1 more source
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Foundations and Trends in Machine Learning, 2021exaly
Automated Theorem Proving and Machine Learning
In this thesis, we present a framework for Automated Theorem Proving called plCoP, which builds on theleanCoP system and adds machine learning-guided Monte Carlo TreeSearch.openaire +1 more source
Automated reasoning in geometry theorem proving with Prolog
Journal of Automated Reasoning, 1986Helder Coelho, Luis Moniz Pereira
exaly
Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence, 2007Viorica Sofronie-Stokkermans
exaly