Results 51 to 60 of about 88,869 (296)
Constraints on predicate invention [PDF]
, 1991 This chapter describes an inductive learning method that derives logic programs and invents predicates when needed. The basic idea is to form the least common anti-instance (LCA) of selected seed examples.
Buntine +5 more
core +1 more source
Reasoning about goal-directed real-time teleo-reactive programs [PDF]
, 2013 The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions.
A. Burns +9 more
core +1 more source
, 2017 We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation.
Pratt-Hartmann, Ian
core +1 more source
Al-Bidayah: Jurnal Pendidikan Dasar Islam, 2020 The use of audio-visual media is on learning outcomes of science on circulatory material at MI Muhammadiyah Kalikajar Wonosobo. This research is a quantitative study with audio-visual media variables and variable learning outcomes of science in the blood
Risqi Fani Angraeni +2 more
doaj +1 more source
Оптимизация структуры переменнозначных логических функций при добавлении новых продукционных правил
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, 2022 В настоящей работе предложено теоретическое обоснование и практическая реализация в виде алгоритма модификации переменнозначных логических функций при добавлении новых продукционных правил в уже сформированный (в рамках исходной предметной области ...
Димитриченко, Д.П.
doaj +1 more source
Connectionist Inference Models [PDF]
, 2001 The performance of symbolic inference tasks has long been a challenge to connectionists. In this paper, we present an extended survey of this area. Existing connectionist inference systems are reviewed, with particular reference to how they perform ...
Browne, Antony, Sun, Ron
core +3 more sources
Variables and Values in Children’s Early Word-Combinations
Psychology of Language and Communication, 2014 A model of syntactic development proposes that children’s very first word-combinations are already generated via productive rules that express in syntactic form the relation between a predicate word and its semantic argument. An alternative hypothesis is
Ninio Anat
doaj +1 more source
, 2016 Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core +2 more sources
Oilseeds and fats, crops and lipids, 2020 Safflower (Carthamus tinctorius L.) is of potential interest to agriculture due to mainly variability of fatty acid composition of seeds oil. The purpose of this study was to evaluate various exotic genotypes of safflower for agronomic traits, components
Yassein Ahmed A.M. +3 more
doaj +1 more source
Disjunctive bases: normal forms and model theory for modal logics [PDF]
, 2019 We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the ...
Enqvist, Sebastian, Venema, Yde
core +2 more sources