Search Results - "Deductive databases"

Evidence Linking Brain Activity Modulation to Age and to Deductive Training.

Authors: Álvarez Merino, P. Requena, C. Salto, F.

Source: Neural Plasticity. 11/25/2018, p1-10. 10p.

Combined Methods. Can This Solve The Differences Between Deductive and Inductive Methods in Qualitative Research?

Authors: Yuwono, Matias Andika Rachmawati, Dyna

Source: Moroccan Journal of Quantitative & Qualitative Research; 2023, Vol. 5 Issue 3, p1-22, 22p

(Skew) Filters in Residuated Skew Lattices.

Authors: KOOHNAVARD, R. SAEID, A. BORUMAND

Source: Scientific Annals of Computer Science; 2018, Vol. 28 Issue 1, p115-140, 26p

AN IMPLEMENTATION OF A THEOREM PROVER USED IN DEDUCTIVE OBJECT-ORIENTED DATABASES.

Authors: Marinov, Milko¹

Source: Proceedings of the International Conference on Systems for Automation of Engineering & Research. 2003, p1. 5p.

Subjects: Deductive databases, Databases, Electronic information resources, Management of information storage & retrieval systems, Artificial intelligence, Linear control systems

DEDUCTIVE DATABASES.

Authors: Minker, Jack¹

Source: Encyclopedia of Electrical & Electronics Engineering. 1999 1st Edition, Vol. 5, p97-107. 11p.

Subjects: Deductive databases, Information storage & retrieval systems, First-order logic, Databases, Modern logic, Mathematical functions

VERIFICATION OF A MODEL AS A SCIENTIFIC TOOL OF OPERATIONS RESEARCH. A METHODOLOGICAL APPROACH.

Authors: RADOSIŃSKI, Edward RADOSIŃSKI, Łukasz

Source: Operations Research & Decisions. 2018, Vol. 28 Issue 3, p45-62. 18p.

Mining the Semantic Web.

Authors: Rettinger, Achim Lösch, Uta Tresp, Volker et al.

Source: Data Mining & Knowledge Discovery. May2012, Vol. 24 Issue 3, p613-662. 50p. 1 Diagram, 10 Charts.

Subjects: Semantic Web, Deductive databases, Data mining, Machine learning, Inductive teaching, Logic

A New Partial Semantics for Disjunctive Deductive Databases.

Authors: Gire, Françoise Plourde, Corinne

Source: Fundamenta Informaticae. 2005, Vol. 67 Issue 4, p323-342. 20p.

Subjects: Deductive databases, Databases, Computer files, Electronic information resources, Programming language semantics

Processing Indefinite Deductive Databases under the Possible Model Semantics.

Authors: Johnson, C.A.

Source: Fundamenta Informaticae. Feb2002, Vol. 49 Issue 4, p325. 23p.

Subjects: Deductive databases, Stratificational grammar, Databases

INFERENCE RULES FOR PROBABILITY LOGIC.

Authors: Boričić, Marija¹ marija.boricic@fon.bg.ac.rs

Source: Publications de l'Institut Mathématique. 2016, Vol. 100 Issue 114, p77-86. 10p.

Int-soft Hyper-MK-deductive Systems in Hyper-iWV-algebras.

Authors: Muhiuddin, G.¹ chishtygm@gmail.com

Source: Azerbaijan Journal of Mathematics. Jan2016, Vol. 6 Issue 1, p39-51. 13p.

Evaluation of a Deductive Database System for CAD Applications.

Authors: Takagi, Toshihisa Suzuki, Takahiko Goto, Susumu et al.

Source: Systems & Computers in Japan. 11/15/92, Vol. 23 Issue 13, p15-27. 13p.

Subjects: Deductive databases, Computer-aided design, Prototypes, Electronic data processing, Problem solving, Electronic information resources

Applying labelled deductive systems and multi-agent systems to source-based argumentation.

Authors: Walton, D

Source: Journal of Logic & Computation. Feb99, Vol. 9 Issue 1, p63. 18p.

Subjects: Deductive databases, Intelligent agents

Answering Atomic Queries in Indefinite Deductive Databases.

Authors: Lozinskii, Eliezer L.¹

Source: International Journal of Intelligent Systems. Winter89, Vol. 4 Issue 4, p403-429. 27p.

Subjects: Deductive databases, Databases, Electronic information resources, Algorithms, Computer systems

Deductive information retrieval based on classifications.

Authors: Jarvelin, Kalervo Niemi, Timo

Source: Journal of the American Society for Information Science. Dec1993, Vol. 44 Issue 10, p557-578. 22p. 2 Diagrams, 11 Charts.

Subjects: Deductive databases, Information retrieval software

Logic Macroprogramming for Wireless Sensor Networks.

Authors: Choochaisri, Supasate Pornprasitsakul, Nuttanart Intanagonwiwat, Chalermek

Source: International Journal of Distributed Sensor Networks; 2012, p1-12, 12p

VI-SDB: A Convivial Approach for Description and Manipulation of Deductive and Stratified Databases.

Authors: Touzi, Amel¹

Source: International Arab Journal of Information Technology (IAJIT); Oct2009, Vol. 6 Issue 4, p329-335, 7p, 4 Black and White Photographs, 2 Diagrams, 3 Charts

A semantic approach to optimize linear datalog programs.

Authors: Paramá, José R. Brisaboa, Nieves R. Penabad, Miguel R. et al.

Source: Acta Informatica; Dec2006, Vol. 43 Issue 5, p341-370, 30p, 16 Diagrams, 7 Charts

Fibring Modal First-Order Logics: Completeness Preservation.

Authors: Sernadas, Amilcar Sernadas, Cristina Zanardo, Alberto

Source: Logic Journal of the IGPL; 2002, Vol. 10 Issue 4, p413-451, 39p

On the Relationship between CWA, Minimal Model, and Minimal Herbrand Model Semantics.

Authors: Gelfond, Michael Przymusinska, Halina Przymusinski, Teodor

Source: International Journal of Intelligent Systems; Dec90, Vol. 5 Issue 5, p549-564, 16p