Frieder Stolzenburg (stolzenburg-f)

Contributions to Philosophie.ch

Bibliography

Baumgartner, Peter, Furbach, Ulrich and Stolzenburg, Frieder. 1997. “Computing Answers with Model Elimination.” Artificial Intelligence 90(1–2): 135–176.
Stolzenburg, Frieder, Höhne, Stephan, Koch, Ulrich and Volk, Martin. 1997. “Constraint Logic Programming for Computational Linguistics.” in LACL’96: First International Conference on Logical Aspects of Computational Linguistics, edited by Christian Retoré, pp. 406–425. Berlin: Springer.
Stolzenburg, Frieder and Thomas, Bruce M. 1998. “Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints.” in Automated Deduction: A Basis for Applications. Volume III, Applications, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 243–264. Applied Logic Series n. 10. Dordrecht: Kluwer Academic Publishers.