Dr. Rainer Lüdecke

Adresse:

Dr. Rainer Lüdecke
Universität Tübingen
Wilhelm-Schickard-Institut
Sand 13
D-72076 Tübingen

Email: luedeckespam prevention@informatik.uni-tuebingen.de

Materialien:

• Every Formula-Based Logic Program Has a Least Infinite-Valued Model. Appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011).

• Appendix: Every Formula-Based Logic Program Has a Least Infinite-Valued Model