Peter Baumgartner

NICTA, Canberra Research Lab, and The Australian National University

other persons with the same name:

• Peter Baumgartner 0002 - Donau-Universität Krems, Austria

	2012
j23		Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh: AI@NICTA. AI Magazine 33(3): 115- (2012)
j22		Peter Baumgartner, Björn Pelzer, Cesare Tinelli: Model Evolution with equality - Revised and implemented. J. Symb. Comput. 47(9): 1011-1045 (2012)
c47		Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner: The TPTP Typed First-Order Form with Arithmetic. LPAR 2012: 406-419
i2		Peter Baumgartner, Evgenij Thorstensen: Instance Based Methods --- A Brief Overview. CoRR abs/1202.6148 (2012)
i1		Andreas Klaus Bauer, Peter Baumgartner, Michael Norrish: Reasoning with Data-Centric Business Processes. CoRR abs/1207.2461 (2012)
	2011
j21		Peter Baumgartner, Uwe Waldmann: A Combined Superposition and Model Evolution Calculus. J. Autom. Reasoning 47(2): 191-227 (2011)
c46		Peter Baumgartner, Cesare Tinelli: Model Evolution with Equality Modulo Built-in Theories. CADE 2011: 85-100
	2010
j20		Alessandro Armando, Peter Baumgartner, Gilles Dowek: Preface. J. Autom. Reasoning 45(2): 89 (2010)
j19		Peter Baumgartner, Evgenij Thorstensen: Instance Based Methods - A Brief Overview. KI 24(1): 35-42 (2010)
j18		Peter Baumgartner, Ulrich Furbach, Björn Pelzer: The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. J. Log. Comput. 20(1): 77-109 (2010)
c45		Reinhard Bauer, Peter Baumgartner: The potential of Christopher Alexander's theory and practice of wholeness: clues for developing an educational taxonomy. EuroPLoP 2010: 12
	2009
j17		Peter 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)
c44		Peter Baumgartner, Uwe Waldmann: Superposition and Model Evolution Combined. CADE 2009: 17-34
c43		Franz 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
	2008
j16		Peter Baumgartner, Cesare Tinelli: The model evolution calculus as a first-order DPLL method. Artif. Intell. 172(4-5): 591-632 (2008)
c42		Peter Baumgartner, Alexander Fuchs, Cesare Tinelli: (LIA) - Model Evolution with Linear Integer Arithmetic Constraints. LPAR 2008: 258-273
e3		Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.): Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Lecture Notes in Computer Science 5195, Springer 2008, isbn 978-3-540-71069-1
	2007
c41		Peter Baumgartner: Logical Engineering with Instance-Based Methods. CADE 2007: 404-409
c40		Peter Baumgartner, Ulrich Furbach, Björn Pelzer: Hyper Tableaux with Equality. CADE 2007: 492-507
	2006
j15		Peter Baumgartner, Alexander Fuchs, Cesare Tinelli: Implementing the Model Evolution Calculus. International Journal on Artificial Intelligence Tools 15(1): 21-52 (2006)
c39		Peter Baumgartner, Renate A. Schmidt: Blocking and Other Enhancements for Bottom-Up Model Generation Methods. IJCAR 2006: 125-139
c38		Peter Baumgartner, Alexander Fuchs, Cesare Tinelli: Lemma Learning in the Model Evolution Calculus. LPAR 2006: 572-586
c37		Peter Baumgartner, Fabian M. Suchanek: Automated Reasoning Support for First-Order Ontologies. PPSWR 2006: 18-32
e2		Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov (Eds.): Deduction and Applications, 23.-28. October 2005. Dagstuhl Seminar Proceedings 05431, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
	2005
j14		Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli: Preface. Electr. Notes Theor. Comput. Sci. 125(3): 1-2 (2005)
j13		Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya: Automated Reasoning, Knowledge Representation and Management. KI 19(1): 5- (2005)
c36		Peter Baumgartner, Ulrich Furbach: Living Books, Automated Deduction and Other Strange Things. Mechanizing Mathematical Reasoning 2005: 249-267
c35		Peter Baumgartner, Cesare Tinelli: The Model Evolution Calculus with Equality. CADE 2005: 392-408
c34		Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Executive Summary - Deduction and Applications. Deduction and Applications 2005
c33		Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Abstracts Collection - Deduction and Applications. Deduction and Applications 2005
	2004
j12		Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: Living Book - Deduction, Slicing, and Interaction. J. Autom. Reasoning 32(3): 259-286 (2004)
j11		Peter Baumgartner, Barbara L. Grabowski, Walter Oevel, Erica Melis: In2Math - Interaktive Mathematik- und Informatikgrundausbildung. Softwaretechnik-Trends 24(1) (2004)
c32		Peter Baumgartner, Aljoscha Burchardt: Logic Programming Infrastructure for Inferences on FrameNet. JELIA 2004: 591-603
c31		Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Model Based Deduction for Database Schema Reasoning. KI 2004: 168-182
c30		Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP 2004: 1-15
	2003
j10		Peter Baumgartner, Ulrich Furbach: Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Artif. Intell. 38(1-3): 211-228 (2003)
j9		Peter Baumgartner, Hantao Zhang: Preface to First order theorem proving. J. Symb. Comput. 36(1-2): 1-3 (2003)
c29		Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: 'Living Book': -'Deduction', 'Slicing', 'Interaction'. CADE 2003: 284-288
c28		Peter Baumgartner, Cesare Tinelli: The Model Evolution Calculus. CADE 2003: 350-364
c27		Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt: Living Books. Wirtschaftsinformatik (1) 2003: 693-706
	2000
j8		Chandrabose Aravindan, Peter Baumgartner: Theorem Proving Techniques for View Deletion in Databases. J. Symb. Comput. 29(2): 119-147 (2000)
c26		Peter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. Intellectics and Computational Logic 2000: 3-26
c25		Peter Baumgartner: FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure. CADE 2000: 200-219
c24		Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang: Workshop: Model Computation - Principles, Algorithms, Applications. CADE 2000: 513
c23		Peter Baumgartner, Fabio Massacci: The Taming of the (X)OR. Computational Logic 2000: 508-522
	1999
c22		Peter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. CADE 1999: 329-343
c21		Peter Baumgartner, Joseph Douglas Horton, Bruce Spencer: Merge Path Improvements for Minimal Model Hyper Tableaux. TABLEAUX 1999: 51-65
	1998
b1		Peter Baumgartner: Theory Reasoning in Connection Calculi. Lecture Notes in Computer Science 1527, Springer 1998, isbn 3-540-65509-3
j7		Peter 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)
c20		Peter Baumgartner: Hyper Tableau - The Next Generation. TABLEAUX 1998: 60-76
	1997
j6		Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Computing Answers with Model Elimination. Artif. Intell. 90(1-2): 135-176 (1997)
j5		Peter 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)
c19		Peter Baumgartner, Ulrich Furbach: Calculi for Disjunctive Logic Programming. ICLP 1997: 409
c18		Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) 1997: 460-465
c17		Chandrabose Aravindan, Peter Baumgartner: A Rational and Efficient Algorithm for View Deletion in Databases. ILPS 1997: 165-179
c16		Peter Baumgartner, Ulrich Furbach: Calculi for Disjunctive Logic Programming. ILPS 1997: 229-243
c15		Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Tableaux for Diagnosis Applications. TABLEAUX 1997: 76-90
	1996
j4		Peter Baumgartner: Linear and Unit-Resulting Refutations for Horn Theories. J. Autom. Reasoning 16(3): 241-319 (1996)
j3		Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg: Deduktion und Logisches Programmieren. KI 10(2): 34-39 (1996)
c14		Peter Baumgartner, Ulrich Furbach: Hyper Tableaux and Disjunctive Logic Programming. DDLP 1996: 29-43
c13		Chandrabose 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
c12		Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä: Hyper Tableaux. JELIA 1996: 1-17
	1995
c11		Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Model Elimination, Logic Programming and Computing Answers. IJCAI 1995: 335-341
c10		Peter Baumgartner, Frieder Stolzenburg: Constraint Model Elimination and a PTTP-Implementation. TABLEAUX 1995: 201-216
e1		Peter Baumgartner, Reiner Hähnle, Joachim Posegga (Eds.): Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings. Lecture Notes in Computer Science 918, Springer 1995, isbn 3-540-59338-1
	1994
j2		Peter Baumgartner, Ulrich Furbach: Model Elimination Without Contrapositives and Its Application to PTTP. J. Autom. Reasoning 13(3): 339-359 (1994)
c9		Peter Baumgartner, Ulrich Furbach: Model Elimination Without Contrapositives. CADE 1994: 87-101
c8		Peter Baumgartner, Ulrich Furbach: PROTEIN: A PROver with a Theory Extension INterface. CADE 1994: 769-773
c7		Peter Baumgartner: Refinements of Theory Model Elimination and a Variant without Contrapositives. ECAI 1994: 90-94
	1993
j1		Peter Baumgartner, Ulrich Furbach: Consolution as a Framework for Comparing Calculi. J. Symb. Comput. 16(5): 445-477 (1993)
	1992
c6		Peter Baumgartner: A Model Elimination Calculus with Built-in Theories. GWAI 1992: 30-42
c5		Peter Baumgartner: An Order Theory Resolution Calculus. LPAR 1992: 119-130
c4		Peter Baumgartner: A Model Elimination Calculus with Built-in Theories (Extended Abstract). TABLEAUX 1992: 7-10
c3		Peter Baumgartner, Ulrich Furbach: Consolution as a Framework for Comparing Calculi. TABLEAUX 1992: 11-14
	1991
c2		Peter Baumgartner: A Completeness Proof Technique for Resolution with Equality. GWAI 1991: 12-22
	1990
c1		Peter Baumgartner: Combining Horn Clause Logic with Rewrite Rules. AIMSA 1990: 189-198

Coauthor Index

Colors in the list of coauthors

Last update Fri May 24 13:58:21 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page