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

Sunna Torge

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

2005
5 Luc De Raedt, Kristian Kersting, Sunna Torge: Towards Learning Stochastic Logic Programs from Proof-Banks. AAAI 2005: 752-757
1999
4EENorbert E. Fuchs, Uta Schwertel, Sunna Torge: Controlled Natural Language Can Replace First-Order Logic. ASE 1999: 295-298
3 François Bry, Sunna Torge: Solving Database Satisfiability Problems. Grundlagen von Datenbanken 1999: 122-126
1998
2 François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. DDLP 1998: 25-36
1EEFrançois Bry, Sunna Torge: A Deduction Method Complete for Refutation and Finite Satisfiability. JELIA 1998: 122-138

Coauthor Index

1François Bry (François Bry-Haußer) [1] [2] [3]
2Norbert Eisinger [2]
3Norbert E. Fuchs [4]
4Kristian Kersting [5]
5Luc De Raedt [5]
6Heribert Schütz [2]
7Uta Schwertel [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)