Selected Publications
Site: Books, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995, 1994, 1993, 1992, 1991, 1990 and beforeBooks
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
2008
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).
IIAS, Tecumseh, Canada, 2008.
Available:
BibTeX
C. Beierle and G. Kern-Isberner.
A verified AsmL implementation of belief revision.
In Proceedings ABZ-2008, London, Lecture Notes in Computer
Science. Springer, 2008.
Available:
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:
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
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. 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. 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. CSREA Press, 2006.
Available:
BibTeX
2005
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, 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. Springer-Verlag, 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. 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.
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 and G. Kern-Isberner.
Modelling conditional knowledge discovery and belief revision by abstract
state machines.
In E. Boerger, A. Gargantini, and E. Riccobene, editors, Abstract State
Machines 2003 -- Advances in Theory and Applications, Proceedings 10th
International Workshop, ASM'2003. Springer, LNCS 2589, 2003.
Available:
URL,
PS,
PDF,
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,
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,
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,
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,
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,
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