Publications

J. Posegga, "Security in the Context of Java Smartcards and Jini (invited talk)" , 1998.

T. Margaria and B. Steffen and R. Rückert and J. Posegga, Eds., Services and Visualization: Towards User Friendly Design : Lecture Notes in Computer Science .

J. Posegga, "Java in Telecoms -- Challenges and Oportunities (invited talk)" in Proc. Object World '97 , London, UK : Softbank Comdex, Inc. , 1997.

J. Posegga, "Netzsteuerbares GSM-Mobilfunkgerät" , 1997.

J. Posegga, "Verfahren und Vorrichtung zur Nutzung eines in einem Telekommunikationsnetz zur Verfügung gestellten Dienstes / Method for using Service freely available in electric communication network" , 1997.

J. Posegga and P. Schmitt, "Deduction with First-order Shannon Graphs" , Journal of Logic and Computation , vol. 5 , no. 6 , pp. 697-729 , 1996.

J. Posegga and P. Schmitt, "Implementing Tableau-based Deduction" , Karlsruhe, FRG , 1996.

B. Beckert and J. Posegga, "leanEA: A Lean Evolving Algebra Compiler" in Proceedings, Annual Conference of the European Association for ComputerScience Logic (CSL'95), Paderborn, Germany , Kleine Büning, H., Eds. Springer , 1996. pp. 64--85.

B. Beckert and J. Posegga, "Logic Programming as a Basis for Lean Automated Deduction" , Journal of Logic Programming , vol. 28 , no. 3 , pp. 231--236 , 1996.
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_LogProgWsZuerich.pdf

J. Posegga and K. Schneider, "A First-Order Calculus Based on Propositional BDDs" in Leonie Dreschler-Fischer, Simone Pribbenow (Ed.): KI-95 Activities , Gesellschaft f. Informatik, Bonn , 1995.
http://web.sec.uni-passau.de/papers/First-order_Deduction_with_propositional_BDDs.pdf

J. Posegga and P. H. Schmitt, "Automated Deduction with Shannon Graphs" , Journal of Logic and Computation. In , vol. 5 , pp. 697--729 , 1995.
http://web.sec.uni-passau.de/papers/Long_Paper_on_Shannon_Graphs.pdf

B. Beckert and J. Posegga, "leanEA: A Poor Man's EvolvingAlgebra Compiler" in Andreas Krall, Ulrich Geske (Ed): 11. Workshop Logische Programmierung , GMD-Studien Nr. 270 , 1995.
http://web.sec.uni-passau.de/papers/LeanEA.pdf

B. Beckert and J. Posegga, "leanTaP: Lean Tableau-based Deduction" , Journal of Automated Reasoning , vol. 15 , no. 3 , pp. 339--358 , 1995.
http://web.sec.uni-passau.de/papers/LeanTaP.pdf

P. Baumgartner and R. Hähnle and J. Posegga, Eds., Proc. 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods : LNAI .

J. Goubault and J. Posegga, "BDDs and Automated Deduction" in Proc. 8th International Symposium on Methodologies for Intelligent Systems , Charlotte, NC : Springer , 1994.
http://web.sec.uni-passau.de/papers/BDDs_and_Autom_Ded.pdf

B. Beckert and J. Posegga, "Lean Theorem Proving: Maximal Efficiency from Minimal Means" in Working Notes, AISB Workshop ``Automated Reasoning: Closing the Gap betweenTheory and Practice'', Leeds, England , 1994. pp. 7--8.
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_AISB_WS94.pdf

B. Beckert and J. Posegga, "leanTaP: Lean Tableau-Based Theorem Proving" in Proc. of 12th Conference on Automated Deduction , Alan Bundy, Eds. Nancy, France : Springer , 1994.
http://web.sec.uni-passau.de/papers/Lean_Tableau_Prover_CADE94.pdf

J. Posegga, "Compiling Proof Search in Semantic Tableaux" in Proc. 7th International Symposium on Methodologies for Intelligent Systems , Trondheim, Norway : Springer , 1993. pp. 67--77.
http://web.sec.uni-passau.de/papers/Compiling_Proof_Search_in_Tableau_Calculus.pdf

J. Posegga, "Compiling Tableau-Based Deduction for General Formulae" in Workshop PTTP-basiertes Theorembeweisen , Peter Baumgartner, Eds. Universität Koblenz-Landau , 1993 .

J. Posegga and K. Schneider, "Deduction with First-order BDDs" in Basin et.al.: Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods , Marseilles, France. Max-Planck-Institut für Informatik, Saarbrücken, Germany , 1993.

J. Posegga, Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. .... Sankt Augustin : Infix Verlag , 1993. Infix_Verlag, FRG

J. Posegga, "First-order Deduction with Binary Decision Diagrams" , 1993.
http://web.sec.uni-passau.de/papers/First-order_Deduction_with_nonordered_BDDs.pdf

David Basin and Bertram Fronhöfer and Reiner Hähnle and Joachim Posegga and Camilla Schwind, Eds., Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods .

H. Müller, G. Moerkotte and J. Posegga, "Aspects of Consistency Driven Planning" in Proc.\verb=~=Third International Workshop on the Deductive Approach to Information Systems and Databases , Roses, Spain , 1992.

J. Posegga, "First-order Shannon Graphs" in Proc. Workshop on Theorem Proving with Analytic Tableau and Related Methods , Lautenbach, Germany : published by: Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, technical report 8/92 , 1992.

J. Posegga, "First-order Shannon Graphs" in Intern. Conf. on Fifth Generation Computer Systems / Workshop on Automated Deduction , Tokyo, Japan , 1992.

J. Posegga and B. Ludäscher, "Towards First-order Deduction Based on Shannon Graphs" in Proc. German Workshop on Artificial Intelligence , Bonn, Germany : Springer , 1992.

G. Moerkotte and J. Posegga, "Consistency Driven Planning" in 5th GI-Workshop ``Planen und Konfigurieren'' , Hamburg, Germany , 1991.

H. Müller, G. Moerkotte and J. Posegga, "Consistency Driven Planning" in Proc. 5th Portuguese Conference on Artificial Intelligence , Albufeira, Portugal : Springer , 1991.

J. Dix, J. Posegga and P. Schmitt, "Modal Logic for AI Planning" in First International Conference on Expert Planning Systems , Brighton, UK , 1990.
http://web.sec.uni-passau.de/papers/Modal_Logic_and_AI_Planning.pdf

J. Dix, J. Posegga and P. H. Schmitt, "Plangenerierung und nichtklassische Logiken" , 1990.

G. Moerkotte and J. Posegga, "Towards the Integration of Deductive Databases and Planning Systems" in GI-Workshop ``Planen und Konfigurieren'' , Ulm, Germany : published by Forschungsinstitut für anwedungsorientierte Wissensverarbeitung (technical report) , 1990.

J. Posegga, "Using clam for Proving Theorems in Tableau Calculus" , Edinburgh, Scotland , 1990.
http://web.sec.uni-passau.de/papers/Tableau_Proof_Planning.pdf