The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Baumgartner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Baumgartner
    Combining Horn Clause Logic with Rewrite Rules. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1990, pp:189-198 [Conf]
  2. Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
    A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:3-26 [Conf]
  3. Peter Baumgartner, Ulrich Furbach
    Living Books, Automated Deduction and Other Strange Things. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:249-267 [Conf]
  4. Peter Baumgartner
    FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:200-219 [Conf]
  5. Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
    A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:329-343 [Conf]
  6. Peter Baumgartner, Ulrich Furbach
    Model Elimination Without Contrapositives. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:87-101 [Conf]
  7. Peter Baumgartner, Ulrich Furbach
    PROTEIN: A PROver with a Theory Extension INterface. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:769-773 [Conf]
  8. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
    'Living Book': -'Deduction', 'Slicing', 'Interaction'. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:284-288 [Conf]
  9. Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang
    Workshop: Model Computation - Principles, Algorithms, Applications. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:513- [Conf]
  10. Peter Baumgartner, Renate A. Schmidt
    Blocking and Other Enhancements for Bottom-Up Model Generation Methods. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:125-139 [Conf]
  11. Peter Baumgartner, Cesare Tinelli
    The Model Evolution Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:350-364 [Conf]
  12. Peter Baumgartner, Cesare Tinelli
    The Model Evolution Calculus with Equality. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:392-408 [Conf]
  13. Peter Baumgartner, Fabio Massacci
    The Taming of the (X)OR. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:508-522 [Conf]
  14. Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov
    05431 Executive Summary - Deduction and Applications. [Citation Graph (0, 0)][DBLP]
    Deduction and Applications, 2005, pp:- [Conf]
  15. Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov
    05431 Abstracts Collection - Deduction and Applications. [Citation Graph (0, 0)][DBLP]
    Deduction and Applications, 2005, pp:- [Conf]
  16. Peter Baumgartner, Ulrich Furbach
    Hyper Tableaux and Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    DDLP, 1996, pp:29-43 [Conf]
  17. Peter Baumgartner
    Refinements of Theory Model Elimination and a Variant without Contrapositives. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:90-94 [Conf]
  18. Peter Baumgartner, Ulrich Furbach
    Calculi for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:409- [Conf]
  19. Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg
    On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:546- [Conf]
  20. Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
    Semantically Guided Theorem Proving for Diagnosis Applications. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:460-465 [Conf]
  21. Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
    Model Elimination, Logic Programming and Computing Answers. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:335-341 [Conf]
  22. Peter Baumgartner, Aljoscha Burchardt
    Logic Programming Infrastructure for Inferences on FrameNet. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:591-603 [Conf]
  23. Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä
    Hyper Tableaux. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:1-17 [Conf]
  24. Peter Baumgartner
    A Completeness Proof Technique for Resolution with Equality. [Citation Graph (0, 0)][DBLP]
    GWAI, 1991, pp:12-22 [Conf]
  25. Peter Baumgartner
    A Model Elimination Calculus with Built-in Theories. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:30-42 [Conf]
  26. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
    Model Based Deduction for Database Schema Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 2004, pp:168-182 [Conf]
  27. Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
    Lemma Learning in the Model Evolution Calculus. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:572-586 [Conf]
  28. Peter Baumgartner
    An Order Theory Resolution Calculus. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:119-130 [Conf]
  29. Peter Baumgartner, Fabian M. Suchanek
    Automated Reasoning Support for First-Order Ontologies. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2006, pp:18-32 [Conf]
  30. Chandrabose Aravindan, Peter Baumgartner
    A Rational and Efficient Algorithm for View Deletion in Databases. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:165-179 [Conf]
  31. Peter Baumgartner, Ulrich Furbach
    Calculi for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:229-243 [Conf]
  32. Peter Baumgartner
    A Model Elimination Calculus with Built-in Theories (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:7-10 [Conf]
  33. Peter Baumgartner
    Hyper Tableau - The Next Generation. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:60-76 [Conf]
  34. Peter Baumgartner, Ulrich Furbach
    Consolution as a Framework for Comparing Calculi. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:11-14 [Conf]
  35. Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
    Tableaux for Diagnosis Applications. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:76-90 [Conf]
  36. Peter Baumgartner, Joseph Douglas Horton, Bruce Spencer
    Merge Path Improvements for Minimal Model Hyper Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:51-65 [Conf]
  37. Peter Baumgartner, Frieder Stolzenburg
    Constraint Model Elimination and a PTTP-Implementation. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:201-216 [Conf]
  38. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt
    Living Books. [Citation Graph (0, 0)][DBLP]
    Wirtschaftsinformatik (1), 2003, pp:693-706 [Conf]
  39. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
    Optimizing the Evaluation of XPath Using Description Logics. [Citation Graph (0, 0)][DBLP]
    INAP/WLP, 2004, pp:1-15 [Conf]
  40. Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
    Computing Answers with Model Elimination. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:90, n:1-2, pp:135-176 [Journal]
  41. Peter Baumgartner, Ulrich Furbach
    Automated Deduction Techniques for the Management of Personalized Documents. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:211-228 [Journal]
  42. Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
    Implementing the Model Evolution Calculus. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:21-52 [Journal]
  43. Peter Baumgartner
    Linear and Unit-Resulting Refutations for Horn Theories. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1996, v:16, n:3, pp:241-319 [Journal]
  44. Peter Baumgartner, Stefan Brüning
    A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:19, n:2, pp:205-262 [Journal]
  45. Peter Baumgartner, Ulrich Furbach
    Model Elimination Without Contrapositives and Its Application to PTTP. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:3, pp:339-359 [Journal]
  46. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
    Living Book - Deduction, Slicing, and Interaction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:32, n:3, pp:259-286 [Journal]
  47. Peter Baumgartner, Ulrich Furbach
    Consolution as a Framework for Comparing Calculi. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:16, n:5, pp:445-477 [Journal]
  48. Peter Baumgartner, Hantao Zhang
    Preface to First order theorem proving. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2003, v:36, n:1-2, pp:1-3 [Journal]
  49. Chandrabose Aravindan, Peter Baumgartner
    Theorem Proving Techniques for View Deletion in Databases. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:29, n:2, pp:119-147 [Journal]
  50. Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
    Automated Deduction: a Technological Point of View. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:7-14 [Journal]
  51. Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg
    Deduktion und Logisches Programmieren. [Citation Graph (0, 0)][DBLP]
    KI, 1996, v:10, n:2, pp:34-39 [Journal]
  52. Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya
    Automated Reasoning, Knowledge Representation and Management. [Citation Graph (0, 0)][DBLP]
    KI, 2005, v:19, n:1, pp:5-0 [Journal]
  53. Peter Baumgartner
    Logical Engineering with Instance-Based Methods. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:404-409 [Conf]
  54. Peter Baumgartner, Ulrich Furbach, Björn Pelzer
    Hyper Tableaux with Equality. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:492-507 [Conf]

  55. Superposition and Model Evolution Combined. [Citation Graph (, )][DBLP]


  56. (LIA) - Model Evolution with Linear Integer Arithmetic Constraints. [Citation Graph (, )][DBLP]


  57. A Novel Architecture for Situation Awareness Systems. [Citation Graph (, )][DBLP]


  58. The model evolution calculus as a first-order DPLL method. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002