Search Results - Programming techniques. Logic programming

A Critical Review of Inductive Logic Programming Techniques for Explainable AI by Zhang, Zheng, Yilmaz, Levent, Liu, Bo

“… Inductive logic programming (ILP), a subfield of symbolic AI, plays a promising role in generating interpretable explanations because of its intuitive logic-driven framework…”
Get full text

ESTIMATING THE PRODUCTION RATE OF A MANUFACTURING LINE USING SIMULATION-PROGRAMMING AND FUZZY-LOGIC TECHNIQUES by Elena-Iuliana BOTEANU, Elena-Luminiţa OLTEANU, Miron ZAPCIU, Anton HADĂR

“… The paper shows that the Fuzzy Logic methods are able to achieve similar solutions to conventional methods…”
Get full text

Mobile devices use in analyzing the engineering students attitude towards programming by using a fuzzy logic technique by Ozdemir, Ali, Balbal, Kadriye Filiz, Senel, Berat Can

“… a fuzzy logic technique. First of all, a mobile game that is played by engineering students is developed to make learning programming more enjoyable…”
Get full text

A Study on Accident Theories and Application to Maritime Accidents by Awal, Zobair Ibn, Hasegawa, Kazuhiko

“…Maritime accidents, when taking place, often affect in large scale over the environment, society and economy. Many such accidents have occurred in the past…”
Get full text

Symbolic Inference Techniques in Probabilistic Logic Programming by Nampally, Arun

“…The field of Probabilistic Logic Programming is concerned with the development of representation, inference and learning mechanisms for problems embedded with both logical structure and uncertainty…”
Get full text

A Critical Review of Inductive Logic Programming Techniques for Explainable AI by Zhang, Zheng, Xu, Liangliang, Yilmaz, Levent, Liu, Bo

“… Inductive Logic Programming (ILP), a subfield of symbolic artificial intelligence, plays a promising role in generating interpretable explanations because of its intuitive logic-driven framework…”
Get full text

A driving pulse edge modulation technique and its complex programming logic devices implementation by 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…”
Get full text

Integrating answer set programming and constraint logic programming by Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin

“… The algorithm does not require full grounding of a program and combines “classical” ASP solving methods with constraint logic programming techniques and CR-Prolog based abduction…”
Get full text

Constraint Logic Programming approach to protein structure prediction by Dal Palù, Alessandro, Dovier, Agostino, Fogolari, Federico

“… Constraint Logic Programming techniques have been applied to the protein structure prediction problem on the face-centered cube lattice model…”
Get full text

Weight prioritized slicing based on constraint logic programming for fault localization by Ren, Shengbing, Zhou, Weijia, Zhou, Haiwei, Xia, Lei

“…), an improved static slicing technique based on constraint logic programming, to help…”
Get full text

Learning efficient logic programs by Cropper, Andrew, Muggleton, Stephen H.

“… However, existing inductive logic programming (ILP) techniques cannot distinguish between the efficiencies of programs, such as permutation sort ( n !) and merge sort O ( n l o g n…”
Get full text

Markov logic networks by Richardson, Matthew, Domingos, Pedro

“…Issue Title: Special Issue: Multi-Relational Data Mining and Statistical Relational Learning We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation…”
Get full text

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming by BRY, FRANÇOIS

“… Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques…”
Get full text

Techniques to enhance efficiency and effectiveness of inductive logic programming systems: the TWEETY approaches by Liu, Chongbing, Pontelli, Enrico

“…This paper presents four novel approaches to enhance efficiency and effectiveness of Inductive Logic Programming (ILP…”
Get full text

Debugging Non-ground ASP Programs: Technique and Graphical Tools by DODARO, CARMINE, GASTEIGER, PHILIP, REALE, KRISTIAN, RICCA, FRANCESCO, SCHEKOTIHIN, KONSTANTIN

“…Answer set programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning…”
Get full text

DNA logic programming: From concept to construction by Zhang, Yi, Hu, Ning, Xu, Jiajie, Wang, Zhen

“… Consequently, the practical implementation of DNA logic programming can be achieved through the utilization of programming techniques, enabling the discrimination and output generation…”
Get full text

Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More by WEINZIERL, ANTONIUS, TAUPE, RICHARD, FRIEDRICH, GERHARD

“…Answer-Set Programming (ASP) is a powerful and expressive knowledge representation paradigm with a significant number of applications in logic-based AI…”
Get full text

The YAP Prolog system by COSTA, VÍTOR SANTOS, ROCHA, RICARDO, DAMAS, LUÍS

“… since then. This paper presents the general structure and design of the YAP system, focusing on three important contributions to the Logic Programming community…”
Get full text

Bankruptcy prediction with neural logic networks by means of grammar-guided genetic programming by Tsakonas, Athanasios, Dounias, George, Doumpos, Michael, Zopounidis, Constantin

“… The application of neural logic networks by means of genetic programming is proposed. This is an advantageous approach enabling the interpretation of the network structure through set of expert rules, which is a desirable feature for field experts…”
Get full text

Conceptual model visual simulation and the inductive learning of missing domain constraints by Fumagalli, Mattia, Sales, Tiago Prince, Baião, Fernanda Araujo, Guizzardi, Giancarlo

“…Conceptual modeling plays a fundamental role in information systems engineering, and in data and systems interoperability. To play their role as instruments…”
Get full text