Results 61 to 70 of about 6,127,131 (339)
Answer Set Programming for Regular Inference
Applied Sciences, 2020 We propose an approach to non-deterministic finite automaton (NFA) inductive synthesis that is based on answer set programming (ASP) solvers. To that end, we explain how an NFA and its response to input samples can be encoded as rules in a logic program.
Wojciech Wieczorek +2 more
doaj +1 more source
Explaining clusters with inductive logic programming and linked data [PDF]
, 2013 Knowledge Discovery consists in discovering hidden regularities in large amounts of data using data mining techniques. The obtained patterns require an interpretation that is usually achieved using some background knowledge given by experts from several ...
d'Aquin, Mathieu +2 more
core
Inductive Logic Programming in Databases: from Datalog to DL+log
, 2010 In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through ...
Lisi, Francesca A.
core +1 more source
CoCaml: Functional Programming with Regular Coinductive Types [PDF]
, 2017 Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and associated programming constructs ...
Jeannin, J-B, Kozen, D, Silva, A
core +1 more source
Arthritis Care &Research, EarlyView.Objective Promoting Resilience in Stress Management (PRISM) is a resilience coaching program designed for adolescents with chronic illness. We aimed to examine the perceived feasibility, acceptability, and appropriateness of PRISM among pediatric rheumatologists treating adolescents with chronic musculoskeletal pain and obtain recommendations for ...
Sabrina Gmuca +9 more
wiley +1 more source
EVALUATION OF AN INDUCTIVE STRATEGY OF TEACHING MUSIC AND PROGRAMMING TO PRIMARY SCHOOL STUDENTS
Інформаційні технології і засоби навчанняThe traditional teaching strategies have deductive characteristics, while the modern ones have inductive characteristics. But inductive teaching strategies are not always appreciated or recommended in any educational context.
Marius Bănuț, Ion Albulescu
doaj +1 more source
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem.
Farhad Shakerin
doaj +1 more source
NUML International Journal of Engineering and Computing, 2023 Industries widely use three-phase inductive loads, such as induction motors, due to their cost-effectiveness, low maintenance, reliability, and durability.
Amir Hamza +4 more
doaj +1 more source
Structural abstract interpretation, A formal study using Coq [PDF]
, 2008 interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem
Bertot, Yves
core +3 more sources
Logic Programming Applications: What Are the Abstractions and Implementations?
, 2018 This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their
Liu, Yanhong A.
core +1 more source