Results 201 to 210 of about 33,057 (217)

GEAR: A General Inference Engine for Automated MultiStrategy Reasoning

Electronics (Switzerland), 2023
Stefano Ferilli, Ferilli Stefano
exaly  

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

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

Larry Wos: Visions of Automated Reasoning

Journal of Automated Reasoning, 2022
Michael Beeson, Maria Paola Bonacina, Michael Kinyon   +2 more
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, Zhang Jiansong   +2 more
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, Luis Moniz Pereira, Coelho Helder   +2 more
exaly  

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

Journal of Automated Reasoning, 1986
L Wöß, Wöß L
exaly  

Preface: The field of automated reasoning

Computers and Mathematics With Applications, 1995
Larry Wöß
exaly  

Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski’s Geometry

Lecture Notes in Electrical Engineering, 2016
Hongbiao Gao, Jingde Cheng, Gao Hongbiao   +2 more
exaly  

Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Graph Theory

Lecture Notes in Electrical Engineering, 2015
Hongbiao Gao, Yuichi Gotō, Jingde Cheng   +2 more
exaly