Stefan Brüning (bruening-s)

Contributi a Philosophie.ch

Bibliography

Bibel, Wolfgang, Brüning, Stefan, Otten, Jens, Rath, Thomas and Schaub, Torsten H. 1998. “Compressions and Extensions.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 133–181. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Schaub, Torsten H. and Brüning, Stefan. 1998. “Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques.” Artificial Intelligence 106(1): 1–75.