Results 151 to 160 of about 271,070 (187)

CONTEXTUAL REWRITING IN AUTOMATED REASONING

Fundamenta Informaticae, 1995
Contextual rewriting as a generalization of conditional rewriting has been found in different forms in the papers whose major subject is not contextual rewriting. Here, we put the scattered information together and give it a systematic study.
openaire   +2 more sources

Automated Reasoning Repair

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022
Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok   +2 more
openaire   +1 more source

Automated Reasoning

2004
Proceedings of IJCAR 2004.
Basin, David, Rusinowitch, Michaël
openaire   +1 more source

Automated reasoning

Mathematics and Computers in Simulation, 1992
D.P. Murphy, C.J. Merz
openaire   +2 more sources

GEAR: A General Inference Engine for Automated MultiStrategy Reasoning

Electronics (Switzerland), 2023
Stefano Ferilli
exaly  

Automated Reasoning

The American Mathematical Monthly, 1985
openaire   +1 more source

Knowledge Representation and Automated Reasoning

1987
In this paper we present some leading activities in Artificial Intelligence at the IBM Paris Scientific Center.
openaire   +1 more source

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

Knowledge-Based Systems, 2023
Peiyao Liu, Shuwei Chen, Jun Liu
exaly  

A Short Survey of Automated Reasoning

2007
This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize the points of contact and the contrasts with computer algebra. We finish with a discussion of the main applications so far.
openaire   +1 more source

Learning to Reason Assisted by Automated Reasoning

2022
openaire   +1 more source