3 papers
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.AI2020
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi-Asmundo +2
In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with con…
cs.LO2018
An optimized KE-tableau-based system for reasoning in the description logic (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 , in…