Toni Bollinger (bollinger-t)

Contributi a Philosophie.ch

Bibliography

Bollinger, Toni, Bläsius, Karl-Hans and Hedstück, Uli. 1990. “Knowledge Processing in the LILOG Project–From the First to the Second Prototype.” in Natural Language and Logic, edited by Rudi Studer, pp. 26–49. New York: Springer.
Bollinger, Toni and Pletat, Udo. 1992. “An Order-Sorted Logic with Sort Literals and Disjointness Constraints.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 413–424. San Francisco, California: Morgan Kaufmann Publishers.