Peter Baumgartner Home Page Coauthor index DBLP Vis pubzone.org

NICTA, Canberra Research Lab, and The Australian National University

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Uwe Waldmann: Superposition and Model Evolution Combined. CADE 2009: 17-34
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter: A Novel Architecture for Situation Awareness Systems. TABLEAUX 2009: 77-92
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli: Computing finite models by reduction to function-free clause logic. J. Applied Logic 7(1): 58-74 (2009)
2008
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Armando, Peter Baumgartner, Gilles Dowek: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings Springer 2008
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Alexander Fuchs, Cesare Tinelli: (LIA) - Model Evolution with Linear Integer Arithmetic Constraints. LPAR 2008: 258-273
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Cesare Tinelli: The model evolution calculus as a first-order DPLL method. Artif. Intell. 172(4-5): 591-632 (2008)
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Klaus Himpsl: Auf dem Wege zu einer neuen Lernkultur - Was die Schule vom Web 2.0 lernen kann.... LOG IN 28(152): 11-15 (2008)
2007
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: Logical Engineering with Instance-Based Methods. CADE 2007: 404-409
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Björn Pelzer: Hyper Tableaux with Equality. CADE 2007: 492-507
2006
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: Deduction and Applications, 23.-28. October 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Renate A. Schmidt: Blocking and Other Enhancements for Bottom-Up Model Generation Methods. IJCAR 2006: 125-139
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Alexander Fuchs, Cesare Tinelli: Lemma Learning in the Model Evolution Calculus. LPAR 2006: 572-586
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Fabian M. Suchanek: Automated Reasoning Support for First-Order Ontologies. PPSWR 2006: 18-32
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Alexander Fuchs, Cesare Tinelli: Implementing the Model Evolution Calculus. International Journal on Artificial Intelligence Tools 15(1): 21-52 (2006)
2005
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Cesare Tinelli: The Model Evolution Calculus with Equality. CADE 2005: 392-408
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Abstracts Collection - Deduction and Applications. Deduction and Applications 2005
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Executive Summary - Deduction and Applications. Deduction and Applications 2005
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Living Books, Automated Deduction and Other Strange Things. Mechanizing Mathematical Reasoning 2005: 249-267
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Adnan H. Yahya: Automated Reasoning, Knowledge Representation and Management. KI 19(1): 5- (2005)
2004
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP 2004: 1-15
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Aljoscha Burchardt: Logic Programming Infrastructure for Inferences on FrameNet. JELIA 2004: 591-603
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Model Based Deduction for Database Schema Reasoning. KI 2004: 168-182
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: Living Book - Deduction, Slicing, and Interaction. J. Autom. Reasoning 32(3): 259-286 (2004)
2003
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: 'Living Book': -'Deduction', 'Slicing', 'Interaction'. CADE 2003: 284-288
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Cesare Tinelli: The Model Evolution Calculus. CADE 2003: 350-364
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt: Living Books. Wirtschaftsinformatik (1) 2003: 693-706
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Artif. Intell. 38(1-3): 211-228 (2003)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Hantao Zhang: Preface to First order theorem proving. J. Symb. Comput. 36(1-2): 1-3 (2003)
2000
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure. CADE 2000: 200-219
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang: Workshop: Model Computation - Principles, Algorithms, Applications. CADE 2000: 513
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Fabio Massacci: The Taming of the (X)OR. Computational Logic 2000: 508-522
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. Intellectics and Computational Logic 2000: 3-26
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose Aravindan, Peter Baumgartner: Theorem Proving Techniques for View Deletion in Databases. J. Symb. Comput. 29(2): 119-147 (2000)
1999
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. CADE 1999: 329-343
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Joseph Douglas Horton, Bruce Spencer: Merge Path Improvements for Minimal Model Hyper Tableaux. TABLEAUX 1999: 51-65
1998
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: Theory Reasoning in Connection Calculi Springer 1998
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: Hyper Tableau - The Next Generation. TABLEAUX 1998: 60-76
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas: Automated Deduction: a Technological Point of View. KI 12(4): 7-14 (1998)
1997
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Calculi for Disjunctive Logic Programming. ICLP 1997: 409
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) 1997: 460-465
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose Aravindan, Peter Baumgartner: A Rational and Efficient Algorithm for View Deletion in Databases. ILPS 1997: 165-179
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Calculi for Disjunctive Logic Programming. ILPS 1997: 229-243
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Tableaux for Diagnosis Applications. TABLEAUX 1997: 76-90
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Computing Answers with Model Elimination. Artif. Intell. 90(1-2): 135-176 (1997)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Stefan Brüning: A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. J. Autom. Reasoning 19(2): 205-262 (1997)
1996
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Hyper Tableaux and Disjunctive Logic Programming. DDLP 1996: 29-43
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Ilkka Niemelä: Hyper Tableaux. JELIA 1996: 1-17
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg: On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP 1996: 546
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: Linear and Unit-Resulting Refutations for Horn Theories. J. Autom. Reasoning 16(3): 241-319 (1996)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg: Deduktion und Logisches Programmieren. KI 10(2): 34-39 (1996)
1995
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Reiner Hähnle, Joachim Posegga: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings Springer 1995
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Model Elimination, Logic Programming and Computing Answers. IJCAI 1995: 335-341
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Frieder Stolzenburg: Constraint Model Elimination and a PTTP-Implementation. TABLEAUX 1995: 201-216
1994
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: PROTEIN: A PROver with a Theory Extension INterface. CADE 1994: 769-773
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Model Elimination Without Contrapositives. CADE 1994: 87-101
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: Refinements of Theory Model Elimination and a Variant without Contrapositives. ECAI 1994: 90-94
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Model Elimination Without Contrapositives and Its Application to PTTP. J. Autom. Reasoning 13(3): 339-359 (1994)
1993
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Consolution as a Framework for Comparing Calculi. J. Symb. Comput. 16(5): 445-477 (1993)
1992
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: A Model Elimination Calculus with Built-in Theories. GWAI 1992: 30-42
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: An Order Theory Resolution Calculus. LPAR 1992: 119-130
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Consolution as a Framework for Comparing Calculi. TABLEAUX 1992: 11-14
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: A Model Elimination Calculus with Built-in Theories (Extended Abstract). TABLEAUX 1992: 7-10
1991
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: A Completeness Proof Technique for Resolution with Equality. GWAI 1991: 12-22
1990
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner: Combining Horn Clause Logic with Rewrite Rules. AIMSA 1990: 189-198

Coauthor Index

1Chandrabose Aravindan [17] [24] [32]
2Alessandro Armando [61]
3Franz Baader [48] [49] [55] [63]
4Andreas Bauer [63]
5Stefan Brüning [20]
6Aljoscha Burchardt [44]
7Anne Cregan [63]
8Ingo Dahn (Bernd I. Dahn) [27]
9Jürgen Dix [15] [17] [27]
10Gilles Dowek [61]
11Norbert Eisinger [31] [33]
12Christian G. Fermüller [35]
13Peter Fröhlich [22] [25]
14Alexander Fuchs [51] [53] [60] [62]
15Ulrich Furbach [4] [7] [8] [10] [11] [13] [15] [17] [18] [19] [21] [22] [23] [25] [26] [27] [31] [33] [38] [39] [41] [42] [43] [45] [46] [47] [56]
16Alfredo Gabaldon [63]
17Margret Groß-Hardt [39] [41] [42] [43] [45]
18Reiner Hähnle [14]
19Klaus Himpsl [58]
20Joseph Douglas Horton (Joseph D. Horton) [30]
21Krystian Ji [63]
22Thomas Kleemann [43] [45]
23Michael Kühn [27]
24Kevin Lee [63]
25Fabio Massacci [34]
26Wolfgang Nejdl [22] [25]
27Gerd Neugebauer [17]
28Ilkka Niemelä [17] [18]
29Robert Nieuwenhuis [48] [49] [55]
30Hans de Nivelle [62]
31Nicolas Peltier [35]
32Björn Pelzer [56]
33Joachim Posegga [14]
34David Rajaratnam [63]
35Dorothea Schäfer [15] [17]
36Renate A. Schmidt [54]
37Rolf Schwitter [63]
38Alex Sinner [41] [42]
39Bruce Spencer [30]
40Frieder Stolzenburg [12] [13] [15] [17] [21] [27]
41Fabian M. Suchanek [52]
42Bernd Thomas [27]
43Cesare Tinelli [40] [50] [51] [53] [59] [60] [62]
44Andrei Voronkov [48] [49] [55]
45Uwe Waldmann [64]
46Adnan H. Yahya [46]
47Hantao Zhang [35] [37]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)