 | 2001 |
|---|
| 13 |       | Ortrun Ibens,
Marc Fuchs:
An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints.
International Journal on Artificial Intelligence Tools 10(1-2): 181-198 (2001) |
| 2000 |
|---|
| 12 | | Marc Fuchs:
Controlled Use of Clausal Lemmas in Connection Tableau Calculi.
J. Symb. Comput. 29(2): 299-341 (2000) |
| 1999 |
|---|
| 11 |  | Marc Fuchs,
Dirk Fuchs:
Abstraction-Based Relevancy Testing for Model Elimination.
CADE 1999: 344-358 |
| 10 | | Marc Fuchs,
Dirk Fuchs,
Matthias Fuchs:
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming.
GECCO 1999: 1027-1032 |
| 9 | | Marc Fuchs:
Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference.
IJCAI 1999: 4-9 |
| 8 | | Dirk Fuchs,
Marc Fuchs:
Cooperation between Top-Down and Bottom-Up Theorem Provers.
J. Artif. Intell. Res. (JAIR) 10: 169-198 (1999) |
| 1998 |
|---|
| 7 | | Marc Fuchs:
System Description: Similarity-Based Lemma Generation for Model Elimination.
CADE 1998: 33-37 |
| 6 | | Marc Fuchs,
Andreas Wolf:
System Description: Cooperation in Model Elimination: CPTHEO.
CADE 1998: 42-46 |
| 5 | | Marc Fuchs:
Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration.
ECAI 1998: 346-350 |
| 4 | | Marc Fuchs,
Matthias Fuchs:
Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving.
AI Commun. 11(3-4): 175-189 (1998) |
| 1997 |
|---|
| 3 | | Marc Fuchs:
Flexible Proof-Replay with Heuristics.
EPIA 1997: 1-12 |
| 2 | | Marc Fuchs,
Matthias Fuchs:
Applying Case-Based Reasoning to Automated Deduction.
ICCBR 1997: 23-32 |
| 1 | | Jörg Denzinger,
Marc Fuchs,
Matthias Fuchs:
High Performance ATP Systems by Combining Several AI Methods.
IJCAI (1) 1997: 102-107 |
