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

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

Automated Generation of Business Process Models using Constraint Logic Programming in Python by Tymoteusz Paszun, Piotr Wiśniewski, Krzysztof Kluza, Antoni Ligęza

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

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

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

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

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

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

“…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
Get full text

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

“…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
Get full text

An optimal representation to Random Maximum k Satisfiability on the Hopfield Neural Network for High order logic(k ≤ 3) by Hamza Abubakar

“…The experimental outcomes positively demonstrate that the HNN is effective in undertaking MAXkSAT logic programming by agreeing with the existing models.       …”
Get full text

Des Chiffres et des Lettres : distraction, variations, habitudes by Barbara Laborde

“…Seriality that implements the program in its history is made changes that reflect both the evolution of audiovisual techniques, of logic programming and expectations spectatorial. This TV show, always the same and yet still different, allows both the immediate recognition and perception of a change which probably explains its longevity and made this program a paragon of seriality in television.…”
Get full text

Specification and enforcement of personalized privacy policy for social network by Yuan WANG, Yu-qing SUN, Le-le MA

“…An authorization model was proposed to support personalized privacy preferences in the first-logic privacy preference language.The language allowed users to express personalized privacy preferences.Visitor-role authorization rules based on the attributes of visitors and role-permission assignment rules based on the tags of objects were introduced,which resolve dynamic authorization and fine-grained rights assignment problems.Analyzed privacy policy conflict cases and realized policy consistency verification by Prolog logic programming.Designed a personalized privacy policy management and implementation middleware for social network.In the middleware,it integrated the management of personalized policy into access control system on the existing resources.The experiments show that the policy conflict analysis has good efficiency in the implementation.…”
Get full text

Application of first-order logic to identify organizers and perpetrators of illegal actions in teams of a limited circle of people by A. М. Sobol, E. I. Kozlova, Yu. A. Chernyavsky

“…There are three main families of inference algorithms in first-order logic: direct inference and its application to deductive databases and production systems; backward inference procedures and logic programming systems; theorem proving systems based on the resolution method. …”
Get full text

Metabolic modelling links Warburg effect to collagen formation, angiogenesis and inflammation in the tumoral stroma. by Maxime Mahout, Laurent Schwartz, Romain Attal, Ashraf Bakkar, Sabine Peres

“…EFMs can be investigated using our tool, aspefm, an innovative approach based on logic programming where biological constraints can be incorporated. …”
Get full text

TransPath: Representation Learning for Heterogeneous Information Networks via Translation Mechanism by Yang Fang, Xiang Zhao, Zhen Tan, Weidong Xiao

“…We evaluate our model on two large-scale real-world data sets database systems and logic programming (DBLP) and YELP, and two benchmark tasks similarity search and node classification. …”
Get full text

Autonomous Behavior Selection For Self-driving Cars Using Probabilistic Logic Factored Markov Decision Processes by Héctor Avilés, Marco Negrete, Alberto Reyes, Rubén Machucho, Karelly Rivera, Gloria de-la-Garza, Alberto Petrilli

“…Probabilistic logic combines logic programming with probability theory to achieve clear, rule-based knowledge descriptions of multivariate probability distributions, and a flexible mixture of deductive and probabilistic inferences. …”
Get full text

Analisis Kinerja Penggabungan Logika Fuzzy dan PID pada Penjejak Matahari Dua Sumbu by Muhammad Nur Hasan, Yuwaldi Away, Suriadi Suriadi, Andri Novandri

“…Input and output components are connected to the Atmega 328P by using a combination of Fuzzy logic and PID programs (F-PID). Fuzzy logic programming is first performed on the Matlab application using Fuzzy Inference System (FIS), then converted into an Arduino-based programming language. …”
Get full text