Výsledky vyhľadávania - Theory Keywords Functional Logic Programming Languages

Functional description of geoprocessing services as conjunctive datalog queries Autor Fitzner, Daniel, Hoffmann, Jörg, Klien, Eva

“…) language and the discovery process is based on Logic Programming query containment checking between these descriptions…”
Získať plný text

Harnessing Tree Soft Set and Soft Computing Techniques' Capabilities in Bioinformatics: Analysis, Improvements, and Applications Autor Gharib, Mona, Rajab, Fatima, Mohamed, Mona

“… Understanding the functional, structural, and evolutionary links between the sequences is made easier by looking at these areas of commonality…”
Získať plný text

Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming Autor Ehrhard, Thomas, Pagani, Michele, Tasson, Christine

“… This category gives a denotational model of an extension of PCF supporting the main primitives of probabilistic functional programming, like continuous and discrete probabilistic distributions…”
Získať plný text

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming Autor Flach, João, Lamb, Luis C

“… and multiplication, logic inference, such as theorem provers, and even the execution of computer programs…”
Získať plný text