Travelled to:1 × Australia
1 × Germany
2 × USA
Collaborated with:∅ D.Fuchs J.Avenhaus J.Denzinger
Talks about:heurist (2) experi (2) proof (2) distribut (1) discount (1) problem (1) paramet (1) condens (1) prover (1) detach (1)
Person: Matthias Fuchs
DBLP: Fuchs:Matthias
Contributed to:
19971996
1995
1995Wrote 5 papers:
- CADE-1997-Fuchs #combinator #evolution
- Evolving Combinators (MF), pp. 416–430.
- CADE-1997-FuchsF #named #problem #proving
- CODE: A Powerful Prover for Problems of Condensed Detachment (DF, MF), pp. 260–263.
- CADE-1996-Fuchs #experience #heuristic #proving #using
- Experiments in the Heuristic Use of Past Proof Experience (MF), pp. 523–537.
- ICML-1995-Fuchs #adaptation #heuristic #learning #parametricity #proving
- Learning Proof Heuristics by Adaptive Parameters (MF), pp. 235–243.
- RTA-1995-AvenhausDF #deduction #distributed #equation #named
- DISCOUNT: A SYstem for Distributed Equational Deduction (JA, JD, MF), pp. 397–402.