Works matching DE "DEDUCTIVE databases"

Results: 34

Scaling-up reasoning and advanced analytics on BigData.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 806, doi. 10.1017/S1471068418000418

By:

CONDIE, TYSON;
DAS, ARIYAM;
INTERLANDI, MATTEO;
SHKAPSKY, ALEXANDER;
YANG, MOHAN;
ZANIOLO, CARLO

Publication type:

Article

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

Published in:

Neural Plasticity, 2018, p. 1, doi. 10.1155/2018/1401579

By:

Álvarez Merino, P.;
Requena, C.;
Salto, F.

Publication type:

Article

The Impact of Data Accuracy on System Learning.

Published in:

Journal of Management Information Systems, 1993, v. 9, n. 4, p. 83, doi. 10.1080/07421222.1993.11517979

By:

O'Leary, Daniel E.

Publication type:

Article

A different paradigm for expert systems: an introduction to logic programming and related knowledge representation issues.

Published in:

Expert Systems, 2006, v. 23, n. 5, p. 342, doi. 10.1111/j.1468-0394.2006.00415.x

By:

Jones, James D.

Publication type:

Article

Deductive Algorithmic Knowledge.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 2, p. 287, doi. 10.1093/logcom/exi078

By:

Pucella, Riccardo

Publication type:

Article

Declarative PTIME queries for relational databases using quantifier elimination.

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 5, doi. 10.1093/logcom/9.5.737

By:

Doherty, P;
Doherty, Patrick;
Lukaszewicz, W;
Lukaszewicz, Witold;
Szalas, A;
Szalas, Andrzej

Publication type:

Article

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

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 1, p. 63, doi. 10.1093/logcom/9.1.63

By:

Walton, D

Publication type:

Article

Fibring Modal First-Order Logics: Completeness Preservation.

Published in:

Logic Journal of the IGPL, 2002, v. 10, n. 4, p. 413, doi. 10.1093/jigpal/10.4.413

By:

Sernadas, Amilcar;
Sernadas, Cristina;
Zanardo, Alberto

Publication type:

Article

AUDIT COMMITTEE ATTRIBUTES AND AUDIT QUALITY: A BENCHMARK ANALYSIS.

Published in:

Business: Theory & Practice, 2018, v. 19, p. 37, doi. 10.3846/btp.2018.05

By:

ASIRIUWA, Osariemen;
ARONMWAN, Edosa Joshua;
UWUIGBE, Uwalomwa;
UWUIGBE, Olubukola Ranti

Publication type:

Article

Mamdani Fuzzy Systems for Modelling and Simulation: A Critical Assessment.

Published in:

Journal of Artificial Societies & Social Simulation, 2018, v. 21, n. 3, p. 1, doi. 10.18564/jasss.3660

By:

Izquierdo, Segismundo S.;
Izquierdo, Luis R.

Publication type:

Article

A semantic approach to optimize linear datalog programs.

Published in:

Acta Informatica, 2006, v. 43, n. 5, p. 341, doi. 10.1007/s00236-006-0025-9

By:

Paramá, José R.;
Brisaboa, Nieves R.;
Penabad, Miguel R.;
Places, Ángeles S.

Publication type:

Article

Mining the Semantic Web.

Published in:

Data Mining & Knowledge Discovery, 2012, v. 24, n. 3, p. 613, doi. 10.1007/s10618-012-0253-2

By:

Rettinger, Achim;
Lösch, Uta;
Tresp, Volker;
d'Amato, Claudia;
Fanizzi, Nicola

Publication type:

Article

KNOWLEDGE-BASED MANPOWER PLANNING.

Published in:

Annals of Operations Research, 1988, v. 16, n. 1-4, p. 349, doi. 10.1007/BF02283753

By:

Bardens, Rupert;
Karagiannis, Dimitris

Publication type:

Article

Prediction of the shear strength of reinforced masonry walls using a large experimental database and artificial neural networks.

Published in:

Structure & Infrastructure Engineering: Maintenance, Management, Life-Cycle Design & Performance, 2016, v. 12, n. 12, p. 1661, doi. 10.1080/15732479.2016.1157824

By:

Aguilar, Víctor;
Sandoval, Cristián;
Adam, Jose M.;
Garzón-Roca, Julio;
Valdebenito, Galo

Publication type:

Article

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

Published in:

International Journal of Intelligent Systems, 1990, v. 5, n. 5, p. 549, doi. 10.1002/int.4550050507

By:

Gelfond, Michael;
Przymusinska, Halina;
Przymusinski, Teodor

Publication type:

Article

Answering Atomic Queries in Indefinite Deductive Databases.

Published in:

International Journal of Intelligent Systems, 1989, v. 4, n. 4, p. 403, doi. 10.1002/int.4550040402

By:

Lozinskii, Eliezer L.

Publication type:

Article

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

Published in:

Azerbaijan Journal of Mathematics, 2016, v. 6, n. 1, p. 39

By:

Muhiuddin, G.

Publication type:

Article

On residuated skew lattices.

Published in:

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019, v. 27, n. 1, p. 245, doi. 10.2478/auom-2019-0013

By:

Saeid, Arsham Borumand;
Koohnavard, Roghayeh

Publication type:

Article

Some decompositions of filters in residuated lattices.

Published in:

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019, v. 27, n. 1, p. 211, doi. 10.2478/auom-2019-0011

By:

Piciu, Dana;
Dan, Christina Theresia;
Chirteş, Florentina

Publication type:

Article

Pengines: Web Logic Programming Made Easy.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 4/5, p. 539, doi. 10.1017/S1471068414000192

By:

LAGER, TORBJÖRN;
WIELEMAKER, JAN;
Leuschel, Michael;
Schrijvers, Tom

Publication type:

Article

Logic Macroprogramming for Wireless Sensor Networks.

Published in:

International Journal of Distributed Sensor Networks, 2012, p. 1, doi. 10.1155/2012/171738

By:

Choochaisri, Supasate;
Pornprasitsakul, Nuttanart;
Intanagonwiwat, Chalermek

Publication type:

Article

A PICTURE PAINTS A THOUSAND NUMBERS - AND TELLS A STORY: A POSTPOSITIVIST APPROACH TO BUILDING SUBSTANTIVE GROUNDED THEORY USING DECISION TREE ANALYSIS.

Published in:

South African Journal of Higher Education, 2015, v. 29, n. 6, p. 124

By:

Kirby, N. F.;
Dempster, E. R.

Publication type:

Article

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

Published in:

Moroccan Journal of Quantitative & Qualitative Research, 2023, v. 5, n. 3, p. 1

By:

Yuwono, Matias Andika;
Rachmawati, Dyna

Publication type:

Article

TRIAL AND ERROR MATHEMATICS II: DIALECTICAL SETS AND QUASIDIALECTICAL SETS, THEIR DEGREES, AND THEIR DISTRIBUTION WITHIN THE CLASS OF LIMIT SETS.

Published in:

Review of Symbolic Logic, 2016, v. 9, n. 4, p. 810, doi. 10.1017/S1755020316000253

By:

AMIDEI, JACOPO;
PIANIGIANI, DUCCIO;
MAURO, LUCA SAN;
SORBI, ANDREA

Publication type:

Article

Studies in the logic of K-onfirmation.

Published in:

Philosophical Studies, 2019, v. 176, n. 2, p. 437, doi. 10.1007/s11098-017-1023-1

By:

Peterson, Clayton

Publication type:

Article

The Development of Baselog System and Some Applications.

Published in:

International Review on Computers & Software, 2008, v. 3, n. 4, p. 390

By:

Radulovic, B.;
Berkovic, I.;
Hotomski, P.;
Kazi, Z.

Publication type:

Article

Contextual and psychological factors influencing open defecation free status: an exploratory qualitative study in rural South Western Uganda.

Published in:

2022

By:

Ntaro, Moses;
Owokuhaisa, Judith;
Isunju, John Bosco;
Mulogo, Edgar;
Ssempebwa, John C.

Publication type:

journal article

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

Published in:

Operations Research & Decisions, 2018, v. 28, n. 3, p. 45, doi. 10.5277/ord180304

By:

RADOSIŃSKI, Edward;
RADOSIŃSKI, Łukasz

Publication type:

Article

A Logic of Access Control.

Published in:

Computer Journal, 2001, v. 44, n. 2, p. 137, doi. 10.1093/comjnl/44.2.137

By:

Crampton, Jason;
Loizou, George;
O'Shea, Greg

Publication type:

Article

(Skew) Filters in Residuated Skew Lattices.

Published in:

Scientific Annals of Computer Science, 2018, v. 28, n. 1, p. 115, doi. 10.7561/SACS.2018.1.115

By:

KOOHNAVARD, R.;
SAEID, A. BORUMAND

Publication type:

Article

Evidence-Based Financial Planning: To Learn… Like a CFP.

Published in:

Journal of Financial Planning, 2011, v. 24, n. 11, p. 38

By:

Buie, Elissa;
Yeske, Dave

Publication type:

Article

Wherefore Accounting Data--Explanation, Prediction and Decisions.

Published in:

Accounting Review, 1976, v. 51, n. 4, p. 739

By:

Caspari, John A.

Publication type:

Article

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

Published in:

International Arab Journal of Information Technology (IAJIT), 2009, v. 6, n. 4, p. 329

By:

Touzi, Amel

Publication type:

Article

INFERENCE RULES FOR PROBABILITY LOGIC.

Published in:

Publications de l'Institut Mathématique, 2016, v. 100, n. 114, p. 77, doi. 10.2298/PIM1614077B

By:

Boričić, Marija

Publication type:

Article