Peter Baumgartner

Available identifiers

zbMath Open baumgartner.peterMaRDI QIDQ167057

List of research outcomes

Publication	Date of Publication	Type
Possible models computation and revision -- a practical approach	2022-11-09	Paper
Combining event calculus and description logic reasoning via logic programming	2022-03-24	Paper
The Fusemate logic programming system	2021-12-01	Paper
Hierarchic superposition revisited	2020-06-04	Paper
Blocking and other enhancements for bottom-up model generation methods	2020-03-03	Paper
Model elimination without contrapositives	2020-01-21	Paper
Hyper tableaux	2019-10-08	Paper
Tableaux for diagnosis applications	2019-01-15	Paper
Tableaux for policy synthesis for MDPs with PCTL* constraints	2018-02-02	Paper
In memory of Mark Stickel	2016-05-26	Paper
SMTtoTPTP – A Converter for Theorem Proving Formats	2015-12-02	Paper
Beagle – A Hierarchic Superposition Theorem Prover	2015-12-02	Paper
Finite Quantification in Hierarchic Theorem Proving	2014-09-26	Paper
Proving Infinite Satisfiability	2014-01-17	Paper
Tableaux for Verification of Data-Centric Processes	2013-10-04	Paper
Hierarchic Superposition with Weak Abstraction	2013-06-14	Paper
A combined superposition and model evolution calculus	2012-07-31	Paper
Model evolution with equality -- revised and implemented	2012-06-20	Paper
The TPTP Typed First-Order Form with Arithmetic	2012-06-15	Paper
Model Evolution with Equality Modulo Built-in Theories	2011-07-29	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation	2010-02-19	Paper
Superposition and Model Evolution Combined	2009-07-28	Paper
The model evolution calculus as a first-order DPLL method	2009-07-17	Paper
Computing finite models by reduction to function-free clause logic	2009-03-25	Paper
Blocking and Other Enhancements for Bottom-Up Model Generation Methods	2009-03-12	Paper
Hyper Tableaux with Equality	2009-03-06	Paper
(LIA) - Model Evolution with Linear Integer Arithmetic Constraints	2009-01-27	Paper
Lemma Learning in the Model Evolution Calculus	2008-05-27	Paper
KI 2004: Advances in Artificial Intelligence	2008-03-14	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Computing answers with model elimination	2003-08-28	Paper
Automated deduction techniques for the management of personalized documents	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4530455	2002-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q2767917	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q2767083	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4524784	2001-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4524787	2001-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q2723420	2001-07-05	Paper
Theorem proving techniques for view deletion in databases	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4940932	2000-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4263168	2000-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4934523	2000-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4940934	2000-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4263006	2000-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4261066	1999-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4255506	1999-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q3838803	1999-04-19	Paper
Theory reasoning in connection calculi	1999-01-28	Paper
A disjunctive positive refinement of model elimination and its application to subsumption deletion	1998-04-15	Paper
Linear and unit-resulting refutations for Horn theories	1997-04-21	Paper
Consolution as a framework for comparing calculi	1994-05-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Baumgartner