Výsledky vyhľadávania - Implementations of Logic Programming

Backtracking in independent and-parallel implementations of logic programming languages Autor Pontelli, E., Gupta, G.

“… The problem is tackled in the context of logic programming, although the solution proposed is sufficiently general to be easily extended to different nondeterministic systems, such as constraint programming systems…”
Získať plný text

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language Autor Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“…The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations…”
Získať plný text

Parma-bridging the performance gap between imperative and logic programming: High-performance implementations of logic programming systems Autor TAYLOR, A

Získať plný text

The execution algorithm of mercury, an efficient purely declarative logic programming language: High-performance implementations of logic programming systems Autor SOMOGYI, Z, HENDERSON, F, CONWAY, T

Získať plný text

Detection and optimization of suspension-free logic programs: High-performance implementations of logic programming systems Autor DEBRAY, S, GUDEMAN, D, BIGOT, P

Získať plný text

High-performance implementations of logic programming systems Autor GUPTA, Gopal, CARLSSON, Mats

Získať plný text

On the implementation of the probabilistic logic programming language ProbLog Autor KIMMIG, ANGELIKA, DEMOEN, BART, DE RAEDT, LUC, COSTA, VÍTOR SANTOS, ROCHA, RICARDO

“…The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning…”
Získať plný text

Guest editors' introduction: High-performance implementations of logic programming systems Autor Gupta, Gopal, Carlsson, Mats

Získať plný text

Partial translation : Towards a portable and efficient prolog implementation technology: High-performance implementations of logic programming systems Autor TARAU, P, DE BOSSCHERE, K, DEMOEN, B

Získať plný text

The Vienna Abstract machine: High-performance implementations of logic programming systems Autor KRALL, A

Získať plný text

Experience with the Super Monaco optimizing compiler: High-performance implementations of logic programming systems Autor TICK, E, MASSEY, B. C, LARSON, J. S

Získať plný text

Overview of DASWAM : Exploitation of dependent and-parallelism: High-performance implementations of logic programming systems Autor SHEN, K

Získať plný text

Multilog and data or-parallelism: High-performance implementations of logic programming systems Autor SMITH, D. A

Získať plný text

Design and analysis of hardware for high-performance Prolog: High-performance implementations of logic programming systems Autor HOLMER, B. K, SANO, B, CARLTON, M, VAN ROY, P, DESPAIN, A. M

Získať plný text

A driving pulse edge modulation technique and its complex programming logic devices implementation Autor Chen, Xiao, Qu, Dong-chang, Guo, Yong, Chen, Guo-zhu

“… This technique is used in the driving circuit based on complex programmable logic devices （CPLDs）, and the switching voltage spike of IGBTs can be restrained through software, which is easier and more flexible to adjust…”
Získať plný text

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch Autor Tarau, Paul

Získať plný text

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments Autor MANCARELLA, PAOLO, TERRENI, GIACOMO, SADRI, FARIBA, TONI, FRANCESCA, ENDRISS, ULLE

“…We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness…”
Získať plný text

Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents Autor Goto, Yuki, Fujita, Megumi, Nide, Naoyuki

“… Paraconsistent logic programming is promising to make appropriate action decisions even when an agent is exposed to such uncertain information or contradictory facts, but there has been no implementation…”
Získať plný text

Commonly used Algorithms in Data Science Along with Internal Logics and Implementations through R Programming Autor Srikanth, T., Nagavarapu, Sateesh, kumar, K.Umapavan, D, Narahari

“… The current work is dealing with the inherent logics existing in the algorithms like Classification, Dimensionality reduction and Recommender systems along with the suitable examples…”
Získať plný text

Scoping constructs in logic programming: Implementation problems and their solution Autor Nadathur, Gopalan, Jayaraman, Bharat, Kwon, Keehang

“…The inclusion of universal quantification and a form of implication in goals in logic programming is considered…”
Získať plný text