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

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

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

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

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

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

Speeding Up Cycle Based Logic Simulation Using Graphics Processing Units by Sen, Alper, Aksanli, Baris, Bozkurt, Murat

“… Among several verification techniques, logic simulation remains the major verification technique…”
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

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

Modern computational finance : scripting for derivatives and xVA by Savine, Antoine, Andreasen, Jesper

“…"Scripting of derivatives transactions has been a central piece of financial software since the 1990s. Every derivatives valuation and risk system, either…”
Get full text

Clause and effect : Prolog programming for the working programmer by Clocksin, William F

“… This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general…”
Get full text

A logic programming technology for mine-used water pump controller based on control sequence by LIU Huiju

“…A control process programming technology based on control sequence configuration was presented, the implementation methods of configuration, encoding and decoding of the technology were introduced in details…”
Get full text

Enriched Presheaf Model of Quantum FPC by Takeshi Tsukada, Kazuyuki Asada

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

A Primer on Machine Learning Applications in Civil Engineering by Deka, Paresh Chandra

“…Machine learning has undergone rapid growth in diversification and practicality, and the repertoire of techniques has evolved and expanded…”
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

A Concept of Multi-Mode High Spectral Resolution Lidar Using Mach-Zehnder Interferometer by Yoshitaka Jin, Nobuo Sugimoto, Tomoaki Nishizawa, Pablo Ristori, Lidia Otero

Get full text

Schaum's Outline of Discrete Mathematics, Fourth Edition by Lipschutz, Seymour, Lipson, Marc

“…Study smarter and stay on top of your discrete mathematics course with the bestselling Schaum's Outline-now with the new Schaum's app and website!. Schaum's…”
Get full text

Dynamic Allocation and Pricing: A Mechanism Design Approach by Gershkov, Alex, Moldovanu, Benny

“…Dynamic allocation and pricing problems occur in numerous frameworks, including the pricing of seasonal goods in retail, the allocation of a fixed inventory in…”
Get full text

IED modeling analysis based on IEC61850 standard by Han, Fa-Ling, Huang, Run-Chang, Zhang, Hua, Yun, Bao-Ji

“… On the basis of introducing IEC61850 object-oriented modeling techniques and IED modeling ideas, this paper summarizes the encountered problems of the IED modeling in engineering application…”
Get full text