Cristinel Mateis (mateis)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Eiter, Thomas, Leone, Nicola, Mateis, Cristinel, Pfeifer, Gerald and Scarcello, Francesco. 1998. “The KR System
dlv: Progress Report, Comparisons and Benchmarks.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 406–417. San Francisco, California: Morgan Kaufmann Publishers.