Results 11 to 20 of about 68,456 (257)

Implementation and evaluation of a communication coaching program: a CFIR-Informed qualitative analysis mapped onto a logic model. [PDF]

BMC Med Educ
Background Coaching programs in graduate medical education have the potential to impact trainee development across multiple core competencies but require rigorous program evaluation to ensure effectiveness.
Jensen RM, Sasnal M, Mai UT, Korndorffer JR, Miller-Kuhlmann RK, Morris AM, Nassar AK, Gold CA.   +7 more
europepmc   +2 more sources

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

Design and Implementation of Switched Capacitor Banks Controlled by a Programmable Logic Controller for Power Factor Improvement of Three-Phase Induction Motors

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, Muhammad Awais, Mohammad Hamza, Faiza Ahmad, Zahid ur Rehman   +4 more
doaj   +1 more source

Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Explaining Biases in Machine Learning

Computers, 2021
Machine learning methods are growing in relevance for biometrics and personal information processing in domains such as forensics, e-health, recruitment, and e-learning.
Alfonso Ortega, Julian Fierrez, Aythami Morales, Zilong Wang, Marina de la Cruz, César Luis Alonso, Tony Ribeiro   +6 more
doaj   +1 more source

A History of Probabilistic Inductive Logic Programming

Frontiers in Robotics and AI, 2014
The field of Probabilistic Logic Programming (PLP) has seen significant advances in the last 20 years, with many proposals for languages that combine probability with logic programming.
Fabrizio eRiguzzi, Elena eBellodi, Riccardo eZese   +2 more
doaj   +1 more source

Few-Shot Induction of Generalized Logical Concepts via Human Guidance

Frontiers in Robotics and AI, 2020
We consider the problem of learning generalized first-order representations of concepts from a small number of examples. We augment an inductive logic programming learner with 2 novel contributions.
Mayukh Das, Nandini Ramanan, Janardhan Rao Doppa, Sriraam Natarajan   +3 more
doaj   +1 more source

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, Tomasz Jastrzab, Olgierd Unold   +2 more
doaj   +1 more source

Learning Weak Constraints in Answer Set Programming [PDF]

, 2015
This paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP).
Broda, Krysia, Law, Mark, Russo, Alessandra   +2 more
core   +2 more sources

Abella: A System for Reasoning about Relational Specifications

Journal of Formalized Reasoning, 2014
The Abella interactive theorem prover is based on an intuitionistic logic that allows for inductive and co-inductive reasoning over relations. Abella supports the λ-tree approach to treating syntax containing binders: it allows simply typed λ-terms to be
David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang   +6 more
doaj   +1 more source

Mathematical applications of inductive logic programming [PDF]

, 2006
Accepted ...
G. Sutcliffe, L. De Raedt, L. Dehaspe, S. Epstein, S. Fajtlowicz, S. Muggleton, Simon Colton, Stephen Muggleton   +7 more
core   +3 more sources