Norbert Eisinger

2007
23	EE	François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei: Foundations of Rule-Based Query Answering. Reasoning Web 2007: 1-153
2005
22		Norbert Eisinger, Jan Maluszynski: Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures Springer 2005
2003
21		François Bry, Norbert Eisinger, Georg Schneemayer: Web Services for Teaching: A Case Study. ICWS 2003: 402-408
2000
20		Peter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. Intellectics and Computational Logic 2000: 3-26
1999
19	EE	Peter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. CADE 1999: 329-343
1998
18		François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. DDLP 1998: 25-36
1997
17		Mathias Kettner, Norbert Eisinger: The Tableau Browser SNARKS. CADE 1997: 408-411
16		Mathias Kettner, Norbert Eisinger: SNARKS: A Browser for Tableaux Derivations. LPE 1997: 57-59
15		Norbert Eisinger, Tim Geisler, Sven Panne: Logic Implemented Functionally. PLILP 1997: 351-368
14		Mathias Kettner, Norbert Eisinger: Der Tableau-Browser SNARKS (system description). WLP 1997: 0-
1995
13		Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler: The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC 1995: 349-
1992
12		Siegfried Bocionek, Norbert Eisinger, Gunnar Teege: 4. Internationaler GI-Kongreß Wissensbasierte Systeme. KI 6(1): 40-42 (1992)
1991
11		Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein: Reduction Rules for Resolution-Based Systems. Artif. Intell. 50(2): 141-181 (1991)
1989
10		Norbert Eisinger: A Note on the Completeness of Resolution with Self-Resolution. Inf. Process. Lett. 31(6): 323-326 (1989)
1986
9		Norbert Eisinger: What You Always Wanted to Know About Clause Graph Resolution. CADE 1986: 316-336
8		Norbert Eisinger, Hans Jürgen Ohlbach: The Markgraf Karl Refutation Procedure (MKRP). CADE 1986: 681-682
1983
7		Norbert Eisinger, M. Weigele: A Technical Note on Splitting and Clausal Normal Form Algorithms. GWAI 1983: 225-232
1982
6		Norbert Eisinger, Simon Kasif, Jack Minker: Logic Programming: A Parallel Approach. ICLP 1982: 71-77
1981
5		Norbert Eisinger: Subsumption and Connectionsgraphs. GWAI 1981: 188-198
4		Norbert Eisinger: Subsumption And Connection Graphs. IJCAI 1981: 480-486
3		Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther: The Markgraf Karl Refutation Procedure. IJCAI 1981: 511-518
1980
2		Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther: Das Karlsruher Beweissystem. GI Jahrestagung 1980: 400-412
1978
1		Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson: Paramodulated Connection Graphs. AISB/GI (ECAI) 1978: 105-109

Coauthor Index

1	Slim Abdennadher	[13]
2	Peter Baumgartner	[19] [20]
3	Karl-Hans Bläsius	[3]
4	Siegfried Bocionek	[12]
5	François Bry (François Bry-Haußer)	[13] [18] [21] [23]
6	Thomas Eiter	[23]
7	Ulrich Furbach	[19] [20]
8	Tim Furche	[23]
9	Tim Geisler	[13] [15]
10	Georg Gottlob	[23]
11	Alexander Herold	[3]
12	Simon Kasif	[6]
13	Mathias Kettner	[14] [16] [17]
14	Clemens Ley	[23]
15	Benedikt Linse	[23]
16	Jan Maluszynski	[22]
17	Jack Minker	[6]
18	Hans Jürgen Ohlbach	[8] [11]
19	Sven Panne	[15]
20	Reinhard Pichler	[23]
21	Axel Präcklein	[11]
22	Georg Schneemayer	[21]
23	Heribert Schütz	[18]
24	Jörg H. Siekmann	[1] [2] [3]
25	Gert Smolka	[2] [3]
26	Gunnar Teege	[12]
27	Sunna Torge	[18]
28	E. Unvericht	[2]
29	Christoph Walther	[2] [3]
30	Fang Wei	[23]
31	M. Weigele	[7]
32	Graham Wrightson	[1]

Colors in the list of coauthors