| |
| 2005 | ||
|---|---|---|
| 5 | Luc De Raedt, Kristian Kersting, Sunna Torge: Towards Learning Stochastic Logic Programs from Proof-Banks. AAAI 2005: 752-757 | |
| 1999 | ||
| 4 | EE | Norbert 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 | |
| 1 | EE | François Bry, Sunna Torge: A Deduction Method Complete for Refutation and Finite Satisfiability. JELIA 1998: 122-138 |
| 1 | François Bry (François Bry-Haußer) | [1] [2] [3] |
| 2 | Norbert Eisinger | [2] |
| 3 | Norbert E. Fuchs | [4] |
| 4 | Kristian Kersting | [5] |
| 5 | Luc De Raedt | [5] |
| 6 | Heribert Schütz | [2] |
| 7 | Uta Schwertel | [4] |