Results 31 to 40 of about 138,341 (311)
Efficient and Flexible Access Control via Logic Program Specialisation [PDF]
, 2004 We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a database and an access policy specification.
Varea, Mauricio +6 more
core +1 more source
Automated Deductive Verification for Ladder Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of inputs (whose values are given at runtime by factory sensors), outputs (whose ...
Denis Cousineau +2 more
doaj +1 more source
Application programme interface to deductive database
Lietuvos 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
Studi 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
A Deductive Object-Oriented Database System for Situated Inference in Law [PDF]
, 1996 Deductive Object-Oriented Databases and Situation Theory are two important areas of research in the fields of databases and of linguistics. AI and law is a new field attracting both AI researchers and legal practitioners. Our research brings together the
Wong, Stephen, Tojo, Satoshi
core +1 more source
Brain 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
Knowledge Engineering for Hybrid Deductive Databases [PDF]
Electronic 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
Epistemic Justification and Deductive Closure
Crítica, 2018 Epistemic Justification and Deductive ...
Samir Okasha
doaj +1 more source
Proceedings 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
Deductive systems of pseudo-M algebras
Annales 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