Metalogic for Knowledge Representation
Type
Publication
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991
Antonio Brogi
Full Professor
Full Professor @ Department of Computer Science, University of Pisa, Italy.