| 2009 |
|---|
| 10 | Search for More Declarativity. Simon Brodt, François Bry, Norbert Eisinger. RR 2009, 71-86. Web SearchBibTeXDownload |
| 2007 |
|---|
| 9 | Foundations of Rule-Based Query Answering. François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei. Reasoning Web 2007, 1-153. Web SearchBibTeXDownload |
| 2003 |
|---|
| 8 | Web Services for Teaching: A Case Study. François Bry, Norbert Eisinger, Georg Schneemayer. ICWS 2003, 402-408. Web SearchBibTeX |
| 1998 |
|---|
| 7 | SIC: Satisfiability Checking for Integrity Constraints. François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge. DDLP 1998, 25-36. Web SearchBibTeX |
| 1995 |
|---|
| 6 | The theorem prover SATCHMO : strategies, heuristics and applications. Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler. JFPLC 1995, 349. Web SearchBibTeX |
| 1991 |
|---|
| 5 | Reduction Rules for Resolution-Based Systems. Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein. Artif. Intell. (50): 141-181 (1991). Web SearchBibTeXDownload |
| 1986 |
|---|
| 4 | The Markgraf Karl Refutation Procedure (MKRP). Norbert Eisinger, Hans Jürgen Ohlbach. CADE 1986, 681-682. Web SearchBibTeXDownload |
| 1982 |
|---|
| 3 | Logic Programming: A Parallel Approach. Norbert Eisinger, Simon Kasif, Jack Minker. ICLP 1982, 71-77. Web SearchBibTeX |
| 1981 |
|---|
| 2 | The Markgraf Karl Refutation Procedure. Hans Jürgen Ohlbach, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther. IJCAI 1981, 511-518. Web SearchBibTeX |
| 1978 |
|---|
| 1 | Paramodulated Connection Graphs. Jörg H. Siekmann, Jörg H. Siekmann, Graham Wrightson. AISB/GI (ECAI) 1978, 105-109. Web SearchBibTeX |
