Cristiano Longo

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 4

Top Topics

Modular Ontologies

Propositional Logic

Universally Quantified

Top Venues

Fundam. Informaticae

Publications

Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version). CoRR (2021)
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Semantic Representation as a Key Enabler for Blockchain-Based Commerce. GECON (2021)
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis. IDC (2021)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
Herbrand-satisfiability of a Quantified Set-theoretic Fragment. Fundam. Informaticae 150 (1) (2017)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Web ontology representation and reasoning via fragments of set theory. CoRR (2015)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
Web Ontology Representation and Reasoning via Fragments of Set Theory. RR (2015)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. CILC (2014)
Domenico Cantone, Cristiano Longo
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. Theor. Comput. Sci. 560 (2014)
Cristiano Longo, Aldo Gangemi, Domenico Cantone
Representing Kinship Relations on the Semantic Web. OWLED (2013)
Domenico Cantone, Cristiano Longo
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions GandALF (2012)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. CSL (2011)
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. CILC (2010)
Cristiano Longo, Lorenzo Sciuto
A Lightweight Ontology for Rating Assessments. SWAP (2007)
Cristiano Longo, Paolo Giarrusso
A protocol to preserve a code of conduct. SAC (2007)
Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson
Is the Verification Problem for Cryptographic Protocols Solved?. Security Protocols Workshop (2003)
Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson
Verifying Second-Level Security Protocols. TPHOLs (2003)