Browsing by Author Baumgartner, Peter
Showing results 1 to 20 of 30
A Combined Superposition and Model Evolution Calculus
Author(s) | Baumgartner, Peter; Waldmann, Uwe |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
A novel architecture for situation awareness systems
Author(s) | Baader, Franz; Bauer, Andreas; Baumgartner, Peter, et al |
---|---|
Type | Book chapter |
Date Published | 2009 |
Date Created | - |
AI@NICTA
Author(s) | Barnes, Nicholas; Baumgartner, Peter; Caetano, Tiberio, et al |
---|---|
Type | Journal article |
Date Published | 2012 |
Date Created | - |
Automated reasoning support for first-order ontologies
Author(s) | Baumgartner, Peter; Suchanek, Fabian M. |
---|---|
Type | Book chapter |
Date Published | 2006 |
Date Created | - |
Beagle - A Hierarchic Superposition Theorem Prover
Author(s) | Baumgartner, Peter; Bax, Joshua; Waldmann, Uwe |
---|---|
Type | Conference paper |
Date Published | 2015 |
Date Created | August 1-7 2015 |
Blocking and other enhancements for bottom-up model generation methods
Author(s) | Baumgartner, Peter; Schmidt, Renate A. |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | August 17-20 2006 |
Computing finite models by reduction to function-free clause logic
Author(s) | Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans, et al |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | August 17-20 2006 |
Constraint Modelling: A Challenge for First Order Automated Reasoning
Author(s) | Baumgartner, Peter; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | July 6-7 2009 |
Deduction and applications
Author(s) | Baader, Franz; Baumgartner, Peter; Nieuwenhuis, Robert, et al |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | October 23-28 2005 |
Finite Quantification in Hierarchic Theorem Proving
Author(s) | Baumgartner, Peter; Bax, Joshua; Waldmann, Uwe |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | July 19-22 2014 |
Hierarchic Superposition with Weak Abstraction
Author(s) | Baumgartner, Peter; Waldmann, Uwe |
---|---|
Type | Conference paper |
Date Published | 2013 |
Date Created | June 9-14 2013 |
Hierarchic Superposition: Completeness without Compactness
Author(s) | Baumgartner, Peter; Waldmann, Uwe |
---|---|
Type | Conference paper |
Date Published | 2013 |
Date Created | 11-13 December, 2013 |
Hyper tableaux with equality
Author(s) | Baumgartner, Peter; Furbach, Ulrich; Pelzer, Bjorn |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | July 17-20 2007 |
Implementing the model evolution calculus
Author(s) | Baumgartner, Peter; Fuchs, Alexander; Tinelli, Cesare |
---|---|
Type | Journal article |
Date Published | 2006 |
Date Created | - |
Instance Based Methods-A Brief Overview
Author(s) | Baumgartner, Peter; Thorstensen, Evgenij |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
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 |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
Lemma learning in the model evolution calculus
Author(s) | Baumgartner, Peter; Fuchs, Alexander; Tinelli, Cesare |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | November 13-17 2006 |
Logical engineering with instance-based methods
Author(s) | Baumgartner, Peter |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | July 17-20 2007 |
ME(LIA) - Model evolution with linear integer arithmetic constraints
Author(s) | Baumgartner, Peter; Fuchs, Alexander; Tinelli, Cesare |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | November 22-27 2008 |
Model Evolution Based Theorem Proving
Author(s) | Baumgartner, Peter |
---|---|
Type | Journal article |
Date Published | 2014 |
Date Created | - |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator