Marta Franová

17 papers A* 2A 3B 1C 3Unranked 7
YearRankTypeTitle / Venue / Authors
2010 — ch.
Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the 'Assets' in Theorem Proving.
Advances in Machine Learning II
Marta Franová, Yves Kodratoff
2009 — conf
La "créativité calculatoire" et les heuristiques créatives en synthèse de prédicats multiples.
EGC
Marta Franová, Yves Kodratoff
2009 C conf
On Computational Creativity, 'Inventing' Theorem Proofs.
ISMIS
Marta Franová, Yves Kodratoff
1996 C conf
Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving.
ISMIS
Marta Franová
1993 C conf
Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?
ISMIS
Marta Franová, Yves Kodratoff, Martine Gross
1992 A conf
Predicate Synthesis from Formal Specifications.
ECAI
Marta Franová, Yves Kodratoff
1991 — conf
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems.
Nonmonotonic and Inductive Logic
Marta Franová, Yves Kodratoff
1991 A* conf
Solving "How to Clear a Block" with Constructive Matching Methodology.
IJCAI
Marta Franová, Yves Kodratoff
1990 — conf
Constructive Matching - Explanation Based Methodology for Inductive Theorem Proving.
IMYCS
Marta Franová
1990 — conf
Logic Programming and Program Synthesis.
ICSI
Yves Kodratoff, Marta Franová, Derek Partridge
1990 B conf
PRECOMAS an Implementation of Constructive Matching Methodology.
ISSAC
Marta Franová
1989 — conf
Why and How Program Synthesis?
AII
Yves Kodratoff, Marta Franová, Derek Partridge
1988 A conf
An Implementation of Program Synthesis from Formal Specifications: PRECOMAS.
ECAI
Marta Franová
1988 A conf
Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae.
ECAI
Marta Franová
1986 — conf
Proving Theorems by Construction of Valid Formulae.
IFIP Congress
Marta Franová
1985 — conf
A Methodology for Automatic Programming Based on the Constructive Matching Strategy.
European Conference on Computer Algebra (2)
Marta Franová
1985 A* conf
CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs.
IJCAI
Marta Franová