Picture for Daniele Porello

Daniele Porello

DOLCE: A Descriptive Ontology for Linguistic and Cognitive Engineering

Add code
Aug 03, 2023
Viaarxiv icon

Repairing Ontologies via Axiom Weakening

Add code
Nov 09, 2017
Figure 1 for Repairing Ontologies via Axiom Weakening
Figure 2 for Repairing Ontologies via Axiom Weakening
Figure 3 for Repairing Ontologies via Axiom Weakening
Viaarxiv icon

Non-normal modalities in variants of Linear Logic

Add code
Sep 04, 2015
Figure 1 for Non-normal modalities in variants of Linear Logic
Figure 2 for Non-normal modalities in variants of Linear Logic
Figure 3 for Non-normal modalities in variants of Linear Logic
Figure 4 for Non-normal modalities in variants of Linear Logic
Viaarxiv icon