Results 271 to 280 of about 1,200,969 (291)

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
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, Hongbiao Gao
exaly  

Methods of Automated Reasoning

1987
openaire   +2 more sources

Automated Reasoning

2018
Jeff Z. Pan, Jianfeng Du
openaire   +1 more source

Automation of Reasoning

1983
openaire   +2 more sources

Implementing an automated reasoning system for multi-agent knowledge and time

Lecture Notes in Computer Science, 2005
Lifeng He, Hirohisa Seki
exaly  

What is Automated Reasoning?

2000
openaire   +2 more sources

The impossibility of the automation of logical reasoning

1992
openaire   +2 more sources

Automated reasoning on UML conceptual schemas with derived information and queries

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

Distributed automated reasoning: issues in coordination, cooperation, and performance

IEEE Transactions on Systems, Man, and Cybernetics, 1991
exaly