Results 51 to 60 of about 93,680 (316)

Shrinking the Inductive Programming Search Space with Instruction Subsets [PDF]

arXiv, 2023
Inductive programming frequently relies on some form of search in order to identify candidate solutions. However, the size of the search space limits the use of inductive programming to the production of relatively small programs. If we could somehow correctly predict the subset of instructions required for a given problem then inductive programming ...
arxiv  

Inductive Logic Programming: Theory and methods [PDF]

The Journal of Logic Programming, 1994
AbstractInductive Logic Programming (ILP) is a new discipline which investigates the inductive construction of first-order clausal theories from examples and background knowledge. We survey the most important theories and methods of this new field. First, various problem specifications of ILP are formalized in semantic settings for ILP, yielding a ...
Muggleton, Stephen, De Raedt, Luc
openaire   +2 more sources

Influence of Cooling Rate on Primary Silicon Size in Hypereutectic Al–Si Alloy Fabricated by Laser Powder Bed Fusion

Advanced Engineering Materials, EarlyView.
Al–Si alloys are particularly in demand for automotive and electronic applications, thanks to their excellent wear and thermal properties. Nevertheless, when processed by conventional methods with low cooling rates, the coarse primary Si phases are responsible for increasing brittleness and inducing crack propagation.
Layla Shams Tisha, Daniel Knoop, Nils Ellendt, Anastasiya Toenjes   +3 more
wiley   +1 more source

Inductive programming meets the real world [PDF]

Communications of the ACM, 2015
Inductive programming can liberate users from performing tedious and repetitive tasks.
Gulwani, Sumit, Hernández-Orallo, José, Kitzelmann, Emanuel, Muggleton, Stephen H., Schmid, Ute, Zorn, Benjamin   +5 more
openaire   +5 more sources

KupferDigital: Ontology‐Based Digital Representation for the Copper Life Cycle

Advanced Engineering Materials, EarlyView.
It is demonstrated how data from different stages in the life cycle of a copper product can be stored in an ontology‐based data space. In order to showcase the methods and tools used in the project, four use cases are presented that show how data from different sources can be semantically described and queried from a shared data space.
Miriam Eisenbart, Thomas Hanke, Felix Bauer, Hossein Beygi Nasrabadi, Kurt Junghanns, Gordian Dziwis, Ladji Tikana, Ashak Mahmud Parvez, Karl Gerald van den Boogaart, Mohsin Sajjad, Valerie Friedmann, Johannes Preußner, Anantha Narayanan Ramakrishnan, Sandy Klengel, Lars‐Peter Meyer, Michael Martin, Ulrich Ernst Klotz, Birgit Skrotzki, Matthias Weber   +18 more
wiley   +1 more source

XAI Human-Machine collaboration applied to network security

Frontiers in Computer Science
Cyber attacking is easier than cyber defending—attackers only need to find one breach, while the defenders must successfully repel all attacks. This research demonstrates how cyber defenders can increase their capabilities by joining forces with ...
Steve Moyle, Andrew Martin, Nicholas Allott   +2 more
doaj   +1 more source

Induction of constraint logic programs [PDF]

, 1998
Inductive Logic Programming (ILP) is concerned with learning hypotheses from examples, where both examples and hypotheses are represented in the Logic Programming (LP) language. The application of ILP to problems involving numerical information has shown the need for basic numerical background knowledge (e.g. relation “less than”).
Sebag, Michèle, Rouveirol, Céline, Puget, Jean-François   +2 more
openaire   +3 more sources

Rational Engineering of Nanostructured AgM (M = Au, Pt, Pd) Bimetallic Electrodes via Galvanic Replacement for Glycerol Electrolysis

Advanced Engineering Materials, EarlyView.
This study demonstrates the feasibility of fabricating free‐standing carbon paper electrodes by electroplating and galvanic replacement. Nanostructured AgM (M = Au, Pt, Pd) bimetallic catalysts are directly grown on the electrode substrate, which exhibit good performance for glycerol electrolysis, a sustainable approach for the co‐production of green ...
Hui Luo, Maria‐Magdalena Titirici
wiley   +1 more source

Learning logic programs through divide, constrain, and conquer [PDF]

arXiv, 2021
We introduce an inductive logic programming approach that combines classical divide-and-conquer search with modern constraint-driven search. Our anytime approach can learn optimal, recursive, and large programs and supports predicate invention. Our experiments on three domains (classification, inductive general game playing, and program synthesis) show
arxiv  

Are There Good Mistakes? A Theoretical Analysis of CEGIS [PDF]

EPTCS 157, 2014, pp. 84-99, 2014
Counterexample-guided inductive synthesis CEGIS is used to synthesize programs from a candidate space of programs. The technique is guaranteed to terminate and synthesize the correct program if the space of candidate programs is finite. But the technique may or may not terminate with the correct program if the candidate space of programs is infinite ...
arxiv   +1 more source