BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Belgium
1 × Canada
1 × Estonia
1 × France
1 × Italy
1 × Poland
1 × United Kingdom
2 × Germany
4 × USA
Collaborated with:
U.Furbach U.Waldmann C.Tinelli J.Bax R.A.Schmidt F.Massacci C.Aravindan B.Pelzer N.Eisinger M.Groß-Hardt A.Sinner
Talks about:
model (6) evolut (4) superposit (3) hierarch (3) calculus (3) theorem (3) logic (3) equal (3) disjunct (2) program (2)

Person: Peter Baumgartner

DBLP DBLP: Baumgartner:Peter

Facilitated 1 volumes:

IJCAR 2008Ed

Contributed to:

CADE 20152015
IJCAR 20142014
CADE 20132013
CADE 20112011
CADE 20092009
CADE 20072007
IJCAR 20062006
CADE 20052005
CADE 20032003
CADE 20002000
CL 20002000
CADE 19991999
ICLP 19971997
ILPS 19971997
CADE 19941994

Wrote 21 papers:

CADE-2015-Baumgartner #named #proving #theorem proving
SMTtoTPTP — A Converter for Theorem Proving Formats (PB), pp. 285–294.
CADE-2015-BaumgartnerBW #named #proving #theorem proving
Beagle — A Hierarchic Superposition Theorem Prover (PB, JB, UW), pp. 367–377.
IJCAR-2014-BaumgartnerBW #finite #proving #quantifier #theorem proving
Finite Quantification in Hierarchic Theorem Proving (PB, JB, UW), pp. 152–167.
CADE-2013-BaumgartnerW #abstraction
Hierarchic Superposition with Weak Abstraction (PB, UW), pp. 39–57.
CADE-2011-BaumgartnerT #evolution #similarity
Model Evolution with Equality Modulo Built-in Theories (PB, CT), pp. 85–100.
CADE-2009-BaumgartnerW #evolution
Superposition and Model Evolution Combined (PB, UW), pp. 17–34.
CADE-2007-Baumgartner #logic
Logical Engineering with Instance-Based Methods (PB), pp. 404–409.
CADE-2007-BaumgartnerFP #similarity
Hyper Tableaux with Equality (PB, UF, BP), pp. 492–507.
IJCAR-2006-BaumgartnerS #bottom-up #generative
Blocking and Other Enhancements for Bottom-Up Model Generation Methods (PB, RAS), pp. 125–139.
CADE-2005-BaumgartnerT #calculus #evolution #similarity
The Model Evolution Calculus with Equality (PB, CT), pp. 392–408.
CADE-2003-BaumgartnerFGS #deduction #interactive #quote #slicing
“Living Book” :- “Deduction”, “Slicing”, “Interaction” (PB, UF, MGH, AS), pp. 284–288.
CADE-2003-BaumgartnerT #calculus #evolution
The Model Evolution Calculus (PB, CT), pp. 350–364.
CADE-2000-Baumgartner #first-order #named
FDPLL — A First Order Davis-Putnam-Longeman-Loveland Procedure (PB), pp. 200–219.
The Taming of the (X)OR (PB, FM), pp. 508–522.
CADE-1999-BaumgartnerEF #calculus #confluence
A Confluent Connection Calculus (PB, NE, UF), pp. 329–343.
ICLP-1997-BaumgartnerF #calculus #logic programming
Calculi for Disjunctive Logic Programming (PB, UF), p. 409.
ILPS-1997-AravindanB #algorithm #database #performance
A Rational and Efficient Algorithm for View Deletion in Databases (CA, PB), pp. 165–179.
ILPS-1997-BaumgartnerF #calculus #logic programming
Calculi for Disjunctive Logic Programming (PB, UF), pp. 229–243.
Model Elimination Without Contrapositives (PB, UF), pp. 87–101.
CADE-1994-BaumgartnerF94a #interface #named #proving
PROTEIN: A PROver with a Theory Extension INterface (PB, UF), pp. 769–773.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.