Results 21 to 30 of about 416,627 (195)

"Inductive, Deductive"

open access: yesInformal Logic, 1984
"Inductive, Deductive"
Perry Weddle
doaj   +1 more source

Application programme interface to deductive database

open access: yesLietuvos Matematikos Rinkinys, 1999
The paper discusses midleware that implements application programme interface to deductive database. New approach is proposed how to implement the application programme interface of such kind.
Albertas Čaplinskas   +1 more
doaj   +3 more sources

Pengembangan Modul Sharaf Dengan Pendekatan Deduktif Di Pondok Modern Madinah Lampung

open access: yesStudi Arab, 2020
The objectives of this study are: 1) Developing the sharaf modules with the deductive approach, 2) Knowing the feasibility of the sharaf module with a deductive approach and 3) Knowing the effectiveness of the sharaf module with the deductive approach of
Mezan Kesuma, Reni Puspita Sari
doaj   +1 more source

Knowledge Engineering for Hybrid Deductive Databases [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2017
Modern knowledge base systems frequently need to combine a collection of databases in different formats: e.g., relational databases, XML databases, rule bases, ontologies, etc.
Dietmar Seipel
doaj   +1 more source

Deductive‐reasoning brain networks: A coordinate‐based meta‐analysis of the neural signatures in deductive reasoning

open access: yesBrain and Behavior, 2020
Objective Deductive reasoning is a complex and poorly understood concept in the field of psychology. Many cognitive neuroscience studies have been published on deductive reasoning but have yielded inconsistent findings. Methods In this study, we analyzed
Li Wang   +4 more
doaj   +1 more source

Parsing as deduction [PDF]

open access: yesProceedings of the 21st annual meeting on Association for Computational Linguistics -, 1983
By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses. The efficiency of this approach for an interesting class of grammars is discussed.
Fernando C. N. Pereira   +1 more
openaire   +1 more source

Epistemic Justification and Deductive Closure

open access: yesCrítica, 2018
Epistemic Justification and Deductive ...
Samir Okasha
doaj   +1 more source

Deductive Optimization of Relational Data Storage

open access: yes, 2020
Optimizing the physical data storage and retrieval of data are two key database management problems. In this paper, we propose a language that can express a wide range of physical database layouts, going well beyond the row- and column-based methods that
Feser, John K.   +3 more
core   +1 more source

Deductive systems of pseudo-M algebras

open access: yesAnnales Universitatis Paedagogicae Cracoviensis: Studia Mathematica, 2022
The class of pseudo-M algebras contains pseudo-BCK, pseudo-BCI, pseudo-BCH, pseudo-BE, pseudo-CI algebras and many other algebras of logic. In this paper, the notion of deductive system in a pseudo-M algebra is introduced and its elementary properties ...
Andrzej Walendziak
doaj  

Deductive systems for BigData integration

open access: yesJournal of Economic Development, Environment and People, 2018
The globalization is associated with an increased data to be processed from E-commerce transactions. The specialists are looking for different solutions, such as BigData, Hadoop, Datawarehoues, but it seems that the future is the predicative logic ...
Radu BUCEA-MANEA-TONIS
doaj   +1 more source

Home - About - Disclaimer - Privacy