Results 261 to 270 of about 1,200,969 (291)

GEAR: A General Inference Engine for Automated MultiStrategy Reasoning

Electronics, 2023
Stefano Ferilli
exaly  

Automated Reasoning

The American Mathematical Monthly, 1985
openaire   +1 more source

Learning to Reason Assisted by Automated Reasoning

2022
openaire   +2 more sources

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability

Knowledge-Based Systems, 2023
Guanfeng Wu, Shuwei Chen
exaly  

Semantic-Based Logic Representation and Reasoning for Automated Regulatory Compliance Checking

Journal of Computing in Civil Engineering, 2017
Jiansong Zhang, Nora M El-Gohary
exaly  

Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking

Automation in Construction, 2017
Jiansong Zhang, Nora M El-Gohary
exaly  

Automated reasoning in geometry theorem proving with Prolog

Journal of Automated Reasoning, 1986
Helder Coelho, Luís Moniz Pereira
exaly  

Job-shop scheduling using automated reasoning: A case study of the car-sequencing problem

Journal of Automated Reasoning, 1986
L Wöß
exaly  

Informational Logic as a Tool for Automated Reasoning

Journal of Automated Reasoning, 1998
Paolo Gentilini, Paola Forcheri
exaly  

Preface: The field of automated reasoning

Computers and Mathematics With Applications, 1995
Larry Wos
exaly