Publications

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