Mostrando ítems 1-1 de 1
Cerami, Marco (Fecha de defensa: 2012-10-16)
Description Logic is a formalism that is widely used in the framework of Knowledge Representation and Reasoning in Artificial Intelligence. They are based on Classical Logic in order to guarantee the correctness of the ...