Výsledky vyhľadávania - Language Classifications— constraint and logic languages General Terms Languages

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

“… Unlike traditional contracts, smart contracts are not written in a natural language, making it difficult to determine their provenance…”
Získať plný text

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

“…). LYRICS provides an input language that allows to define arbitrary First Order Logic (FOL) background knowledge…”
Získať plný text

A systems theoretic approach to the design and implementation of a solver component for a management information system Autor 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…”
Získať plný text

A Framework for Defining Logical Frameworks Autor 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…”
Získať plný text