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

Systematic Machine Translation of Social Network Data Privacy Policies by Tanoli, Irfan Khan, Amin, Imran, Junejo, Faraz, Yusoff, Nukman

“…With the growing popularity of online social networks, one common desire of people is to use of social networking services for establishing social relations…”
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

Advances in Big Data Bio Analytics by Angelopoulos, Nicos, Wielemaker, Jan

“… Logic programming has much to offer in this area. Here, we detail advances that highlight two of the strengths of logical formalisms in developing data analytic solutions in biological settings…”
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

Advances in Big Data Bio Analytics by Angelopoulos, Nicos, Wielemaker, Jan

“… Logic programming has much to offer in this area. Here, we detail advances that highlight two of the strengths of logical formalisms in developing data analytic solutions in biological settings…”
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

“…This paper deals with the use of three alternative methods in order to modelling, simulation and estimation of the production rate. The methods for evaluating…”
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

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

Towards Abstract Interpretation for Recovering Design Information by De Roover, Coen, Gybels, Kris, D'Hondt, Theo

“… This design information can be recovered from the program using such techniques as logic meta programming…”
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

“…With the continual increase in switching speed and rating of power semiconductors, the switching voltage spike becomes a serious problem. This paper describes…”
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

Innovating to enhance clinical data management using non-commercial and open source solutions across a multi-center network supporting inpatient pediatric care and research in Kenya by Tuti, Timothy, Bitok, Michael, Paton, Chris, Makone, Boniface, Malla, Lucas, Muinga, Naomi, Gathara, David, English, Mike

“…Objective To share approaches and innovations adopted to deliver a relatively inexpensive clinical data management (CDM) framework within a low-income setting…”
Get full text

Concise finite-domain representations for PDDL planning tasks by Helmert, Malte

“… Thirdly, we perform an efficient relaxed reachability analysis using logic programming techniques to obtain a grounded representation of the input…”
Get full text

Future Route: Future Route takes predictive analytics solutions for fraud to new level with artificial intelligence; Inductive Logic Programming techniques will enable credit card companies, banks, corporates and government agencies to significantly reduce fraud

“…Future Route's unique iHex(tm) solution analyses and detects fraud patterns using Inductive Logic Programming (ILP) techniques…”
Get full text

Programming interviews exposed : secrets to landing your next job by Mongan, John, Giguère, Eric, Kindler, Noah

“… Eric Giguere is a software engineer at Google with over 20 years of professional programming experience…”
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

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

An extended interval temporal logic and a framing technique for temporal logic programming by Duan, Zhenhua

“…Temporal logic programming is a paradigm for specification and verification of concurrent programs in which a program can be written, and the properties of the program can be described and verified in a same notation…”
Get full text

Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem by Caprara, A., Focacci, F., Lamma, E., Mello, P., Milano, M., Toth, P., Vigo, D.

“… This kind of problem has been traditionally solved by OR techniques. In recent years, a new programming paradigm based on Logic Programming, named Constraint Logic Programming (CLP…”
Get full text