Domenico Cantone

activity

20182024

most citedOntological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)

15 citations · 17 across the 3 of their papers we have counts for

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2024

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates

Domenico Cantone, Gianluca Cincotti

We address the decision problem for a fragment of real analysis involving differentiable functions with continuous first derivatives. The proposed theory, besides the operators of…

cs.LO2018★ 2 cited

An optimized KE-tableau-based system for reasoning in the description logic $D L_{D}^{4, \times}$ (Extended Version)

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

We present a KE-tableau-based procedure for the main TBox and ABox reasoning tasks for the description logic $D L ⟨ 4LQ S^{R, \times} ⟩ (D)$ , in…

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates

An optimized KE-tableau-based system for reasoning in the description logic DLD4,×​ (Extended Version)

An optimized KE-tableau-based system for reasoning in the description logic $D L_{D}^{4, \times}$ (Extended Version)