Peter Baumgartner

1.6k total citations
36 papers, 187 citations indexed

About

Peter Baumgartner is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Peter Baumgartner has authored 36 papers receiving a total of 187 indexed citations (citations by other indexed papers that have themselves been cited), including 28 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. Recurrent topics in Peter Baumgartner's work include Logic, Reasoning, and Knowledge (19 papers), Logic, programming, and type systems (13 papers) and Formal Methods in Verification (10 papers). Peter Baumgartner is often cited by papers focused on Logic, Reasoning, and Knowledge (19 papers), Logic, programming, and type systems (13 papers) and Formal Methods in Verification (10 papers). Peter Baumgartner collaborates with scholars based in Germany, Australia and United States. Peter Baumgartner's co-authors include Cesare Tinelli, Ulrich Furbach, Alexander Fuchs, Frieder Stolzenburg, Chandrabose Aravindan, Peter Fröhlich, Wolfgang Nejdl, Felipe Trevizan, Sylvie Thiébaux and Tanel Tammet and has published in prestigious journals such as Artificial Intelligence, IEEE Intelligent Systems and Lecture notes in computer science.

In The Last Decade

Peter Baumgartner

28 papers receiving 164 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Peter Baumgartner Germany	9	160	90	43	14	11	36	187
Claudio Sacerdoti Coen Italy	6	146 0.9×	105 1.2×	55 1.3×	10 0.7×	16 1.5×	33	173
Temur Kutsia Austria	7	175 1.1×	105 1.2×	47 1.1×	27 1.9×	19 1.7×	53	205
Florian Rabe Germany	8	153 1.0×	118 1.3×	50 1.2×	11 0.8×	10 0.9×	36	203
Dominique Méry France	7	89 0.6×	68 0.8×	53 1.2×	25 1.8×	27 2.5×	26	139
Stefan Berghofer Germany	7	164 1.0×	120 1.3×	22 0.5×	34 2.4×	10 0.9×	19	181
Reinhold Letz Germany	5	171 1.1×	80 0.9×	44 1.0×	20 1.4×	17 1.5×	10	197
Makarius Wenzel Germany	7	112 0.7×	75 0.8×	24 0.6×	18 1.3×	13 1.2×	16	131
Vasileios Koutavas Ireland	6	126 0.8×	79 0.9×	36 0.8×	10 0.7×	15 1.4×	14	137
Philippe Chatalic France	6	85 0.5×	51 0.6×	74 1.7×	18 1.3×	21 1.9×	10	125
Paula Severi United Kingdom	7	121 0.8×	85 0.9×	28 0.7×	8 0.6×	18 1.6×	23	141

Countries citing papers authored by Peter Baumgartner

Since Specialization

Citations

This map shows the geographic impact of Peter Baumgartner's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Peter Baumgartner with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Peter Baumgartner more than expected).

Fields of papers citing papers by Peter Baumgartner

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Peter Baumgartner. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Peter Baumgartner. The network helps show where Peter Baumgartner may publish in the future.

Co-authorship network of co-authors of Peter Baumgartner

This figure shows the co-authorship network connecting the top 25 collaborators of Peter Baumgartner. A scholar is included among the top collaborators of Peter Baumgartner based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Peter Baumgartner. Peter Baumgartner is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Baumgartner, Peter, et al.. (2021). Anomaly Detection in a Boxed Beef Supply Chain. 1–7. 1 indexed citations

Baumgartner, Peter, Sylvie Thiébaux, & Felipe Trevizan. (2018). Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints.. ANU Open Research (Australian National University). 415–424. 6 indexed citations

Baumgartner, Peter, et al.. (2011). Model Evolution with equality — Revised and implemented. Journal of Symbolic Computation. 47(9). 1011–1045. 12 indexed citations

Baumgartner, Peter & Uwe Waldmann. (2010). A Combined Superposition and Model Evolution Calculus. Journal of Automated Reasoning. 47(2). 191–227. 1 indexed citations

Baumgartner, Peter, et al.. (2008). The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. Journal of Logic and Computation. 20(1). 77–109. 3 indexed citations

Baumgartner, Peter & Fabian M. Suchanek. (2008). Automated Reasoning Support for SUMO/KIF.

Baumgartner, Peter, et al.. (2007). Computing finite models by reduction to function-free clause logic. Journal of Applied Logic. 7(1). 58–74. 18 indexed citations

Baumgartner, Peter & Cesare Tinelli. (2007). The model evolution calculus as a first-order DPLL method. Artificial Intelligence. 172(4-5). 591–632. 17 indexed citations

Baumgartner, Peter, Alexander Fuchs, & Cesare Tinelli. (2006). IMPLEMENTING THE MODEL EVOLUTION CALCULUS. International Journal of Artificial Intelligence Tools. 15(1). 21–52. 26 indexed citations

10.

Baumgartner, Peter, et al.. (2004). Improving Stable Models Based Planning by Bidirectional Search. Max Planck Institute for Plasma Physics. 404–413.

11.

Baumgartner, Peter. (2003). First-order logic Davis-Putnam-Logemann-Loveland procedure. Morgan Kaufmann Publishers Inc. eBooks. 289–329. 2 indexed citations

12.

Baumgartner, Peter & Ulrich Furbach. (2003). Automated Deduction Techniques for the Management of Personalized Documents. Annals of Mathematics and Artificial Intelligence. 38(1-3). 211–228. 8 indexed citations

13.

Aravindan, Chandrabose & Peter Baumgartner. (2000). Theorem Proving Techniques for View Deletion in Databases. Journal of Symbolic Computation. 29(2). 119–147. 5 indexed citations

14.

Baumgartner, Peter, Peter Fröhlich, Ulrich Furbach, & Wolfgang Nejdl. (1997). Semantically Guided Theorem Proving for Diagnosis Applications.. International Joint Conference on Artificial Intelligence. 460–465. 11 indexed citations

15.

Baumgartner, Peter, Ulrich Furbach, & Frieder Stolzenburg. (1997). Computing answers with model elimination. Artificial Intelligence. 90(1-2). 135–176. 9 indexed citations

16.

Baumgartner, Peter. (1996). Linear and unit-resulting refutations for Horn theories. Journal of Automated Reasoning. 16(3). 241–319. 3 indexed citations

17.

Baumgartner, Peter, et al.. (1996). Service as strategy at KHS Maschinen‐und Anlagenbau. Managing Service Quality. 6(3). 27–30. 1 indexed citations

18.

Baumgartner, Peter, Ulrich Furbach, & Frieder Stolzenburg. (1995). Model elimination, logic programming and computing answers. OpenGrey (Institut de l'Information Scientifique et Technique). 335–340. 2 indexed citations

19.

Baumgartner, Peter. (1994). Refinements of Theory Model Elimination and a Variant without Contrapositives. 4 indexed citations

20.

Baumgartner, Peter & Ulrich Furbach. (1994). Model elimination without contrapositives and its application to PTTP. Journal of Automated Reasoning. 13(3). 339–359. 9 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact