Norbert Eisinger

	2009
24		Simon Brodt, François Bry, Norbert Eisinger: Search for More Declarativity. RR 2009: 71-86
	2007
23		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		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	Simon Brodt	[24]
6	François Bry (François Bry-Haußer)	[13] [18] [21] [23] [24]
7	Thomas Eiter	[23]
8	Ulrich Furbach	[19] [20]
9	Tim Furche	[23]
10	Tim Geisler	[13] [15]
11	Georg Gottlob	[23]
12	Alexander Herold	[3]
13	Simon Kasif	[6]
14	Mathias Kettner	[14] [16] [17]
15	Clemens Ley	[23]
16	Benedikt Linse	[23]
17	Jan Maluszynski	[22]
18	Jack Minker	[6]
19	Hans Jürgen Ohlbach	[8] [11]
20	Sven Panne	[15]
21	Reinhard Pichler	[23]
22	Axel Präcklein	[11]
23	Georg Schneemayer	[21]
24	Heribert Schütz	[18]
25	Jörg H. Siekmann	[1] [2] [3]
26	Gert Smolka	[2] [3]
27	Gunnar Teege	[12]
28	Sunna Torge	[18]
29	E. Unvericht	[2]
30	Christoph Walther	[2] [3]
31	Fang Wei	[23]
32	M. Weigele	[7]
33	Graham Wrightson	[1]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page