1 citations · 1 across the 3 of their papers we have counts for
5 papers
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge
Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti +3
Knowledge Graph Embeddings (KGE) have become a quite popular class of models specifically devised to deal with ontologies and graph structure data, as they can implicitly encode st…
SOS Rules for Equivalences of Reaction Systems
Linda Brodo, Roberto Bruni, Moreno Falaschi
Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can be used…
An Assertion language for slicing Constraint Logic Languages
Moreno Falaschi, Carlos Olarte
Constraint Logic Programming (CLP) is a language scheme for combining two declarative paradigms: constraint solving and logic programming. Concurrent Constraint Programming (CCP) i…
Slicing Concurrent Constraint Programs
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte +1
Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints (pieces of information) in a shared store. So…
Automatic Verification of Timed Concurrent Constraint Programs
Moreno Falaschi, Alicia Villanueva
The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent systems where…