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

Systematic Machine Translation of Social Network Data Privacy Policies von 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 …”
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

Advances in Big Data Bio Analytics von 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 …”
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

Advances in Big Data Bio Analytics von 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 …”
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

“… 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 …”
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

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

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

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

“… With the continual increase in switching speed and rating of power semiconductors, the switching voltage spike becomes a serious problem. This paper describes …”
Volltext

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

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

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

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

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

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 …”
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

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

An extended interval temporal logic and a framing technique for temporal logic programming von 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 …”
Volltext

Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem von 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 …”
Volltext