Publications

All publications are sorted into the categories "books", "articles in books", refereed "articles in journals", refereed "articles at conferences", "articles at workshops" and "Other Work", ordered from latest to earliest work in each category. At each of the publications there is a link to the corresponding bibtex-entry; many of them are available as PDF or Postscript as well.

Books

  • Hans-Peter Störr. Planen im Fluent-Kalkül mit binären Entscheidungsdiagrammen. PhD thesis, Technische Universität Dresden, Department of Computer Science, 2005. (in German). [ bib ] | [ pdf ] | [ book ]

In Books

  • Steffen Hölldobler and Hans-Peter Störr. Complex plans in the fluent calculus. In Steffen Hölldobler, editor, Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel, pages 207-223. Kluwer Academic Press, 2000. [ bib | .ps.gz | .pdf ]

In Journals

  • Steffen Hölldobler, Hans-Peter Störr, and Tran Dinh Khang. The fuzzy description logic ALCFH with hedge algebras as concept modifiers. International Journal of Advanced Computational Intelligence and Intelligent Informatics, 7(3):294-305, 2003. [ bib ]

  • Hans-Peter Störr. Planning in the fluent calculus using binary decision diagrams. AI Magazine, 22(3):103-106, 2001]. [ bib ]

  • Steffen Hölldobler, Yvonne Kalinke, and Hans-Peter Störr. Approximating the semantics of logic programs by recurrent neural networks. Special Issue of the Applied Intelligence Journal on ''Neural Networks and Structured Knowledge, Volume 1Knowledge Representation and Reasoning'', 11(1):45-58, July 1999. [ bib | .ps.gz | .pdf ]

At Conferences

  • Steffen Hölldobler, Hand-Peter Störr, Tran Dinh Khang, and Nguyen Hoang Nga. The subsumption problem in the fuzzy description logic ALC_FH. In Proceedings Tenth International Conference IPMU 2004: Information Processing and Managment of Uncertainty in Knowledge-Based Systems, volume 1, pages 243-250, 2004. [ bib ]

  • Steffen Hölldobler, Tran Dinh Khang, and Hans-Peter Störr. A fuzzy description logic with hedges as concept modifiers. In Nguyen Hoang Phuong, Hung T. Nguyen, Nguyen Cat Ho, and Pratit Santiprabhob, editors, Proceedings InTech/VJFuzzy'2002, pages 25-34, Hanoi, Vietnam, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam. [ bib | .pdf ]

  • Hans-Peter Störr. A compact fuzzy extension of the naive bayesian classification algorithm. In Nguyen Hoang Phuong, Hung T. Nguyen, Nguyen Cat Ho, and Pratit Santiprabhob, editors, Proceedings InTech/VJFuzzy'2002, pages 172-177, Hanoi, Vietnam, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam. [ bib | .pdf ]

  • Marina Guetova, Steffen Hölldobler, and Hans-Peter Störr. Incremental fuzzy decision trees. In M. Jarke, J. Koehler, and G. Lakemeyer, editors, Proceedings of the 25th German Conference on Artificial Intelligence (KI2002), pages 67-81, Aachen, Germany, 2002. Springer Verlag. [ bib | .pdf ]

  • Steffen Hölldobler and Hans-Peter Störr. Solving the entailment problem in the fluent calculus using binary decision diagrams. In J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv, and P. J. Stuckey, editors, Proceedings of the First International Conference on Computational Logic (CL), number 1861 in LNCS, pages 747-760. Springer, 2000. [ bib | .ps.gz | .pdf ]

  • Hans-Peter Störr and Michael Thielscher. A new equational foundation for the fluent calculus. In J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv, and P. J. Stuckey, editors, Proceedings of the First International Conference on Computational Logic (CL), number 1861 in LNCS, pages 733-745. Springer, 2000. [ bib | .ps.gz | .pdf ]

  • Steffen Hölldobler, Yvonne Kalinke, and Hans-Peter Störr. Recurrent neural networks to approximate the semantics of acceptable logic programs. In G. Antoniou and J. Slaney, editors, Advanced Topics in Artificial Intelligence, Proceedings of the 11th Australian Joint Conference on Artificial Intelligence (AI'98), volume 1502 of Lecture Notes in Artificial Intelligence. Springer-Verlag Berlin/Heidelberg, 1998. [ bib | .ps.gz | .pdf ]

At Workshops

  • Sven-Erik Bornscheuer, Yvonne McIntyre, Steffen Hölldobler, and Hans-Peter Störr. User adaptation in a web shop system. In M. H. Hamza, editor, Proceedings of the IASTED International Conference Internet and Multimedia Systems and Applications, pages 208-213, Anaheim, Calgary, Zurich, 2001. ACTA Press. [ bib | .pdf ]

  • Steffen Hölldobler and Hans-Peter Störr. Solving the entailment problem in the fluent calculus using binary decision diagrams. In Workshop on Model-Theoretic Approaches to Planning at AIPS2000. Beckenridge, April 2000. Extended Abstract, see also [8]. [ bib | .ps.gz | .pdf ]

  • Steffen Hölldobler and Hans-Peter Störr. BDD-based reasoning in the fluent calculus - first results. In 8th. Intl. Workshop on Non-Monotonic Reasoning (NMR'2000). Beckenridge, April 2000. Extended Abstract, see also [12]. [ bib | .ps.gz | .pdf ]

  • Steffen Hölldobler and Hans-Peter Störr. Reasoning about complex actions. Workshop on Action and Causality, part of Seventh International Workshop on Nonmonotonic Reasoning, Trento, Italy. http://www.cs.utexas.edu/users/vl/nmr98.html, May 1998. [ bib | .ps.gz | .pdf ]

  • Steffen Hölldobler and Hans-Peter Störr. Reasoning about complex actions (extended abstract). ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications, Saarbrücken, Germany. http://www.dis.uniroma1.it/esslli98-actions/, August 1998. [ bib | .ps.gz | .pdf ]

  • Yvonne Kalinke and Hans-Peter Störr. Rekurrente Neuronale Netze zur Approximation der Semantik akzeptabler logischer Programme. In Fortschritte in der Künstlichen Intelligenz, page 27. KI-96 Workshop, Dresden University Press, 1996. [ bib ]

Other Work

  • Steffen Hölldobler and Hans-Peter Störr. BDD-based reasoning in the fluent calculus - first results. (Extended Abstract) WV-2000-01, Artificial Intelligence Institute, Department of Computer Science, Technische Universität Dresden, 2000. [ bib | .ps.gz | .pdf ]

  • Steffen Hölldobler and Hans-Peter Störr. Solving the entailment problem in the fluent calculus using binary decision diagrams. Technical Report WV-99-05, Artificial Intelligence Institute, Computer Science Department, Technische Universität Dresden, 1999. [ bib ]

  • Yvonne Kalinke and Hans-Peter Störr. Approximation der funktion Tp normaler logischer programme P durch 3-schichtige vorwärtsgerichtete netze. Technical Report WV-96-07, Technische Universität Dresden, 1996. [ bib ]

  • Hans-Peter Störr. Bedingte und Rekursive Aktionen im Fluent-Kalkül. Master's thesis, Technische Universität Dresden, 1997. (in German). [ bib | .ps.gz | .pdf ]

  • Hans-Peter Störr. Approximation der feigenbaumkonstante. study thesis, 1997. [ bib | .ps.gz | .pdf ]