Skip navigation
Skip navigation

Browsing by Author Baumgartner, Peter

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 1 to 20 of 30

A Combined Superposition and Model Evolution Calculus

Author(s)Baumgartner, Peter; Waldmann, Uwe
TypeJournal article
Date Published2010
Date Created-

A novel architecture for situation awareness systems

Author(s)Baader, Franz; Bauer, Andreas; Baumgartner, Peter, et al
TypeBook chapter
Date Published2009
Date Created-

AI@NICTA

Author(s)Barnes, Nicholas; Baumgartner, Peter; Caetano, Tiberio, et al
TypeJournal article
Date Published2012
Date Created-

Automated reasoning support for first-order ontologies

Author(s)Baumgartner, Peter; Suchanek, Fabian M.
TypeBook chapter
Date Published2006
Date Created-

Beagle - A Hierarchic Superposition Theorem Prover

Author(s)Baumgartner, Peter; Bax, Joshua; Waldmann, Uwe
TypeConference paper
Date Published2015
Date CreatedAugust 1-7 2015

Blocking and other enhancements for bottom-up model generation methods

Author(s)Baumgartner, Peter; Schmidt, Renate A.
TypeConference paper
Date Published2006
Date CreatedAugust 17-20 2006

Computing finite models by reduction to function-free clause logic

Author(s)Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans, et al
TypeConference paper
Date Published2006
Date CreatedAugust 17-20 2006
01_Baumgartner_Constraint_Modelling:_A_2009.pdf.jpg

Constraint Modelling: A Challenge for First Order Automated Reasoning

Author(s)Baumgartner, Peter; Slaney, John K
TypeConference paper
Date Published2009
Date CreatedJuly 6-7 2009

Deduction and applications

Author(s)Baader, Franz; Baumgartner, Peter; Nieuwenhuis, Robert, et al
TypeConference paper
Date Published2006
Date CreatedOctober 23-28 2005
01_Baumgartner_Finite_Quantification_in_2014.pdf.jpg

Finite Quantification in Hierarchic Theorem Proving

Author(s)Baumgartner, Peter; Bax, Joshua; Waldmann, Uwe
TypeConference paper
Date Published2014
Date CreatedJuly 19-22 2014

Hierarchic Superposition with Weak Abstraction

Author(s)Baumgartner, Peter; Waldmann, Uwe
TypeConference paper
Date Published2013
Date CreatedJune 9-14 2013
02_Baumgartner_Hierarchic_Superposition:_2013.pdf.jpg

Hierarchic Superposition: Completeness without Compactness

Author(s)Baumgartner, Peter; Waldmann, Uwe
TypeConference paper
Date Published2013
Date Created11-13 December, 2013
01_Baumgartner_Hyper_tableaux_with_eq_2007.pdf.jpg

Hyper tableaux with equality

Author(s)Baumgartner, Peter; Furbach, Ulrich; Pelzer, Bjorn
TypeConference paper
Date Published2007
Date CreatedJuly 17-20 2007

Implementing the model evolution calculus

Author(s)Baumgartner, Peter; Fuchs, Alexander; Tinelli, Cesare
TypeJournal article
Date Published2006
Date Created-

Instance Based Methods-A Brief Overview

Author(s)Baumgartner, Peter; Thorstensen, Evgenij
TypeJournal article
Date Published2010
Date Created-
01_Buchs_Late_cretaceous_arc_2010.pdf.jpg

Late cretaceous arc development on the SW margin of the caribbean plate: insights form the Golfito, Costa Rica, and Azuero, Panama, complexes

Author(s)Buchs, David; Arculus, Richard; Baumgartner, Peter, et al
TypeJournal article
Date Published2010
Date Created-

Lemma learning in the model evolution calculus

Author(s)Baumgartner, Peter; Fuchs, Alexander; Tinelli, Cesare
TypeConference paper
Date Published2006
Date CreatedNovember 13-17 2006
04_Baumgartner_Logical_engineering_with_2007.pdf.jpg

Logical engineering with instance-based methods

Author(s)Baumgartner, Peter
TypeConference paper
Date Published2007
Date CreatedJuly 17-20 2007

ME(LIA) - Model evolution with linear integer arithmetic constraints

Author(s)Baumgartner, Peter; Fuchs, Alexander; Tinelli, Cesare
TypeConference paper
Date Published2008
Date CreatedNovember 22-27 2008
02_Baumgartner_Model_Evolution_Based_Theorem_2014.pdf.jpg

Model Evolution Based Theorem Proving

Author(s)Baumgartner, Peter
TypeJournal article
Date Published2014
Date Created-

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator