Search Results - Language Classifications— constraint and logic languages General Terms Languages

Detection and Analysis of Ethereum Energy Smart Contracts by Lashkari, Bahareh, Musilek, Petr

“… Unlike traditional contracts, smart contracts are not written in a natural language, making it difficult to determine their provenance…”
Get full text

LYRICS: a General Interface Layer to Integrate Logic Inference and Deep Learning by Marra, Giuseppe, Giannini, Francesco, Diligenti, Michelangelo, Gori, Marco

“…). LYRICS provides an input language that allows to define arbitrary First Order Logic (FOL) background knowledge…”
Get full text

A systems theoretic approach to the design and implementation of a solver component for a management information system by Takahara, Yasuhiko, Liu, Yongmei, Yano, Yoshio

“…). In this approach, a model is described in the set theoretic terms based on systems concepts and is implemented in the extProlog, an extension of the Prolog…”
Get full text

A Framework for Defining Logical Frameworks by Honsell, Furio, Lenisa, Marina, Liquori, Luigi

“…In this paper, we introduce a General Logical Framework, called GLF, for defining Logical Frameworks, based on dependent types, in the style of the well known Edinburgh Logical Framework LF…”
Get full text