Startseite › Forschung › Publikationen

Selected Publications

Site: Books, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995, 1994, 1993, 1992, 1991, 1990 and before

Books

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Spinger Vieweg, 5., überarbeitete und erweiterte Auflage, 2014 (to appear).
Available: BibTeX

C. Beierle and C. Meghini, editors. Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings, volume 8367 of Lecture Notes in Computer Science. Springer, 2014.
Available: BibTeX

Barbara Messing. Das Studium: vom Start zum Ziel: Lei(d)tfaden für Studierende. Springer, Berlin [u.a.], 2. edition, 2012.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner, editors. Evolving Knowledge in Theory and Applications. 3rd Workshop on Dynamics of Knowledge and Belief (DKB-2011) at the 34th Annual German Conference on Artificial Intelligence, KI-2011, Berlin, Germany, October 4, 2011. Proceedings. Informatik-Bericht 361. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, 2011.
Available: PDF, BibTeX

J. Fisseler. Learning and Modeling with Probabilistic Conditional Logic, volume 328 of Dissertations in Artificial Intelligence. IOS Press, Amsterdam, 2010.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner, editors. Relational Approaches to Knowledge Representation and Learning. Workshop at the 32nd Annual German Conference on Artificial Intelligence, KI-2009, Paderborn, Germany, September 15, 2009. Proceedings. Informatik-Bericht 354. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, 2009.
Available: PDF, BibTeX

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Vieweg+Teubner Verlag, 4., verbesserte Auflage, 2008.
Available: Details, BibTeX

Marc Finthammer. Behandlung von Inkonsistenzen in probabilistischen Wissensbasen. VDM Verlag Dr. Müller, March 2008.
Available: URL, BibTeX

M. Widera. Testing in Functional Programming. Shaker Verlag, Aachen, 2008.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner, editors. Dynamics of Knowledge and Belief. Workshop at the 30th Annual German Conference on Artificial Intelligence, KI-2007, Osnabrück, Germany, September 10, 2007. Proceedings. Informatik-Bericht 339. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, 2007.
Available: PDF, BibTeX

B. Messing and K.-P. Huber. Die Doktorarbeit: vom Start zum Ziel. Springer Verlag, 4. edition, 2007.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Vieweg-Verlag, 3., erweiterte Auflage, 2006.
Available: Details, BibTeX

G. Kern-Isberner, W. Rödder, and F. Kulmann, editors. Conditionals, Information, and Inference -- Selected Papers from the Workshop on Conditionals, Information, and Inference, WCII'2002. Number LNAI 3301 in Lecture Notes in Artificial Intelligence. Springer, Berlin Heidelberg New York, 2005.
Available: URL, BibTeX

B. Messing. Das Studium: Vom Start zum Ziel. Springer Verlag, 1. edition, 2005.
Available: URL, BibTeX

B. Messing and K.-P. Huber. Die Doktorarbeit: vom Start zum Ziel. Springer Verlag, 3. edition, 2004.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Vieweg-Verlag, 2., überarbeitete und erweiterte Auflage, 2003.
Available: Details, BibTeX

G. Kern-Isberner, T. Lukasiewicz, and E. Weydert, editors. Issues in Uncertainty in AI, volume 11, Suppl. (November 2003). World Scientific Publishing Company, 2003.
Available: BibTeX

G. Kern-Isberner. Conditionals in Nonmonotonic Reasoning and Belief Revision. Number 2087 in Lecture Notes in Computer Sience. Springer-Verlag, Berlin, 2001.
Available: URL, BibTeX

G. Kern-Isberner, T. Lukasiewicz, and E. Weydert, editors. Uncertainty in Artificial Intelligence, Proceedings of the KI-2001 Workshop. FernUniversität Hagen, Informatik Fachbericht 287-8/2001, 2001.
Available: BibTeX

Manfred Widera. Complete Type Inference in Functional Programming. Mensch & Buch Verlag, Berlin, 2001.
Available: Details, BibTeX

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen. Vieweg-Verlag, Dezember 2000.
Available: Details, BibTeX

Gregor Meyer. On Types and Type Consistency in Logic Programming, volume 235 of Dissertationen zur Künstlichen Intelligenz (DISKI). Akademische Verlagsgesellschaft, Berlin, 2000.
Available: BibTeX

C. Beierle and L. Plümer, editors. Logic Programming: Formal Methods and Practical Applications. Studies in Computer Science and Artificial Intelligence. Elsevier Science B.V./North-Holland, Amsterdam, Holland, 1995.
Available: Details, BibTeX

C. Beierle, editor. 9. Workshop Logische Programmierung. Informatik-Bericht 146. Oktober 1993.
Available: Abstract, BibTeX


2014

C. Beierle, R. Hermsen, and G. Kern-Isberner. Observations on the minimality of ranking functions for qualitative conditional knowledge bases and their computation. In Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, FLAIRS 2014, Pensacola Beach, Florida. May 21-23, 2014, pages 480-485, Menlo Park, CA, 2014. AAAI Press.
Available: BibTeX

C. Beierle, M. Höhnerbach, and M. Marto. Implementation of a transformation system for relational probabilistic knowledge bases simplifying the maximum entropy model computation. In Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, FLAIRS 2014, Pensacola Beach, Florida. May 21-23, 2014, pages 486-489, Menlo Park, CA, 2014. AAAI Press.
Available: BibTeX

C. Beierle, M. Höhnerbach, and M. Marto. Generation of parametrically uniform knowledge bases in a relational probabilistic logic with maximum entropy semantics. In Proc. PRUV 2014 - First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, CEUR Workshop Proceedings, 2014 (to appear).
Available: BibTeX

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Spinger Vieweg, 5., überarbeitete und erweiterte Auflage, 2014 (to appear).
Available: BibTeX

C. Beierle and A. Krämer. Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics. Annals of Mathematics and Artificial Intelligence, 2014.
Available: URL, BibTeX

C. Beierle and U. Lelitko. On a high-level approach to implementing exact real arithmetic in the functional logic programming language Curry. In M. Hanus and R. Rocha, editors, Declarative Programming and Knowledge Management. Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers, volume 8439 of LNAI. Springer, 2014 (to appear).
Available: BibTeX

C. Beierle and C. Meghini, editors. Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings, volume 8367 of Lecture Notes in Computer Science. Springer, 2014.
Available: BibTeX

J. Caspers, K. Zilles, C. Beierle, C. Rottschy, and S. B. Eickhoff. A novel meta-analytic approach: Mining frequent co-activation patterns in neuroimaging databases. NeuroImage, 90:390 -- 402, 2014.
Available: BibTeX

M. Finthammer and C. Beierle. A two-level approach to maximum entropy model computation for relational probabilistic logic based on weighted conditional impacts. In Scalable Uncertainty Management, 8th International Conference , SUM 2014, Proceedings, LNAI. Springer, 2014 (to appear).
Available: BibTeX

G. Kern-Isberner, M. Wilhelm, and C. Beierle. A novel methodology for processing probabilistic knowledge bases under maximum entropy. In Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, FLAIRS 2014, Pensacola Beach, Florida. May 21-23, 2014, pages 496-501, Menlo Park, CA, 2014. AAAI Press.
Available: BibTeX

G. Kern-Isberner, M. Wilhelm, and C. Beierle. Probabilistic knowledge representation using Gröbner basis theory. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2014), Fort Lauderdale, FL, USA, January 6-8, 2014, 2014.
Available: BibTeX

S. Möhle, M. Bründl, and C. Beierle. Modeling a system for decision support in snow avalanche warning using balanced random forest and weighted random forest. In P. Hitzler, S. O. Kuznetsov, A. Krisnadhi, and G. Agre, editors, Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings, LNCS. Springer, 2014 (to appear).
Available: BibTeX

N. Potyka. Linear programs for measuring inconsistency in probabilistic logics. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning, 2014 (to appear).
Available: BibTeX

N. Potyka and M. Thimm. Consolidation of probabilistic knowledge bases by inconsistency minimization. In Proceedings of the 21st European Conference on Artificial Intelligence, 2014 (to appear).
Available: BibTeX

2013

C. Beierle, M. Finthammer, N. Potyka, J. Varghese, and G. Kern-Isberner. A case study on the application of probabilistic conditional modelling and reasoning to clinical patient data in neurosurgery. In L. C. van der Gaag, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings, volume 7958 of LNCS, pages 49-60. Springer, 2013.
Available: URL, BibTeX

C. Beierle, G. Kern-Isberner, and K. Södler. A declarative approach for computing ordinal conditional functions using constraint logic programming. In H. Tompits, S. Abreu, J. Oetsch, J. Pührer, D. Seipel, M. Umeda, and A. Wolf, editors, 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Wien, Austria, Revised Selected Papers, volume 7773 of LNAI, pages 175-192. Springer, 2013.
Available: BibTeX

N. Potyka. Some notes on the factorization of probabilistic logical models under maximum entropy semantics. In Chutima Boonthum-Denecke and G. Michael Youngblood, editors, Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, pages 645-648. AAAI Press, Menlo Park, California, 2013.
Available: BibTeX

N. Potyka, C. Beierle, and G. Kern-Isberner. Changes of relational probabilistic belief states and their computation under optimum entropy semantics. In I. J. Timm and M. Thimm, editors, KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings, volume 8077 of LNCS, pages 176-187. Springer, 2013.
Available: BibTeX

N. Potyka, C. Beierle, and G. Kern-Isberner. On the problem of reversing relational inductive knowledge representation. In L. C. van der Gaag, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings, volume 7958 of LNCS, pages 485-496. Springer, 2013.
Available: URL, BibTeX

J. Varghese, C. Beierle, N. Potyka, and G. Kern-Isberner. Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data. In Proc. 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013), pages 401-404. IEEE Press, New York, 2013.
Available: BibTeX

2012

C. Beierle and G. Kern-Isberner. Aspects of universitarian distance teaching and online learning. Künstliche Intelligenz, 2012.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. Conditional objects revisited: Variants and model translations. In G. M. Youngblood and P. M. McCarthy, editors, Proc. 25th International FLAIRS Conference (FLAIRS-25), pages 561-564. AAAI Press, Menlo Park, California, 2012.
Available: BibTeX

C. Beierle and G. Kern-Isberner. Editorial: Relational approaches to knowledge representation and learning. Logic Journal of the IGPL, 2012.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. Semantical investigations into nonmonotonic and probabilistic logics. Annals of Mathematics and Artificial Intelligence, 65(2-3):123-158, 2012.
Available: URL, BibTeX

C. Beierle, G. Kern-Isberner, and K. Södler. Stepwise optimization of a constraint logic program for the computation of ranking functions. In U. Goltz, M. A. Magnor, H.-J. Appelrath, H. K. Matthies, W.-T. Balke, and L. C. Wolf, editors, Informatik 2012, 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 16.-21.09.2012, Braunschweig, volume 208 of LNI, pages 205-224. GI, 2012.
Available: BibTeX

J. Caspers, K. Zilles, S.B. Eickhoff, and C. Beierle. Coordinate-based pattern-mining on functional neuroimaging databases. In S. Greco, B. Bouchon-Meunier, G. Coletti, M. Fedrizzi, B. Matarazzo, and R. R. Yager, editors, Advances in Computational Intelligence - 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part I, volume 297 of Communications in Computer and Information Science, pages 240-249. Springer, 2012.
Available: URL, BibTeX

J. Caspers, K. Zilles, S.B. Eickhoff, and C. Beierle. PaMiNI: a comprehensive system for mining frequent neuronal patterns of the human brain. In Proc. 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2012). IEEE Press, New York, 2012.
Available: BibTeX

M. Finthammer. A Generalized Iterative Scaling Algorithm for Maximum Entropy Reasoning in Relational Probabilistic Conditional Logic Under Aggregation Semantics. Informatik-Bericht 363, Fakultät für Mathematik und Informatik, FernUniversität in Hagen, April 2012.
Available: PDF, BibTeX

M. Finthammer. An iterative scaling algorithm for maximum entropy reasoning in relational probabilistic conditional logic. In E. Hüllermeier, S. Link, T. Fober, and B. Seeger, editors, Scalable Uncertainty Management, 6th International Conference, Proceedings, volume 7520 of LNAI, pages 351-364. Springer, 2012.
Available: URL, BibTeX

M. Finthammer and C. Beierle. How to exploit parametric uniformity for maximum entropy reasoning in a relational probabilistic logic. In L. Fariñas del Cerro, A. Herzig, and J. Mengin, editors, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, volume 7519 of LNAI. Springer, 2012.
Available: URL, BibTeX

M. Finthammer and C. Beierle. Instantiation restrictions for relational probabilistic conditionals. In E. Hüllermeier, S. Link, T. Fober, and B. Seeger, editors, Scalable Uncertainty Management, 6th International Conference, Proceedings, volume 7520 of LNAI. Springer, 2012.
Available: URL, BibTeX

M. Finthammer and C. Beierle. Using equivalences of worlds for aggregation semantics of relational conditionals. In B. Glimm and A. Krüger, editors, KI 2012: Advances in Artificial Intelligence, 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings, volume 7526 of LNAI, pages 49-60. Springer, 2012.
Available: URL, BibTeX

M. Finthammer, R. Masternak, and C. Beierle. Biomedical diagnosis based on ion mobility spectrometry -- a case study using probabilistic relational modelling and learning. In S. Greco, B. Bouchon-Meunier, G. Coletti, M. Fedrizzi, B. Matarazzo, and R. R. Yager, editors, Advances in Computational Intelligence - 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV, volume 300 of Communications in Computer and Information Science, pages 665-675. Springer, 2012.
Available: URL, BibTeX

J. Fisseler. First-order probabilistic conditional logic and maximum entropy. Logic Journal of the IGPL, 20(5):796-830, 2012.
Available: URL, BibTeX

G. Kern-Isberner, C. Beierle, M. Finthammer, and M. Thimm. Comparing and evaluating approaches to probabilistic reasoning: Theory, implementation, and applications. Transactions on Large-Scale Data- and Knowledge-Centered Systems, 6:31-75, 2012.
Available: BibTeX

A. Krämer and C. Beierle. On lifted inference for a relational probabilistic conditional logic with maximum entropy semantics. In T. Lukasiewicz and A. Sali, editors, Foundations of Information and Knowledge Systems (FoIKS 2012), volume 7153 of LNCS, pages 224-243. Springer, 2012.
Available: URL, BibTeX

Barbara Messing. Das Studium: vom Start zum Ziel: Lei(d)tfaden für Studierende. Springer, Berlin [u.a.], 2. edition, 2012.
Available: URL, BibTeX

N. Potyka. Towards a general framework for maximum entropy reasoning. In Proc. 25th International FLAIRS Conference (FLAIRS-25), pages 555-560. AAAI Press, Menlo Park, California, 2012.
Available: BibTeX

N. Potyka and C. Beierle. An approach to learning relational probabilistic FO-PCL knowledge bases. In E. Hüllermeier, S. Link, T. Fober, and B. Seeger, editors, Scalable Uncertainty Management, 6th International Conference, Proceedings, volume 7520 of LNAI, pages 625-632. Springer, 2012.
Available: URL, BibTeX

2011

C. Beierle, M. Finthammer, G. Kern-Isberner, and M. Thimm. Evaluation and comparison criteria for approaches to probabilistic relational knowledge representation. In J. Bach and S. Edelkamp, editors, KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings, volume 7006 of LNCS, pages 63-74. Springer, 2011.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner, editors. Evolving Knowledge in Theory and Applications. 3rd Workshop on Dynamics of Knowledge and Belief (DKB-2011) at the 34th Annual German Conference on Artificial Intelligence, KI-2011, Berlin, Germany, October 4, 2011. Proceedings. Informatik-Bericht 361. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, 2011.
Available: PDF, BibTeX

C. Beierle and G. Kern-Isberner. On the computation of ranking functions for default rules -- a challenge for constraint programming. In H.-U. Heiß, P. Pepper, H. Schlingloff, and J. Schneider, editors, Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 4.-7.10.2011, Berlin (Abstract Proceedings), volume P-192 of LNI. GI, 2011.
Available: BibTeX

C. Beierle, G. Kern-Isberner, and K. Södler. A constraint logic programming approach for computing ordinal conditional functions. In 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011), INFSYS Research Report 1843-11-06, pages 9-21. TU Wien, 2011.
Available: BibTeX

M. Finthammer and N. Potyka. Learning scenarios under relational probabilistic semantics and ME reasoning. In C. Beierle and G. Kern-Isberner, editors, Evolving Knowledge in Theory and Applications. 3rd Workshop on Dynamics of Knowledge and Belief (DKB-2011), Berlin, Informatik-Bericht 361, pages 46-60. FernUniversität in Hagen, 2011.
Available: BibTeX

R. Janning and C. Beierle. Transformation rules for first-order probabilistic conditional logic yielding parametric uniformity. In J. Bach and S. Edelkamp, editors, KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings, volume 7006 of LNCS, pages 157-168. Springer, 2011. Best Theoretical Paper Award.
Available: URL, BibTeX

G. Kern-Isberner, C. Beierle, M. Finthammer, and M. Thimm. Probabilistic logics in expert systems: Approaches, implementations, and applications. In Proceedings of the 22nd International Conference on Database and Expert Systems Applications (DEXA'11), volume 6860 of LNCS, pages 27-46. Springer, 2011.
Available: URL, BibTeX

N. Potyka. On efficient algorithms for minimal ME-learning. In C. Beierle and G. Kern-Isberner, editors, Evolving Knowledge in Theory and Applications. 3rd Workshop on Dynamics of Knowledge and Belief (DKB-2011), Berlin, Informatik-Bericht 361, pages 72-86. FernUniversität in Hagen, 2011.
Available: BibTeX

2010

C. Beierle, M. Finthammer, G. Kern-Isberner, and M. Thimm. Automated reasoning for relational probabilistic knowledge representation. In J. Giesl and R. Hähnle, editors, Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings, volume 6173 of Lecture Notes in Computer Science, pages 218-224. Springer, 2010.
Available: URL, BibTeX

C. Beierle, B. Freund, G. Kern-Isberner, and M. Thimm. Can Bobby demand delivery? Towards a knowledge-based system for private law. In Proceedings 24th Workshop on Constraint Logic Programming (WLP 2010), pages 34-44. German University in Cairo, 2010.
Available: BibTeX

C. Beierle, B. Freund, G. Kern-Isberner, and M. Thimm. Using defeasible logic programming for argumentation-based decision support in private law. In P. Baroni, F. Cerutti, M. Giacomin, and G. R. Simari, editors, Computational Models of Argument. Proceedings of COMMA 2010, pages 87-98. IOS Press, 2010.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. Editorial: Dynamics of knowledge and belief. Logic Journal of the IGPL, 18(4):485-487, 2010.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. The relationship of the logic of big-stepped probabilities to standard probabilistic logics. In S. Link and H. Prade, editors, Foundations of Information and Knowledge Systems (FoIKS 2010), volume 5956 of Lecture Notes in Computer Science, pages 191-210. Springer, 2010.
Available: URL, BibTeX

M. Finthammer, C. Beierle, J. Fisseler, G. Kern-Isberner, and J. I. Baumbach. Using probabilistic relational learning to support bronchial carcinoma diagnosis based on ion mobility spectrometry. International Journal for Ion Mobility Spectrometry, 13:83-93, 2010.
Available: URL, BibTeX

M. Finthammer, C. Beierle, J. Fisseler, G. Kern-Isberner, B. Möller, and J. I. Baumbach. Probabilistic relational learning for medical diagnosis based on ion mobility spectrometry. In E. Hüllermeier, R. Kruse, and F. Hoffmann, editors, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods - 13th International Conference, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings, Part I, volume 80 of Communications in Computer and Information Science, pages 365-375. Springer, 2010.
Available: URL, BibTeX

J. Fisseler. Learning and Modeling with Probabilistic Conditional Logic, volume 328 of Dissertations in Artificial Intelligence. IOS Press, Amsterdam, 2010.
Available: URL, BibTeX

R. Janning. Commonsense ontologies and the use of words in natural language. In INFORMATIK 2010, Proceedings, volume P-176 of Lecture Notes in Informatics (LNI), pages 85-90, Bonn, 2010. Gesellschaft für Informatik.
Available: BibTeX

R. Janning. Konstruktion von Common Sense-Ontologien durch Analyse natürlicher Sprache. In Informatiktage 2010. Fachwissenschaftlicher Informatik-Kongress, 19. und 20. März 2010, Bonn, volume S-9 of Lecture Notes in Informatics (LNI), pages 31-34, Bonn, 2010. Gesellschaft für Informatik.
Available: BibTeX

B. Messing and M. Seubert. Bayesualize: Visualisierung bedingter Wahrscheinlichkeiten. In M. Kerres, N. Ojstersek, U. Schroeder, and U. Hoppe, editors, DeLFI 2010 - 8. Tagung der Fachgruppe E-Learning der Gesellschaft für Informatik e.V., volume P-169 of Lecture Notes in Informatics (LNI), pages 81-84, Bonn, 2010. Gesellschaft für Informatik.
Available: URL, BibTeX

M. Thimm, M. Finthammer S. Loh, G. Kern-Isberner, and C. Beierle. A system for relational probabilistic reasoning on maximum entropy. In H. W. Guesgen and R. C. Murray, editors, Proceedings 23rd International FLAIRS Conference, FLAIRS'10, pages 116-121. AAAI Press, Menlo Park, California, 2010.
Available: URL, BibTeX

2009

C. Beierle and G. Kern-Isberner. A conceptual agent model based on a uniform approach to various belief operations. In B. Mertsching, M. Hund, and Z. Aziz, editors, KI 2009: Advances in Artificial Intelligence. 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings, volume 5803 of Lecture Notes in Artificial Intelligence, pages 273-280. Springer, 2009.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. Towards an agent model for belief management. In G. E. Lasker and J. Pfalzgraf, editors, Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. (Volume III), pages 6-11. IIAS, Tecumseh, Canada, 2009.
Available: BibTeX

C. Beierle and G. Kern-Isberner. Formal similarities and differences among qualitative conditional semantics. International Journal of Approximate Reasoning, 50(9):1333-1346, November 2009.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner, editors. Relational Approaches to Knowledge Representation and Learning. Workshop at the 32nd Annual German Conference on Artificial Intelligence, KI-2009, Paderborn, Germany, September 15, 2009. Proceedings. Informatik-Bericht 354. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, 2009.
Available: PDF, BibTeX

M. Finthammer, C. Beierle, B. Berger, and G. Kern-Isberner. An implementation of belief change operations based on probabilistic conditional logic. In E. Erdem, F. Lin, and T. Schaub, editors, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, volume 5753 of Lecture Notes in Computer Science, pages 496-501. Springer, 2009.
Available: URL, BibTeX

M. Finthammer, C. Beierle, B. Berger, and G. Kern-Isberner. Probabilistic reasoning at optimum entropy with the MEcore system. In Proceedings 22th International FLAIRS Conference, FLAIRS'09. AAAI Press, Menlo Park, California, 2009.
Available: BibTeX

M. Finthammer, S. Loh, and M. Thimm. Towards a toolbox for relational probabilistic knowledge representation, reasoning, and learning. In C. Beierle and G. Kern-Isberner, editors, Relational Approaches to Knowledge Representation and Learning. Workshop at the 32nd Annual German Conference on Artificial Intelligence, KI-2009, Paderborn, Germany, September 15, 2009. Proceedings, Informatik-Bericht 354, pages 34 -- 48. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, 2009.
Available: BibTeX

J. Fisseler. First-order probabilistic conditional logic - introduction and representation. In C. Beierle and G. Kern-Isberner, editors, Relational Approaches to Knowledge Representation and Learning. Workshop at the 32nd Annual German Conference on Artificial Intelligence, KI-2009, Paderborn, Germany, September 15, 2009. Proceedings, Informatik-Bericht 354, pages 19 -- 33. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, 2009.
Available: BibTeX

Jens Fisseler and Imre Fehér. Data fusion with probabilistic conditional logic. Logic Journal of the IGPL, 2009.
Available: BibTeX

G. Kern-Isberner, M. Thimm, M. Finthammer, and J. Fisseler. Mining default rules from statistical data. In Proceedings of the 22th International FLAIRS Conference (FLAIRS'09), Sanibel Island, USA, Mai 2009.
Available: BibTeX

2008

C. Beierle and G. Kern-Isberner. On the modelling of an agent's epistemic state and its dynamic changes. Electronic Communications of the European Association of Software Science and Technology, 12, 2008.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. A formal approach to agent-based knowledge representation and reasoning using default rules. In G. E. Lasker and J. Pfalzgraf, editors, Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. (Volume II), pages 1-6. IIAS, Tecumseh, Canada, 2008.
Available: BibTeX

C. Beierle and G. Kern-Isberner. A verified AsmL implementation of belief revision. In E. Börger, M. Butler, J. P. Bowen, and P. Boca, editors, Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, volume 5238 of Lecture Notes in Computer Science, pages 98-111. Springer, 2008.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Vieweg+Teubner Verlag, 4., verbesserte Auflage, 2008.
Available: Details, BibTeX

C. Beierle, G. Kern-Isberner, and N. Koch. A high-level implementation of a system for automated reasoning with default rules (system description). In A. Armando, P. Baumgartner, and G. Dowek, editors, Proc. of the 4th International Joint Conference on Automated Reasoning (IJCAR-2008), volume 5195 of Lecture Notes in Computer Science, pages 147-153. Springer, 2008.
Available: URL, BibTeX

Irene Cramer and Marc Finthammer. An evaluation procedure for word net based lexical chaining: Methods and issues. In Proceedings of the Fourth Global WordNet Conference (GWC 2008), Szeged, Ungarn, January 2008. University of Szeged, Department of Informatics.
Available: URL, BibTeX

Irene Cramer and Marc Finthammer. Exploring and navigating: Tools for GermaNet. In Proceedings of the Fourth Global WordNet Conference (GWC 2008), Szeged, Ungarn, January 2008. University of Szeged, Department of Informatics.
Available: URL, BibTeX

Marc Finthammer. Behandlung von Inkonsistenzen in probabilistischen Wissensbasen. VDM Verlag Dr. Müller, March 2008.
Available: URL, BibTeX

Jens Fisseler. Toward markov logic with conditional probabilities. In David C. Wilson and H. Chad Lane, editors, Proceedings of the Twenty-First International FLAIRS Conference, pages 643-648. AAAI Press, 2008.
Available: BibTeX

G. Kern-Isberner, M. Thimm, and M. Finthammer. Qualitative knowledge discovery. In K.-D. Schewe and B. Thalheim, editors, 3rd International Workshop on Semantics in Data and Knowledge Bases (SDKB), volume 4925 of Lecture Notes in Computer Science, pages 88-113. Springer Verlag, Dezember 2008.
Available: BibTeX

M. Widera. Testing in Functional Programming. Shaker Verlag, Aachen, 2008.
Available: URL, BibTeX

2007

C. Beierle and G. Kern-Isberner. An ASM refinement and implementation of the Condor system using ordinal conditional functions. In A. Prinz, editor, Proceedings 14th International Workshop on Abstract State Machines (ASM'2007). Agder University College, Grimstad, Norway, 2007.
Available: PDF, BibTeX

C. Beierle and G. Kern-Isberner, editors. Dynamics of Knowledge and Belief. Workshop at the 30th Annual German Conference on Artificial Intelligence, KI-2007, Osnabrück, Germany, September 10, 2007. Proceedings. Informatik-Bericht 339. Fakultät für Mathematik und Informatik, FernUniversität in Hagen, 2007.
Available: PDF, BibTeX

Marc Finthammer, Gabriele Kern-Isberner, and Manuela Ritterskamp. Resolving inconsistencies in probabilistic knowledge bases. In Joachim Hertzberg, Michael Beetz, and Roman Englert, editors, Proceedings of the 30th Annual German Conference on AI (KI 2007), volume 4667 of Lecture Notes in Computer Science (LNAI), pages 114-128, Osnabrück, Germany, September 2007. Springer.
Available: URL, BibTeX

J. Fisseler, G. Kern-Isberner, and C. Beierle. Learning uncertain rules with CondorCKD. In Proceedings 20th International FLAIRS Conference, FLAIRS'07, pages 74-79. AAAI Press, Menlo Park, California, 2007.
Available: BibTeX

J. Fisseler, G. Kern-Isberner, C. Beierle, A. Koch, and C. Müller. Algebraic knowledge discovery using Haskell. In Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, volume 4354 of Lecture Notes in Computer Science, pages 80-93, Berlin, Heidelberg, 2007. Springer-Verlag.
Available: URL, BibTeX

B. Messing and K.-P. Huber. Die Doktorarbeit: vom Start zum Ziel. Springer Verlag, 4. edition, 2007.
Available: URL, BibTeX

2006

C. Beierle and G. Kern-Isberner. A note on comparing semantics for conditionals. In Proceedings 19th International FLAIRS Conference, FLAIRS'06, pages 794-799. AAAI Press, Menlo Park, California, 2006.
Available: BibTeX

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Vieweg-Verlag, 3., erweiterte Auflage, 2006.
Available: Details, BibTeX

J. Fisseler, G. Kern-Isberner, A. Koch, C. Müller, and C. Beierle. CondorCKD -- implementing an algebraic knowledge discovery system in a functional programming language. Informatik Fachbericht 332, FernUniversität in Hagen, 2006.
Available: PDF, BibTeX

G. Kern-Isberner. Mining data with group theoretical means. In J. Wang, editor, Encyclopedia of Data Warehousing and Mining, pages 763-767. IGP, Hershey, PA, 2006.
Available: BibTeX

I. Schulz-Gerlach and C. Beierle. Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik. In M. Mühlhäuser, G. Rösling, and R. Steinmetz, editors, DeLFI 2006: 4. e-Learning Fachtagung Informatik, volume P-88 of GI Lecture Notes in Informatics (LNI), pages 243-254, Bonn, 2006. Gesellschaft für Informatik.
Available: BibTeX

Manfred Widera. Adapting structural testing to functional programming. In H. R. Arabnia, editor, Proceedings of the 2006 International Conference on Software Engineering Research and Practice. CSREA Press, 2006.
Available: PDF, BibTeX

Manfred Widera. Why testing matters in functional programming. In Draft Proceedings of the 7th Symposium on Trends in Functional Programming, pages 55-67. University of Nottingham, 2006.
Available: PDF, BibTeX

M. Widera, B. Messing, G. Kern-Isberner, M. Isberner, and C. Beierle. An extendable system for the specification and generation of interactive self-tests. In Z. Pan, R. Aylett, H. Diener, and X. Jin, editors, Edutainment: Technology and Application, volume 3942 of Lecture Notes in Computer Science, pages 316-321. Springer-Verlag, 2006.
Available: URL, BibTeX

M. Widera, B. Messing, G. Kern-Isberner, M. Isberner, and C. Beierle. Computer science exercises in a virtual university. In H. R. Arabnia, editor, Proc. of the 2006 International Conference on E-Learning, E-Buiseness, Enterprise Information Systems, E-Government, & Outsourcing, EEE'06, pages 23-29. CSREA Press, 2006.
Available: BibTeX

2005

C. Beierle, O. Dusso, and G. Kern-Isberner. Using answer set programming for a decision support system. In C. Baral, G. Greco, N. Leone, and G. Terracina, editors, 8th International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR 2005), volume 3662 of Lecture Notes in Artificial Intelligence, pages 374-378. Springer-Verlag, 2005.
Available: URL, BibTeX

C. Beierle, O. Dusso, and G. Kern-Isberner. Modelling and implementing a knowledge base for checking medical invoices with DLV.. In G. Brewka, I. Niemelä, T. Schaub, and M. Truszczynski, editors, Nonmonotonic Reasoning, Answer Set Programming and Constraints, volume 05171 of Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005.
Available: URL, BibTeX

C. Beierle, M. Isberner, G. Kern-Isberner, B. Messing, and M. Widera. Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. In J. Haake, U. Lucke, and D. Tavangarian, editors, DeLFI 2005: 3. e-Learning Fachtagung Informatik, volume P-66 of Lecture Notes in Informatics (LNI). Köllen Verlag, 2005.
Available: BibTeX

C. Beierle and G. Kern-Isberner. Footprints of conditionals. In D. Hutter and W. Stephan, editors, Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, volume 2605 of Lecture Notes in Computer Science, pages 99-119. Springer-Verlag, 2005.
Available: URL, BibTeX

C. Beierle and G. Kern-Isberner. Looking at probabilistic conditionals from an institutional point of view. In G. Kern-Isberner, W. Rödder, and F. Kulmann, editors, Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, volume 3301 of Lecture Notes in Computer Science, pages 162-179. Springer, Berlin Heidelberg New York, 2005.
Available: URL, BibTeX

C. Beierle, M. Kulas, and M. Widera. A pragmatic approach to pre-testing Prolog programs. In D. Seipel, M. Hanus, U. Geske, and O. Breitenstein, editors, Applications of Declarative Programming and Knowledge Management. 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, volume 3392 of Lecture Notes in Computer Science, pages 294-308. Springer, 2005.
Available: URL, BibTeX

G. Kern-Isberner, W. Rödder, and F. Kulmann, editors. Conditionals, Information, and Inference -- Selected Papers from the Workshop on Conditionals, Information, and Inference, WCII'2002. Number LNAI 3301 in Lecture Notes in Artificial Intelligence. Springer, Berlin Heidelberg New York, 2005.
Available: URL, BibTeX

M.Kulas. Toward the concept of backtracking computation. In L. Aceto, W. J. Fokkink, and I. Ulidowski, editors, Proc. of the Workshop on Structural Operational Semantics (SOS'04), London, volume 128, issue 1 of ENTCS, pages 39-59. Elsevier, 2005.
Available: URL, PDF, BibTeX

B. Messing. Das Studium: Vom Start zum Ziel. Springer Verlag, 1. edition, 2005.
Available: URL, BibTeX

C. Müller. Implementierung von Default-Regeln durch optimale konditionale Rangfunktionen. In Informatiktage 2005. Fachwissenschaftlicher Informatik-Kongress, 8. und 9. April 2005, Schloss Birlinghoven, Sankt Augustin, volume S-2 of Lecture Notes in Informatics (LNI), Bonn, 2005. Gesellschaft für Informatik.
Available: BibTeX

Manfred Widera. Concurrent Erlang flow graphs. In Proceedings of the Erlang/OTP User Conference 2005, 2005.
Available: URL, PDF, BibTeX

M. Widera, B. Messing, G. Kern-Isberner, M. Isberner, and C. Beierle. Ein erweiterbares System für die Spezifikation und Generierung interaktiver Selbsttestaufgaben. Informatik Fachbericht 328, FernUniversität in Hagen, 2005.
Available: PDF, BibTeX

2004

C. Beierle, M. Kulas, and M. Widera. Partial specifications of program properties. In M. Ducasse, U. Nilsson, and D. Seipel, editors, Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8-9, 2004, volume No. 12, pages 18-34. Linköping Electronic Conference Proceedings, 2004.
Available: URL, BibTeX

G. Kern-Isberner. A thorough axiomatization of a principle of conditional preservation in belief revision. Annals of Mathematics and Artificial Intelligence, 2004.
Available: PS, PDF, BibTeX

G. Kern-Isberner and J. Fisseler. Knowledge discovery by reversing inductive knowledge representation. In Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR-2004. AAAI Press, 2004.
Available: BibTeX

G. Kern-Isberner and T. Lukasiewicz. Combining probabilistic logic programming with the power of maximum entropy. Artificial Intelligence, Special Issue on Nonmonotonic Reasoning, 2004.
Available: BibTeX

G. Kern-Isberner and W. Rödder. Belief revision and information fusion on optimum entropy. International Journal of Intelligent Systems, 2004.
Available: BibTeX

B. Messing and K.-P. Huber. Die Doktorarbeit: vom Start zum Ziel. Springer Verlag, 3. edition, 2004.
Available: URL, BibTeX

Manfred Widera. Data flow considerations for source code directed testing of functional programs. In Hans-Wolfgang Loidl, editor, Proceedings of the Fifth Symposium on Trends in Functional Programming, November 2004.
Available: PDF, BibTeX

Manfred Widera. Flow graph interpretation for source code directed testing of functional programs. In Clemens Grelck and Frank Huch, editors, Implementation an Application of Functional Languages, 16th International Workshop, IFL'04, Technischer Bericht 0408. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2004.
Available: PDF, BibTeX

Manfred Widera. Flow graphs for testing sequential Erlang programs. In Proceedings of the 3rd ACM SIGPLAN Erlang Workshop. ACM Press, 2004.
Available: URL, PDF, BibTeX

Manfred Widera. Testing Scheme programming assignments automatically. In Stephen Gilmore, editor, Trends in Functional Programming, volume 4. Intellect, 2004.
Available: PDF, BibTeX

2003

C. Beierle and G. Kern-Isberner. Modelling conditional knowledge discovery and belief revision by Abstract State Machines. In E. Börger, A. Gargantini, and E. Riccobene, editors, Abstract State Machines 2003 -- Advances in Theory and Applications, Proceedings 10th International Workshop, ASM'2003, volume 2589 of Lecture Notes in Computer Science, pages 186-203. Springer, 2003.
Available: URL, PS, PDF, BibTeX

C. Beierle and G. Kern-Isberner. A logical study on qualitative default reasoning with probabilities. In M. Y. Vardi and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning. 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, volume 2850 of Lecture Notes in Computer Science, pages 376-388. Springer, 2003.
Available: URL, PS, PDF, BibTeX

C. Beierle and G. Kern-Isberner. An alternative view of knowledge discovery. In Proceedings Hawaii International Conference on System Sciences, HICSS-36. IEEE Computer Press, 2003.
Available: PS, PDF, BibTeX

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. Vieweg-Verlag, 2., überarbeitete und erweiterte Auflage, 2003.
Available: Details, BibTeX

C. Beierle, M. Kulas, and M. Widera. Automatic analysis of programming assignments. In A. Bode, J. Desel, S.Ratmayer, and M. Wessner, editors, DeLFI 2003. Proceedings der 1. e-Learning Fachtagung Informatik, volume P-37 of Lecture Notes in Informatics (LNI), pages 144-153, Bonn, 2003. Köllen Verlag.
Available: BibTeX

C. Beierle, M. Kulas, and M. Widera. Computer programming exercises in distance learning: Components of the AT(x) system. In Proc. of the International Conference on Networked e-learning for European Universities, Leuven, Belgium, 2003. EuroPace.
Available: BibTeX

C. Beierle, M. Kulas, and M. Widera. Programming assignments in a virtual university. In A. Mendez-Vilas, J. A. Mesa Gonzalez, and J. Mesa Gonzalez, editors, Proceedings of the Second International Conference on Multimedia and Information & Communication Technologies in Education (m-ICTE2003), pages 968-972, Badajoz, 2003. Junta de Extramadura.
Available: BibTeX

G. Kern-Isberner, T. Lukasiewicz, and E. Weydert, editors. Issues in Uncertainty in AI, volume 11, Suppl. (November 2003). World Scientific Publishing Company, 2003.
Available: BibTeX

G. Kern-Isberner and W. Rödder. Belief revision and information fusion in a probabilistic environment. In Proceedings 16th International FLAIRS Conference, FLAIRS'03, pages 506-510, Menlo Park, California, 2003. AAAI Press.
Available: PS, BibTeX

G. Kern-Isberner and W. Rödder. Fusing probabilistic information on maximum entropy. In Proceedings 26th German Conference on Artificial Intelligence, KI-2003, number 2821 in LNAI, pages 407-420, Berlin Heidelberg New York, 2003. Springer.
Available: URL, BibTeX

M. Kulas. Pure Prolog execution in 21 rules. In Proc. of the 5th Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'03), Kinsale, September 2003.
Available: URL, PDF, BibTeX

W. Rödder and G. Kern-Isberner. From information to probability: an axiomatic approach. International Journal of Intelligent Systems, 18(4):383-403, 2003.
Available: PDF, BibTeX

W. Rödder and G. Kern-Isberner. Selflearning or how to make a knowledge base curious about itself. In Proceedings 26th German Conference on Artificial Intelligence, KI-2003, number 2821 in LNAI, pages 465-474, Berlin Heidelberg New York, 2003. Springer.
Available: URL, BibTeX

Manfred Widera. Towards flow graph directed testing of functional programs. In Phil Trinder and Grag Michaelson, editors, Draft Proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL, 2003.
Available: PDF, BibTeX

2002

C. Beierle and G. Kern-Isberner. Introduction to Artificial Intelligence. In Proceedings Interdisciplinary College 2002, IK2002, Günne, Möhnesee, 2002.
Available: BibTeX

C. Beierle and G. Kern-Isberner. Knowledge discovery and the inverse representation problem. In H. R. Arabnia, Y. Mun, and B. Prasad, editors, Proc. of the International Conference on Knowledge Engineering, IKE'02. CSREA Press, 2002.
Available: BibTeX

C. Beierle and G. Kern-Isberner. On the interpretation of uncertain rules in propositional logic. In H. R. Arabnia and Y. Mun, editors, Proc. of the International Conference on Artificial Intelligence. CSREA Press, 2002.
Available: BibTeX

C. Beierle and G. Kern-Isberner. Using institutions for the study of qualitative and quantitative conditional logics. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Logics in Artificial Intelligence, European Conference (JELIA 2002), Cosenza, Italy, September, 23-26, Proceedings, volume 2424 of Lecture Notes in Computer Science, pages 161-172. Springer, 2002.
Available: URL, PS, PDF, BibTeX

M.A. Falappa, G. Kern-Isberner, and G.R. Simari. Explanations, belief revision and defeasible reasoning. Artificial Intelligence, 141(1-2):1-28, 2002.
Available: PS, BibTeX

G. Kern-Isberner. A structural approach to default reasoning. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, KR'2002, pages 147-157, San Francisco, Ca., 2002. Morgan Kaufmann.
Available: PS, BibTeX

G. Kern-Isberner. Handling conditionals adequately in uncertain reasoning and belief revision. Journal of Applied Non-Classical Logics, 12(2):215-237, 2002.
Available: PS, BibTeX

G. Kern-Isberner. The principle of conditional preservation in belief revision. In Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2002, pages 105-129. Springer LNCS 2284, 2002.
Available: PS, BibTeX

M. Widera and C. Beierle. Function types in complete type inference. In K. Hammond and S. Curtis, editors, Trends in Functional Programming, Volume 3, pages 111-122. Intellect, 2002.
Available: BibTeX

2001

G. Kern-Isberner. Conditional indifference and conditional preservation. Journal of Applied Non-Classical Logics, 11(1-2):85-106, 2001.
Available: BibTeX

G. Kern-Isberner. Conditionals in knowledge representation and belief revision. In Proceedings Fifth Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their applications, DGNMR'01, Potsdam, Germany, 2001.
Available: PS, BibTeX

G. Kern-Isberner. Conditionals in Nonmonotonic Reasoning and Belief Revision. Number 2087 in Lecture Notes in Computer Sience. Springer-Verlag, Berlin, 2001.
Available: URL, BibTeX

G. Kern-Isberner. Discovering most informative rules from data. In Proceedings International Conference on Intelligent Agents, Web Technologies and Internet Commerce, IAWTIC'2001, 2001.
Available: PS, BibTeX

G. Kern-Isberner. Handling conditionals adequately in uncertain reasoning. In Proceedings European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU'01, pages 604-615. Springer LNAI 2143, 2001.
Available: URL, PS, BibTeX

G. Kern-Isberner. Representing and learning conditional information in possibility theory. In Proceedings 7th Fuzzy Days, Dortmund, Germany, pages 194-217. Springer LNCS 2206, 2001.
Available: URL, PS, BibTeX

G. Kern-Isberner, T. Lukasiewicz, and E. Weydert, editors. Uncertainty in Artificial Intelligence, Proceedings of the KI-2001 Workshop. FernUniversität Hagen, Informatik Fachbericht 287-8/2001, 2001.
Available: BibTeX

M. Kulas and C. Beierle. Defining Standard Prolog in rewriting logic. In K. Futatsugi, editor, Proc. of the 3rd Int. Workshop on Rewriting Logic and its Applications (WRLA'2000), Kanazawa, volume 36 of Electronic Notes in Theoretical Computer Science. Elsevier, 2001.
Available: Abstract, DVI, PDF, BibTeX

Manfred Widera. A sketch of complete type inference for functional programming. In Michael Hanus, editor, Functional and (Constraint) Logic Programming (WFLP 2001), September 2001.
Available: Abstract, PS, PDF, BibTeX

Manfred Widera. An algorithm for checking the disjointness of types. In Manuel Serrano, editor, Proceedings of the Second Workshop on Scheme and Functional Programming, September 2001.
Available: Abstract, PS, PDF, BibTeX

Manfred Widera. Complete Type Inference in Functional Programming. Mensch & Buch Verlag, Berlin, 2001.
Available: Details, BibTeX

Manfred Widera and Christoph Beierle. A term rewriting scheme for function symbols with variable arity. Informatik Berichte 280, FernUniversität Hagen, Januar 2001.
Available: Abstract, DVI, PS, PDF, BibTeX

Manfred Widera and Christoph Beierle. An approach to checking the non-disjointness of types in functional programming. Informatik Berichte 281, FernUniversität Hagen, Januar 2001.
Available: Abstract, DVI, PS, PDF, BibTeX

Manfred Widera and Christoph Beierle. Function types in complete type inference. In Proceedings of the 3rd Scottish Functional Programming Workshop, 2001.
Available: Abstract, PS, PDF, BibTeX

2000

C. Beierle and G. Kern-Isberner. Methoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen. Vieweg-Verlag, Dezember 2000.
Available: Details, BibTeX

Reinhold Kloos Christoph Beierle and Gregor Meyer. A pragmatic type concept for prolog supporting polymorphism, subtyping, and meta-programming. In Sandro Etalle and Jan-Georg Smaus, editors, Electronic Notes in Theoretical Computer Science, volume 30. Elsevier Science Publishers, 2000.
Available: Abstract, PS, BibTeX

G. Kern-Isberner. Conditional preservation and conditional indifference. In Proceedings 8th International Workshop on Nonmonotonic Reasoning (NMR'2000), Breckenridge, Colorado, 2000.
Available: PS, BibTeX

G. Kern-Isberner. Solving the inverse representation problem. In Proceedings 14th European Conference on Artificial Intelligence, ECAI'2000, pages 581-585, Berlin, 2000. IOS Press.
Available: PS, BibTeX

M. Kulas. A rewriting Prolog semantics. In M. Leuschel, A. Podelski, R. Ramakrishnan C. and U. Ultes-Nitsche, editors, Proc. of the CL'2000 Workshop on Verification and Computational Logic (VCL'2000), London, 2000.
Available: URL, Abstract, PS, BibTeX

M. Kulas. Annotations for Prolog -- A concept and runtime handling. In A. Bossi, editor, Logic-Based Program Synthesis and Transformation. Selected Papers of the 9th Int. Workshop (LOPSTR'99), Venezia, volume 1817 of LNCS, pages 234-254. Springer-Verlag, 2000.
Available: URL, Abstract, PS, BibTeX

M. Kulas. Debugging Prolog using annotations. In M. Ducassé, A. Kusalik, and G. Puebla, editors, Proc. of the 10th Workshop on Logic Programming Environments (WLPE'99), Las Cruces, NM, volume 30, issue 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 2000.
Available: URL, Abstract, PS, BibTeX

Gregor Meyer. On Types and Type Consistency in Logic Programming, volume 235 of Dissertationen zur Künstlichen Intelligenz (DISKI). Akademische Verlagsgesellschaft, Berlin, 2000.
Available: BibTeX

Manfred Widera and Christoph Beierle. Detecting common elements of types. In Stephen Gilmore, editor, Trends in Functional Programming, volume 2. Intellect, 2000.
Available: Abstract, DVI, PS, PDF, BibTeX

M. Widera and C. Beierle. How to combine the benefits of strict and soft typing. In Greg Michaelson, Phil Trinder, and Hans-Wolfgang Loidl, editors, Trends in Functional Programming. Intellect, 2000.
Available: Abstract, PS, PDF, BibTeX

1999

C. Beierle and G. Meyer. Using types as approximations for type checking Prolog programs. In A. Middeldorp and T. Sato, editors, Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, volume 1722 of Lecture Notes in Computer Science, pages 251-266. Springer, 1999.
Available: URL, PDF, BibTeX

G. Kern-Isberner. A unifying framework for symbolic and numerical approaches to nonmonotonic reasoning and belief revision, 1999.
Available: BibTeX

G. Kern-Isberner. Following conditional structures of knowledge. In KI-99: Advances in Artificial Intelligence, Proceedings of the 23rd Annual German Conference on Artificial Intelligence, pages 125-136. Springer Lecture Notes in Artificial Intelligence LNAI 1701, 1999.
Available: URL, BibTeX

G. Kern-Isberner. Postulates for conditional belief revision. In Proceedings Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99, pages 186-191. Morgan Kaufmann, 1999.
Available: PS, BibTeX

G. Kern-Isberner. Revising and updating probabilistic beliefs. In M.-A. Williams and H. Rott, editors, Frontiers in belief revision, pages 329-344. Kluwer Academic Publishers, Dordrecht, 1999.
Available: BibTeX

G. Kern-Isberner. Revising by conditional beliefs. In Proceedings Fourth Dutch-German Workshop on Nonmonotonic Reasoning Rechniques And Their Applications, DGNMR-99, University of Amsterdam, 1999. Institute for Logic, Language and Computation.
Available: PS, BibTeX

M. Kulas. Port annotations for Prolog. Informatik Berichte 254, FernUniversität Hagen, June 1999.
Available: Details, BibTeX

T. Lukasiewicz and G. Kern-Isberner. Probabilistic logic programming under maximum entropy. In Proceedings ECSQARU-99, volume 1638, pages 279-292. Springer Lecture Notes in Artificial Intelligence, 1999.
Available: URL, PS, BibTeX

Gregor Meyer. On Types and Type Consistency in Logic Programming. PhD thesis, FernUniversität Hagen, 1999.
Available: Details, BibTeX

M. Widera and C. Beierle. Combining strict and soft typing in functional programming. In K. Beiersdörfer, G. Engels, and W. Schäfer, editors, Informatik'99 -- Informatik überwindet Grenzen, pages 350-359. Springer-Verlag, 1999.
Available: Abstract, PS, PDF, BibTeX

M. Widera and C. Beierle. Local normalization of functional programs. Informatik Berichte 248, FernUniversität Hagen, Januar 1999.
Available: Abstract, PS, BibTeX

1998

G. Kern-Isberner. A note on conditional logics and entropy. International Journal of Approximate Reasoning, 19:231-246, 1998.
Available: BibTeX

G. Kern-Isberner. Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artificial Intelligence, 98:169-208, 1998.
Available: BibTeX

G. Kern-Isberner. Nonmonotonic reasoning in probabilistics. In Proceedings European Conference on Artificial Intelligence, ECAI'98, pages 580 -- 584, West Sussex, UK, 1998. Wiley & Sons.
Available: PS, BibTeX

G. Kern-Isberner. Revising and updating probabilistic beliefs. Informatik Berichte 244, FernUniversität Hagen, 1998.
Available: PS, BibTeX

G. Meyer and C. Beierle. Dimensions of types in logic programming. In W. Bibel and P. H. Schmitt, editors, Automated Deduction - A Basis for Applications, chapter 10. Kluwer Academic Publishers, Netherlands, 1998.
Available: BibTeX

M. Widera and C. Beierle. A complete type system for functional languages. Informatik Berichte 240, FernUniversität Hagen, September 1998.
Available: Abstract, PS, BibTeX

1997

G. Kern-Isberner. A conditional-logical approach to minimum cross-entropy. In Proceedings 14th Symposium on Theoretical Aspects of Computer Science STACS'97, pages 237 -- 248, Berlin Heidelberg New York, 1997. Springer.
Available: Abstract, PS, BibTeX

G. Kern-Isberner. A logically sound method for uncertain reasoning with quantified conditionals. In Proceedings First International Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR, pages 365 -- 379, Berlin Heidelberg New York, 1997. Springer.
Available: Abstract, PS, BibTeX

G. Kern-Isberner. The principle of minimum cross-entropy and conditional logic. In Proceedings of the Third Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, pages 73-82, Saarbrücken, Germany, 1997. MPI for Computer Science.
Available: BibTeX

W. Rödder and G. Kern-Isberner. Léa Sombé und entropie-optimale Informationsverarbeitung mit der Expertensystem-Shell SPIRIT. OR Spektrum, 19/3, 1997.
Available: BibTeX

W. Rödder and G. Kern-Isberner. Representation and extraction of information by probabilistic logic. Information Systems, 21(8):637-652, 1997.
Available: BibTeX

G. Schmitt, H. Noltemeier, and M. Widera. Inkrementelle temporale Constraintpropagierung. KI, 11(1):7-13, 1997.
Available: BibTeX

1996

C. Beierle and E. Börger. Refinement of a typed WAM extension by polymorphic order-sorted types. Formal Aspects of Computing, 8(5):539-564, 1996.
Available: Abstract, DVI, PS, PDF, BibTeX

C. Beierle and E. Börger. Specification and correctness proof of a WAM extension for type-constraint logic programming. Formal Aspects of Computing, 8(4):428-462, 1996.
Available: Abstract, DVI, PS, PDF, BibTeX

C. Beierle, E. Börger, I. Durdanovic, U. Glässer, and E. Riccobene. Refining abstract machine specifications of the steam boiler control to well documented executable code. In J.-R. Abrial, E. Börger, and H. Langmaack, editors, Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1996.
Available: URL, BibTeX

G. Kern-Isberner. Characterizing the principle of minimum cross-entropy within a conditional logical framework. Informatik Fachbericht 206, FernUniversität Hagen, 1996.
Available: BibTeX

G. Kern-Isberner. Conditional logics and entropy. Informatik Fachbericht 203, FernUniversität Hagen, 1996.
Available: BibTeX

G. Kern-Isberner and H.P. Reidmacher. Interpreting a contingency table by rules. International Journal of Intelligent Systems, 11(6), 1996.
Available: BibTeX

G. Meyer. On the use of types in logic programming. Informatik Fachbericht 1999, FernUniversität Hagen, June 1996.
Available: BibTeX

G. Meyer. Type checking and type inferencing for logic programs with subtypes and parametric polymorphism. Informatik Fachbericht 200, FernUniversität Hagen, June 1996.
Available: BibTeX

1995

C. Beierle. Concepts, implementation, and applications of a typed logic programming language. In C. Beierle and L. Plümer, editors, Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence, chapter 5, pages 139-167. Elsevier Science B.V./North-Holland, Amsterdam, Holland, 1995.
Available: BibTeX

C. Beierle. Type inferencing for polymorphic order-sorted logic programs. In L. Sterling, editor, Proceedings of the Twelfth International Conference on Logic Programming, pages 765-780, Cambridge, MA, 1995. MIT Press.
Available: Abstract, DVI, PS, PDF, BibTeX

C. Beierle and L. Plümer, editors. Logic Programming: Formal Methods and Practical Applications. Studies in Computer Science and Artificial Intelligence. Elsevier Science B.V./North-Holland, Amsterdam, Holland, 1995.
Available: Details, BibTeX

G. Meyer. A framework for object-oriented logic programming. In L. Dreschler-Fischer and S. Pribbenow, editors, 19th Annual German Conference on Artificial Intelligence, Workshops, Bielefeld, September 1995.
Available: BibTeX

G. Meyer. Polymorphic feature types. In C. Beierle and L. Plümer, editors, Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence, chapter 6, pages 169-203. Elsevier Science B.V./North-Holland, Amsterdam, Holland, 1995.
Available: BibTeX

C.-H. Meyer, G. Kern-Isberner, and W. Rödder. Analyse medizinisch-soziologischer Daten mittels eines probabilistischen Expertensystems. In Proceedings Symposium on Operations Research SOR'95, pages 347-352, Berlin Heidelberg New York, 1995. Springer.
Available: BibTeX

A. Schmücker-Schend, C. Beierle, and U. Geske. Wissensbasierte Produktionsplanung. Der GMD-Spiegel, 25(1):37-42, 1995.
Available: BibTeX

1994

C. Beierle. Formal design of an abstract machine for constraint logic programming. In B. Pehrson and I. Simon, editors, Technology and Foundations - Proceedings of the IFIP Congress 94, volume 1, pages 377-382. Elsevier / North Holland, Amsterdam, 1994.
Available: Abstract, DVI, PS, PDF, BibTeX

C. Beierle, S. Böttcher, and G. Meyer. Report of the Logic Programming Language PROTOS-L (revised version). Working Paper No 4, IBM Germany, Scientific Center, Inst. for Logics and Linguistics, Heidelberg, Juli 1994.
Available: Abstract, DVI, PS, PDF, BibTeX

C. Beierle and G. Meyer. Run-time type computations in the Warren Abstract Machine. Journal of Logic Programming, 18(2):123-148, February 1994.
Available: Abstract, DVI, PS, PDF, BibTeX

G. Meyer. Logisches Programmieren mit Typhierarchien -- open-world vs. closed-world. In J. Kunze and H. Stoyan, editors, 18. Deutsche Jahrestagung f. Künstliche Intelligenz, Workshops, Saarbrücken, September 1994.
Available: BibTeX

G. Meyer. Zur Modellierung in der ordnungssortierten Programmierung. In N. Fuchs, editor, Workshop on Logic Programming, Zürich, 1994.
Available: BibTeX

G. Meyer and C. Beierle. PROTOS-L Users's Manual. Working Paper No 5, IBM Germany, Scientific Center, Institute for Logics and Linguistics, Heidelberg, Juli 1994.
Available: BibTeX

G. Meyer, C. Beierle, and R. Scheubrein. Aspects of coupling logic programming and databases. In H.-H. Bock, W. Lenski, and M. M. Richter, editors, Information Systems and Data Analysis, volume 4 of Studies in Classification, Data Analysis, and Knowledge Organization, pages 111-125. Springer-Verlag, 1994.
Available: BibTeX

1993

C. Beierle, editor. 9. Workshop Logische Programmierung. Informatik-Bericht 146. Oktober 1993.
Available: Abstract, BibTeX

C. Beierle, U. Hedtstück, U. Pletat, and J. Siekmann. An order-sorted predicate logic with closely coupled taxonomic information. In J. V. Tucker and K. Meinke, editors, Many Sorted Logic and its Applications, pages 179-211. John Wiley & Sons, Ltd., London, 1993.
Available: BibTeX

C. Beierle, U. Pletat, and R. Studer. Knowledge representation for natural language understanding: The L-LILOG approach. IEEE Transactions on Knowledge and Data Engineering, 5(3):386-401, June 1993.
Available: Abstract, BibTeX

G. Meyer. Zusicherungen zur Diskussion gestellt. Softwaretechnik-Trends, Mitteilungen der GI-Fachgruppe 'Software Engineering', 13(2):55-61, May 1993.
Available: BibTeX

G. Meyer and S. Weigel. Polymorphe Featuretypen - Typinferenz und Typüberprüfung. In H. Boley, F. Bry, and U. Geske, editors, Proc. Workshop ``Neuere Entwicklungen der deklarativen KI-Programmierung'' auf der KI-93, Humboldt-Universität, Berlin. Research Report RR-93-35, DFKI Kaiserslautern, September 1993.
Available: BibTeX

J. Poswig and M. Kulas. An application of logic programming in type systems of visual languages. In C. Beierle, editor, 9. Workshop Logische Programmierung, Informatik-Bericht 146, pages 85-89. FB Informatik, FernUniversität Hagen, Oktober 1993.
Available: BibTeX

H.P. Reidmacher and G. Kern-Isberner. Unsichere logische Regeln in Expertensystemen mit probabilistischer Wissensbasis. Fachbereich Wirtschaftswissenschaften, Diskussionsbeitrag 206, FernUniversität Hagen, 1993.
Available: BibTeX

1992

C. Beierle. Knowledge based PPS applications in PROTOS-L. In C. Comyn, N. E. Fuchs, and M. J. Ratcliffe, editors, Logic Programming in Action, volume 636 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1992.
Available: BibTeX

C. Beierle. Logic programming with typed unification and its realization on an abstract machine. IBM Journal of Research and Development, 36(3):375-390, May 1992.
Available: BibTeX

C. Beierle and E. Börger. Correctness proof for the WAM with types. In E. Börger, H. Kleine Büning, G. Jäger, and M. M. Richter, editors, Computer Science Logic - CSL'91, volume 626 of Lecture Notes in Computer Science, pages 15-34. Springer-Verlag, 1992.
Available: BibTeX

C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt, and J. Siekmann. An order-sorted logic for knowledge representation systems. Artificial Intelligence, 55(2-3):149-191, 1992.
Available: Abstract, BibTeX

M. Benichou, H. Beringer, M. Gauthier, and C. Beierle. Prolog at IBM: An advanced and evolving application development technology. IBM Systems Journal, 31(4):755-773, 1992.
Available: BibTeX

G. Meyer, C. Beierle, and R. Scheubrein. Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken. IWBS Report 219, IBM Germany, Scientific Center, Institute for Knowledge Based Systems, Stuttgart, June 1992.
Available: BibTeX

1991

C. Beierle. An overview on planning applications in PROTOS-L. In R. Vichnevetsky and J. H. Miller, editors, Proceedings 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991.
Available: BibTeX

C. Beierle, G. Meyer, and H. Semle. A brief description of the PROTOS-L system. In H. Boley and M. M. Richter, editors, Processing Declarative Knowledge - PDK'91, volume 567 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1991.
Available: BibTeX

C. Beierle, G. Meyer, and H. Semle. Extending the Warren Abstract Machine to polymorphic order-sorted resolution. In V. Saraswat and K. Ueda, editors, Logic Programming: Proceedings of the 1991 International Symposium, pages 272-286, Cambridge, MA, 1991. MIT Press.
Available: BibTeX

C. Beierle and A. Voss. Stepwise software development: Combining axiomatic and algorithmic approaches in algebraic specifications. Technology and Science of Informatics, 10(1):35-51, January 1991.
Available: BibTeX

1990

C. Beierle. Types, modules and databases in the logic programming language PROTOS-L. In K. H. Bläsius, U. Hedtstück, and C.-R. Rollinger, editors, Sorts and Types for Artificial Intelligence, volume 418 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1990.
Available: BibTeX

1989

C. Beierle and S. Böttcher. PROTOS-L: Towards a knowledge base programming language. In W. Brauer and C. Freksa, editors, Proceedings GI-Kongreß Wissensbasierte Systeme. Springer-Verlag, 1989.
Available: BibTeX

C. Beierle, J. Dörre, U. Pletat, C.-R. Rollinger, and R. Studer. The knowledge representation language L-LILOG. In E. Börger, H. Kleine Büning, and M. M. Richter, editors, CSL'88 - 2nd Workshop on Computer Science Logic, volume 385 of Lecture Notes in Computer Science, pages 14-51. Springer-Verlag, 1989.
Available: BibTeX

S. Böttcher and C. Beierle. Data base support for the PROTOS-L system. Microprocessing and Microprogramming, 27, August 1989.
Available: BibTeX

1988

C. Beierle. Semantische Aspekte des algebraischen Programmierens (Semantical aspects of algebraic programming). IT - Informationstechnik, Special Issue on Non-Procedural Programming, 30(6), December 1988.
Available: BibTeX

C. Beierle, W. Olthoff, and A. Voss. Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Informatik Spektrum, 11:292-302, December 1988.
Available: BibTeX

C. Beierle and U. Pletat. Feature graphs and abstract data types: A unifying approach. In Proceedings of the 12th International Conference on Computational Linguistics, pages 40-45, Budapest, Hungary, 1988.
Available: BibTeX

C. Beierle and U. Pletat. Integrating logic programming and equational specification of abstract data types. In J. Grabowski, P. Lescanne, and W. Wechler, editors, Algebraic and Logic Programming, volume 343 of Lecture Notes in Computer Science, pages 71-82. Springer, 1988.
Available: BibTeX

C. Beierle, U. Pletat, and H. Uszkoreit. An algebraic characterization of STUF. In I. S. Batori, U. Hahn, M. Pinkal, and W. Wahlster, editors, Computerlinguistik und ihre theoretischen Grundlagen. Informatik-Fachberichte 195. Springer-Verlag, 1988.
Available: BibTeX

1987

C. Beierle and U. Pletat. On the integration of equality, sorts, and logic programming. In E. Buchberger and J. Retti, editors, Proc. 3rd Austrian Conference on Artificial Intelligence, Berlin, 1987. Springer-Verlag.
Available: BibTeX

C. Beierle and A. Voss. On implementations of loose abstract data type specifications and their vertical composition. In F.-J. Brandenburg, G. Vidal-Naquet, and M. Wirsing, editors, Proceedings of the Fourth Annual Symposium an Theoretical Aspects of Computer Science (STACS-87), volume 247 of Lecture Notes in Computer Science. Springer-Verlag, 1987.
Available: BibTeX

C. Beierle and A. Voss. Theory and practice of canonical term functors in abstract data type specifications. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, editors, TAPSOFT'87 - Proceedings of the International Joint Conference on Theory and Practice of Software Development, volume 250 of Lecture Notes in Computer Science. Springer-Verlag, 1987.
Available: BibTeX

C. Beierle and A. Voss. Viewing implementations as an institution. In D.H. Pitt, A. Poigné, and D.E. Rydeheard, editors, Category Theory and Computer Science, volume 283 of Lecture Notes in Computer Science. Springer-Verlag, 1987.
Available: BibTeX

G. Kern-Isberner and G. Rosenberger. Normalteiler vom Geschlecht eins in freien Produkten endlicher zyklischer Gruppen. Results in Mathematics, 11:272-288, 1987.
Available: BibTeX

1986

C. Beierle, W. Olthoff, and A. Voss. Automatic theorem proving in the ISDV system. In Jörg H. Siekmann, editor, 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings, volume 230 of Lecture Notes in Computer Science. Springer, 1986.
Available: BibTeX

C. Beierle, W. Olthoff, and A. Voss. Software development environments integrating specification and programming languages. In H.-W. Wippermann, editor, Software-Architektur und modulare Programmierung, pages 9-25. Proc. German Chapter of the ACM - B. G. Teubner Verlag, Stuttgart, 1986.
Available: BibTeX

C. Beierle, W. Olthoff, and A. Voss. Towards a formalization of the software development process. In D. Barnes and P. Brown, editors, Software Engineering 86, pages 130-144. Peter Peregrinus Ltd., London, 1986.
Available: BibTeX

C. Beierle and A. Voss. Vertical and horizontal compositions of implementation specifications. In K. Drosten, H.-D. Ehrich, M. Gogolla, and U. Lipeck, editors, Proceedings 4th Workshop on Abstract Data Type. Informatik-Bericht Nr. 86-09, University of Braunschweig, Department of Computer Science, 1986.
Available: BibTeX

1985

C. Beierle and A. Voss. Implementation specifications. In H.-J. Kreowski, editor, Recent Trends in Data Type Specification, volume 116 of Informatik-Fachberichte, pages 39-53. Springer, 1985.
Available: BibTeX

G. Kern-Isberner. Rekursionsformeln für die Anzahl von Normalteilern in freien Produkten zyklischer Gruppen. PhD thesis, University of Dortmund, 1985.
Available: BibTeX

1984

C. Beierle, M. Gerlach, R. Göbel, W. Olthoff, P. Raulefs, and A. Voss. Integrated program development and verification. In H.-L. Hausen, editor, Software Validation, pages 189-206. North-Holland Publ. Co., Amsterdam, 1984.
Available: BibTeX

G. Kern-Isberner and G. Rosenberger. A note on numbers of the form n = x2 + Ny2. Arch. Math., 43:148-156, 1984.
Available: BibTeX

1983

C. Beierle and A. Voss. A parameterization concept for hierarchies of specifications. In M. Broy and M. Wirsing, editors, Proceedings 2nd Workshop on Abstract Data Type. Technical Report, University of Passau, Department of Computer Science, 1983.
Available: BibTeX

G. Kern-Isberner and G. Rosenberger. Einige Bemerkungen über Untergruppen der PSL(2,C). Resultate der Mathematik, 6:40-47, 1983.
Available: BibTeX

1982

C. Beierle. Synthesizing minimal programs from traces of observable behaviour. In Proceedings European Conference on Artificial Intelligence (ECAI-82), Paris, 1982.
Available: BibTeX

C. Beierle and A. Voss. Hierarchical specification of parameterized abstract data types by means of canonical term algebras. In H.-D. Ehrich and U.Lipeck, editors, Proceedings 1st Workshop on Abstract Data Type. Technical Report, University of Dortmund, Department of Computer Science, 1982.
Available: BibTeX

1980

G. Kern-Isberner and G. Rosenberger. Über Diskretheitsbedinungen und die diophantische Gleichung ax2 + by2 + cz2 = dxyz. Arch. Math., 34:481-493, 1980.
Available: BibTeX