Results 41 to 50 of about 6,088,727 (313)
Sequent Calculus and Equational Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We
Nicolas Guenot, Daniel Gustafsson
doaj +1 more source
Incremental learning of event definitions with Inductive Logic Programming [PDF]
Machine-mediated learning, 2014 Event recognition systems rely on knowledge bases of event definitions to infer occurrences of events in time. Using a logical framework for representing and reasoning about events offers direct connections to machine learning, via Inductive Logic ...
Nikos Katzouris +2 more
semanticscholar +1 more source
Inductive Logic Programming [PDF]
, 2011 Inductive logic programming is the subfield of machine learning that uses first order logic to represent hypotheses and data. Because first order logic is expressive and declarative, inductive logic programming specfically targets problems involving structured data and background knowledge. Inductive logic programming tackles a wide variety of problems
openaire +2 more sources
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants [PDF]
, 2023 AbstractEssential tasks for the verification of probabilistic programs include bounding expected outcomes and proving termination in finite expected runtime. We contribute a simple yet effective inductive synthesis approach for proving such quantitative reachability properties by generating inductive invariants on source-code level.
Kevin Batz +5 more
openaire +4 more sources
MathematicsSome knowledge bases (KBs) extracted from Wikipedia articles can achieve very high average precision values (over 95% in DBpedia). However, subtle mistakes including inconsistencies, outliers, and erroneous relations are usually ignored in the ...
Yan Wu +3 more
doaj +1 more source
BMC Bioinformatics, 2012 Background There is a need for automated methods to learn general features of the interactions of a ligand class with its diverse set of protein receptors. An appropriate machine learning approach is Inductive Logic Programming (ILP), which automatically
A Santos Jose C +4 more
doaj +1 more source
IEEE Access, 2022 The design and optimization of coils for Inductive Power Transfer (IPT) systems is an iterative process conducted in Finite Element (FE) tools that takes a lot of time and computational resources.
Alberto Delgado +9 more
doaj +1 more source
Verifying Array Manipulating Programs with Full-Program Induction [PDF]
, 2020 We present a full-program induction technique for proving (a sub-class of) quantified as well as quantifier-free properties of programs manipulating arrays of parametric size N. Instead of inducting over individual loops, our technique inducts over the entire program (possibly containing multiple loops) directly via the program parameter N ...
Supratik Chakraborty +2 more
openaire +4 more sources
Advanced Engineering Materials, EarlyView.A new experimental setup, incorporating digital image correlation and infrared thermography in combination with inductive‐conductive heating for precise temperature control, is used to analyze the mechanical behavior and microstructural changes of sheet metal under complex thermomechanical test conditions that represent quench and partitioning ...
Christian Illgen +4 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This study designs Ta–Mo–Cr–Ti–Al refractory high‐entropy alloys with a disordered body‐centered‐cubic A2 crystal structure aiming for improved ductility, lower density, and oxidation resistance. Four alloy compositions are identified by thermodynamic calculations.
Kateryna Khanchych +7 more
wiley +1 more source