dblp.uni-trier.dewww.uni-trier.de

Marc Fuchs Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
11EEMarc 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
8EEDirk Fuchs, Marc Fuchs: Cooperation between Top-Down and Bottom-Up Theorem Provers. J. Artif. Intell. Res. (JAIR) 10: 169-198 (1999)
1998
7EEMarc Fuchs: System Description: Similarity-Based Lemma Generation for Model Elimination. CADE 1998: 33-37
6EEMarc 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

Coauthor Index

1Jörg Denzinger [1]
2Dirk Fuchs [8] [10] [11]
3Matthias Fuchs [1] [2] [4] [10]
4Ortrun Ibens [13]
5Andreas Wolf [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)