This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
While many data mining models concentrate on automation and efficiency, interactive data mining models focus on adaptive and effective communications between human users and comp...
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...