Results 311 to 320 of about 1,501,850 (327)
Some of the next articles are maybe not open access.
The Flowering of Automated Reasoning
2005This article celebrates with obvious joy the role automated reasoning now plays for mathematics and logic. Simultaneously, this article evidences the realization of a dream thought impossible just four decades ago by almost all. But there were believers, including Joerg Siekmann to whom this article is dedicated in honor of his sixtieth birthday ...
openaire +2 more sources
arXiv.org
Generating accurate step-by-step reasoning is essential for Large Language Models (LLMs) to address complex problems and enhance robustness and interpretability.
Shibo Hao +11 more
semanticscholar +1 more source
Generating accurate step-by-step reasoning is essential for Large Language Models (LLMs) to address complex problems and enhance robustness and interpretability.
Shibo Hao +11 more
semanticscholar +1 more source
Automated Reasoning Building Blocks
2015There are automated reasoning building blocks shared between the prime calculi for propositional and first-order logic with equality, conflict driven clause learning (CDCL) and superposition, respectively. In this paper I identify these building blocks by a projection of superposition to propositional logic.
openaire +2 more sources
Vadalog: A modern architecture for automated reasoning with large knowledge graphs
Information Systems, 2020Luigi Bellomarini +3 more
semanticscholar +1 more source
Methods of automated reasoning
1986This chapter introduces into various aspects and methods of the formalization and automation of processes involved in performing inferences. It views automated inferencing as a machine-oriented simulation of human reasoning. In this sense classical deductive methods for first-order logic like resolution and the connection method are introduced as a ...
openaire +2 more sources
Automated reasoning and randomization in separation logic
, 2020Christoph Matheja
semanticscholar +1 more source
GraphScape: A Model for Automated Reasoning about Visualization Similarity and Sequencing
International Conference on Human Factors in Computing Systems, 2017Younghoon Kim +3 more
semanticscholar +1 more source
Towards Dependable and Explainable Machine Learning Using Automated Reasoning
IEEE International Conference on Formal Engineering Methods, 2018Hadrien Bride +3 more
semanticscholar +1 more source