Results 161 to 170 of about 271,070 (187)

A parameter-extended case-based reasoning method based on a functional basis for automated experiential reasoning in mechanical product designs

Advanced Engineering Informatics, 2021
exaly  

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

Journal of Computing in Civil Engineering, 2017
Jiansong Zhang
exaly  

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

Automation in Construction, 2017
Jiansong Zhang
exaly  

Automated reasoning in geometry theorem proving with Prolog

Journal of Automated Reasoning, 1986
Helder Coelho, Luis Moniz Pereira
exaly  

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

Lecture Notes in Electrical Engineering, 2015
Yuichi Goto
exaly  

What is Automated Reasoning?

2000
openaire   +1 more source

Automated reasoning on UML conceptual schemas with derived information and queries

Information and Software Technology, 2013
Carles Farré, Anna Queralt, Ernest Teniente   +2 more
exaly  

Automation of Reasoning

1983
openaire   +2 more sources

Methods of Automated Reasoning

1987
openaire   +1 more source

Automated Reasoning

2010
Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger   +5 more
openaire   +1 more source