Marc Fuchs Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs, Dirk Fuchs: Cooperation between Top-Down and Bottom-Up Theorem Provers. CoRR abs/1105.5458 (2011)
2001
j4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs: Relevancy-based use of lemmas in connection tableau calculi. DISKI 227, Infix 2000, isbn 978-3-89838-227-4, pp. 1-239
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs: Controlled Use of Clausal Lemmas in Connection Tableau Calculi. J. Symb. Comput. 29(2): 299-341 (2000)
1999
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dirk Fuchs, Marc Fuchs: Cooperation between Top-Down and Bottom-Up Theorem Provers. J. Artif. Intell. Res. (JAIR) 10: 169-198 (1999)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs, Dirk Fuchs: Abstraction-Based Relevancy Testing for Model Elimination. CADE 1999: 344-358
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs, Dirk Fuchs, Matthias Fuchs: Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO 1999: 1027-1032
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs: Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference. IJCAI 1999: 4-9
1998
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs, Matthias Fuchs: Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. AI Commun. 11(3-4): 175-189 (1998)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs: System Description: Similarity-Based Lemma Generation for Model Elimination. CADE 1998: 33-37
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs, Andreas Wolf: System Description: Cooperation in Model Elimination: CPTHEO. CADE 1998: 42-46
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs: Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration. ECAI 1998: 346-350
1997
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs: Flexible Proof-Replay with Heuristics. EPIA 1997: 1-12
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Fuchs, Matthias Fuchs: Applying Case-Based Reasoning to Automated Deduction. ICCBR 1997: 23-32
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jörg Denzinger, Marc Fuchs, Matthias Fuchs: High Performance ATP Systems by Combining Several AI Methods. IJCAI (1) 1997: 102-107

Coauthor Index

1Jörg Denzinger
[c1]
2Dirk Fuchs
[i1] [j2] [c9] [c8]
3Matthias Fuchs
[c8] [j1] [c2] [c1]
4Ortrun Ibens
[j4]
5Andreas Wolf
[c5]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 04:40:45 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page