Výsledky vyhľadávania - Programming techniques. Logic programming

A Critical Review of Inductive Logic Programming Techniques for Explainable AI Autor 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…”
Získať plný text

ESTIMATING THE PRODUCTION RATE OF A MANUFACTURING LINE USING SIMULATION-PROGRAMMING AND FUZZY-LOGIC TECHNIQUES Autor 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…”
Získať plný text

Mobile devices use in analyzing the engineering students attitude towards programming by using a fuzzy logic technique Autor 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…”
Získať plný text

A Study on Accident Theories and Application to Maritime Accidents Autor 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…”
Získať plný text

Symbolic Inference Techniques in Probabilistic Logic Programming Autor 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…”
Získať plný text

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

Integrating answer set programming and constraint logic programming Autor 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…”
Získať plný text

Constraint Logic Programming approach to protein structure prediction Autor 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…”
Získať plný text

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

“…), an improved static slicing technique based on constraint logic programming, to help…”
Získať plný text

Learning efficient logic programs Autor 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…”
Získať plný text

Markov logic networks Autor 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…”
Získať plný text

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming Autor 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…”
Získať plný text

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

“…This paper presents four novel approaches to enhance efficiency and effectiveness of Inductive Logic Programming (ILP…”
Získať plný text

Debugging Non-ground ASP Programs: Technique and Graphical Tools Autor 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…”
Získať plný text

DNA logic programming: From concept to construction Autor 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…”
Získať plný text

Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More Autor 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…”
Získať plný text

The YAP Prolog system Autor 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…”
Získať plný text

Bankruptcy prediction with neural logic networks by means of grammar-guided genetic programming Autor 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…”
Získať plný text

Conceptual model visual simulation and the inductive learning of missing domain constraints Autor 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…”
Získať plný text