Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog by D. V. Zdor

Subjects: “…logical programming…”
Get full text

Data Science in the Management of Healthcare Organizations by Pedro Faria, Victor Alves, José Neves, Henrique Vicente

Subjects: Get full text

Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures by Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin

Subjects: Get full text

Teaching logic programming: a review by Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko

Subjects: “…logic programming…”
Get full text

Synthesizing Recursive Logic Programs by Inverting General Resolution by Taosheng Qiu, Ryutaro Ichise

Subjects: “…Inductive logic programming…”
Get full text

An Inductive Logical Model with Exceptional Information for Error Detection and Correction in Large Knowledge Bases by Yan Wu, Xiao Lin, Haojie Lian, Zili Zhang

Subjects: Get full text

MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic by Eyad Algahtani

Subjects: Get full text

COST ANALYSIS AND OPTIMIZATION IN THE LOGISTIC SUPPLY CHAIN USING THE SIMPROLOGIC PROGRAM by Ilona MAŃKA, Adam MAŃKA

Subjects: Get full text

Symbolic Machine Learning: A Different Answer to the Problem of the Acquisition of Lexical Knowledge from Corpora by Pascale Sébillot

Subjects: Get full text