2015

Fürnkranz, Johannes ; Kliegr, Tomás
Hrsg.: Bassiliades, Nick ; Gottlob, Georg ; Sadri, Fariba ; Paschke, Adrian ; Roman, Dumitru (2015)
A Brief Overview of Rule Learning.
Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings. Berlin, Germany
Konferenzveröffentlichung, Bibliographie

1997

Pape, Christian ; Hähnle, Reiner
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1997)
Restart Tableaux with Selection Function.
Konferenzveröffentlichung, Bibliographie

1993

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H.
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings.
doi: 10.1007/BFb0022559
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The even more liberalized delta-rule in free variable semantic tableaux.
Konferenzveröffentlichung, Bibliographie