dblp.uni-trier.dewww.uni-trier.de

Norbert Eisinger Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
24EESimon Brodt, François Bry, Norbert Eisinger: Search for More Declarativity. RR 2009: 71-86
2007
23EEFranç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
19EEPeter 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
17EEMathias 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
15EENorbert 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
9EENorbert Eisinger: What You Always Wanted to Know About Clause Graph Resolution. CADE 1986: 316-336
8EENorbert 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)