Marta Franová

Publication Activity (10 Years)

Years Active: 1985-2009
Publications (10 Years): 0

Publications

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