Results 251 to 260 of about 1,200,969 (291)

Automated Reasoning in Kleene Algebra

2007
It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. We demonstrate that off-the-shelf automated proof and counterexample search is an interesting alternative if combined with the right domain model.
Höfner, Peter, Struth, G.
openaire   +3 more sources

The Flowering of Automated Reasoning

2005
This article celebrates with obvious joy the role automated reasoning now plays for mathematics and logic. Simultaneously, this article evidences the realization of a dream thought impossible just four decades ago by almost all. But there were believers, including Joerg Siekmann to whom this article is dedicated in honor of his sixtieth birthday ...
openaire   +1 more source

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   +3 more sources

Automated Reasoning with Power Maps

Journal of Automated Reasoning, 2019
In this paper, we employ automated deduction techniques to prove and generalize some well-known theorems in group theory that involve power maps $$ x^n$$. The difficulty lies in the fact that the term $$x^n$$ cannot be expressed in the syntax of first-order logic when n is an integer variable.
G. I. Moghaddam, Ranganathan Padmanabhan, Yang Zhang 0045   +2 more
openaire   +1 more source

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

MILESTONES FOR AUTOMATED REASONING WITH OTTER

International Journal on Artificial Intelligence Tools, 2006
In the beginning (the early 1960s), the long-term goal of automated reasoning (although the field at the time was not known by that name) was the design and implementation of a program whose use would lead to "real" and significant contributions to mathematics by offering sufficient power for the discovery of proofs.
openaire   +1 more source

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

Advanced Engineering Informatics, 2021
Wen Ren, Yuefeng Du
exaly  

Automated Reasoning

2004
Proceedings of IJCAR 2004.
Basin, David, Rusinowitch, Michaël
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

Automated reasoning

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