Results 91 to 100 of about 201,128 (321)
Inductive assertion method for logic programs [PDF]
Theoretical Computer Science, 1988 Certain properties of logic programs are inexpressible in terms of their declarative semantics. One example of such properties would be the actual form of procedure calls and successes which occur during computations of a program. They are often used by programmers in their informal reasoning.
Wlodzimierz Drabent, Jan Maluszynski
openaire +2 more sources
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.This review aims to provide a broad understanding for interdisciplinary researchers in engineering and clinical applications. It addresses the development and control of magnetic actuation systems (MASs) in clinical surgeries and their revolutionary effects in multiple clinical applications.
Yingxin Huo +3 more
wiley +1 more source
Meta-Interpretive LEarning with Reuse
MathematicsInductive Logic Programming (ILP) is a research field at the intersection between machine learning and logic programming, focusing on developing a formal framework for inductively learning relational descriptions in the form of logic programs from ...
Rong Wang +3 more
doaj +1 more source
Assessing the contribution of shallow and deep knowledge sources for word sense disambiguation
, 2010 Corpus-based techniques have proved to be very beneficial in the development of efficient and accurate approaches to word sense disambiguation (WSD) despite the fact that they generally represent relatively shallow knowledge.
C. Fellbaum +10 more
core +1 more source
Advancements in Machine Learning for Microrobotics in Biomedicine
Advanced Intelligent Systems, EarlyView.Microrobotics is an innovative technology with great potential for noninvasive medical interventions. However, controlling and imaging microrobots pose significant challenges in complex environments and in living organisms. This review explores how machine learning algorithms can address these issues, offering solutions for adaptive motion control and ...
Amar Salehi +6 more
wiley +1 more source
Learning from Ordinal Data with Inductive Logic Programming in Description Logic [PDF]
, 2017 Here we describe a Description Logic (DL) based Inductive Logic Programming (ILP) algorithm for learning relations of order. We test our algorithm on the task of learning user preferences from pairwise comparisons.
Kazakov, Dimitar Lubomirov +1 more
core +1 more source
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
, 2017 The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs.
Chin, Wei-Ngan +3 more
core +1 more source
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper presents a critical examination of Australia's 2021 household, individual and interviewer census forms. Using a form‐led analysis, this research scrutinises the underlying cisheteronormative logic that implicitly shapes the Census process, from data collection to distribution of findings.
Xavier Mills, Sal Clark
wiley +1 more source
Schema induction for logic program synthesis
Artificial Intelligence, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach
, 2012 We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles.
Elaine Pimentel +3 more
core +2 more sources