Suchergebnisse - Programming techniques. Logic programming

A Critical Review of Inductive Logic Programming Techniques for Explainable AI von 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 …”
Volltext

ESTIMATING THE PRODUCTION RATE OF A MANUFACTURING LINE USING SIMULATION-PROGRAMMING AND FUZZY-LOGIC TECHNIQUES von 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 …”
Volltext

Mobile devices use in analyzing the engineering students attitude towards programming by using a fuzzy logic technique von 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 …”
Volltext

A Study on Accident Theories and Application to Maritime Accidents von 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 …”
Volltext

Symbolic Inference Techniques in Probabilistic Logic Programming von 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 …”
Volltext

A Critical Review of Inductive Logic Programming Techniques for Explainable AI von 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 …”
Volltext

A driving pulse edge modulation technique and its complex programming logic devices implementation von 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 …”
Volltext

Integrating answer set programming and constraint logic programming von 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 …”
Volltext

Constraint Logic Programming approach to protein structure prediction von 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 …”
Volltext

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

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

Learning efficient logic programs von 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 …”
Volltext

Markov logic networks von 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 …”
Volltext

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming von 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 …”
Volltext

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

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

Debugging Non-ground ASP Programs: Technique and Graphical Tools von 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 …”
Volltext

DNA logic programming: From concept to construction von 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 …”
Volltext

Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More von 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 …”
Volltext

The YAP Prolog system von 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 …”
Volltext

Bankruptcy prediction with neural logic networks by means of grammar-guided genetic programming von 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 …”
Volltext

Conceptual model visual simulation and the inductive learning of missing domain constraints von 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 …”
Volltext