| 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 |
