Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marc Fuchs
2010 – today
- 2011
[i1]Marc Fuchs, Dirk Fuchs: Cooperation between Top-Down and Bottom-Up Theorem Provers. CoRR abs/1105.5458 (2011)
2000 – 2009
- 2001
- [j4]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
- [b1]Marc Fuchs: Relevancy-based use of lemmas in connection tableau calculi. DISKI 227, Infix 2000, ISBN 978-3-89838-227-4, pp. 1-239
- [j3]Marc Fuchs: Controlled Use of Clausal Lemmas in Connection Tableau Calculi. J. Symb. Comput. 29(2): 299-341 (2000)
1990 – 1999
- 1999
- [j2]Dirk Fuchs, Marc Fuchs: Cooperation between Top-Down and Bottom-Up Theorem Provers. J. Artif. Intell. Res. (JAIR) 10: 169-198 (1999)
- [c9]Marc Fuchs, Dirk Fuchs: Abstraction-Based Relevancy Testing for Model Elimination. CADE 1999: 344-358
- [c8]Marc Fuchs, Dirk Fuchs, Matthias Fuchs: Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO 1999: 1027-1032
- [c7]Marc Fuchs: Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference. IJCAI 1999: 4-9
- 1998
- [j1]Marc Fuchs, Matthias Fuchs: Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. AI Commun. 11(3-4): 175-189 (1998)
- [c6]Marc Fuchs: System Description: Similarity-Based Lemma Generation for Model Elimination. CADE 1998: 33-37
- [c5]Marc Fuchs, Andreas Wolf: System Description: Cooperation in Model Elimination: CPTHEO. CADE 1998: 42-46
- [c4]Marc Fuchs: Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration. ECAI 1998: 346-350
- 1997
- [c3]
- [c2]
- [c1]Jörg Denzinger, Marc Fuchs, Matthias Fuchs: High Performance ATP Systems by Combining Several AI Methods. IJCAI (1) 1997: 102-107
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:22 CEST by the dblp team