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

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

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

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

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

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

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

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

“…With the continual increase in switching speed and rating of power semiconductors, the switching voltage spike becomes a serious problem. This paper describes…”
Získať plný text

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

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

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

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

“… Thirdly, we perform an efficient relaxed reachability analysis using logic programming techniques to obtain a grounded representation of the input…”
Získať plný 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…”
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

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

An extended interval temporal logic and a framing technique for temporal logic programming Autor 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…”
Získať plný text

Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem Autor 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…”
Získať plný text