Works matching DE "CONFIRMATION (Logic)"

Results: 374

Verifying Conventional Force Reductions.

Published in:

Washington Quarterly, 1991, v. 14, n. 1, p. 133, doi. 10.1080/01636609109477670

By:

Hansen, Lynn M.

Publication type:

Article

Evidentiality in discourse.

Published in:

Intercultural Pragmatics, 2014, v. 11, n. 3, p. 321, doi. 10.1515/ip-2014-0015

By:

Fetzer, Anita;
Oishi, Etsuko

Publication type:

Article

Where can we really prove instances of the Paris-Harrington principle?

Published in:

PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 903, doi. 10.1002/pamm.201610440

By:

Freund, Anton

Publication type:

Article

Automating deductive verification for weak-memory programs (extended version).

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 709, doi. 10.1007/s10009-020-00559-y

By:

Summers, Alexander J.;
Müller, Peter

Publication type:

Article

Formal methods for transport systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 237, doi. 10.1007/s10009-018-0487-4

By:

ter Beek, Maurice H.;
Gnesi, Stefania;
Knapp, Alexander

Publication type:

Article

Timed-automata based schedulability analysis for distributed firm real-time systems: a case study.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 3, p. 211, doi. 10.1007/s10009-012-0245-y

By:

Le, Thi;
Palopoli, Luigi;
Passerone, Roberto;
Ramadian, Yusi

Publication type:

Article

Runtime verification of concurrency-specific correctness criteria.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 291, doi. 10.1007/s10009-011-0210-1

By:

Qadeer, Shaz;
Tasiran, Serdar

Publication type:

Article

Experience in evaluating the data of inter-laboratory comparisons for calibration and verification laboratories.

Published in:

Measurement Techniques, 2007, v. 50, n. 6, p. 584, doi. 10.1007/s11018-007-0115-2

By:

N. Efremova;
A. Chunovkina

Publication type:

Article

Verification of a technical system model with linear temporal logic.

Published in:

Automation & Remote Control, 2012, v. 73, n. 9, p. 1539, doi. 10.1134/S0005117912090081

By:

Nepeivoda, A.

Publication type:

Article

How One Mistake Leads to Another: On the Importance of Verification/Replication.

Published in:

Political Analysis, 2004, v. 12, n. 2, p. 199, doi. 10.1093/pan/mph009

By:

Ward, Artemus

Publication type:

Article

When it hurts to be misled: A Stroop-like effect in a simple addition production task.

Published in:

Memory & Cognition, 2000, v. 28, n. 1, p. 1, doi. 10.3758/BF03211569

By:

Zbrodoff, N. Jane;
Logan, Gordon D.

Publication type:

Article

When plausibility judgments supersede fact retrieval: The example of the odd-even effect on...

Published in:

Memory & Cognition, 1995, v. 23, n. 1, p. 34, doi. 10.3758/BF03210555

By:

Lemaire, Patrick;
Fayol, Michel

Publication type:

Article

Inductive Logic.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 641, doi. 10.1007/s10992-015-9348-8

By:

Crupi, Vincenzo

Publication type:

Article

Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 5, p. 877, doi. 10.1007/s10992-011-9207-1

By:

Proietti, Carlo

Publication type:

Article

Embedding If and Only If.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 449, doi. 10.1007/s10992-011-9170-x

By:

Sennet, Adam;
Weisberg, Jonathan

Publication type:

Article

False Though Partly True – An Experiment in Logic.

Published in:

Journal of Philosophical Logic, 2003, v. 32, n. 6, p. 613, doi. 10.1023/B:LOGI.0000003922.76154.69

By:

Humberstone, Lloyd

Publication type:

Article

Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic.

Published in:

Systems, 2023, v. 11, n. 11, p. 535, doi. 10.3390/systems11110535

By:

Kwon, Ryeonggu;
Kwon, Gihwon

Publication type:

Article

Locally Tight Programs.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 5, p. 942, doi. 10.1017/S147106842300039X

By:

FANDINNO, JORGE;
LIFSCHITZ, VLADIMIR;
TEMPLE, NATHAN

Publication type:

Article

Abstract Environment Trimming.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 4, p. 863, doi. 10.1017/S1471068424000358

By:

JURJO-RIVAS, DANIEL;
MORALES, JOSE F.;
LÓPEZ-GARCÍA, PEDRO;
HERMENEGILDO, MANUEL V.

Publication type:

Article

Compositional Verification in Rewriting Logic.

Published in:

Theory & Practice of Logic Programming, 2024, v. 24, n. 1, p. 57, doi. 10.1017/S1471068423000340

By:

MARTÍN, ÓSCAR;
VERDEJO, ALBERTO;
MARTÍ-OLIET, NARCISO

Publication type:

Article

OCENA PRZYDATNOŚCI REKOMENDACJI GIEŁDOWYCH OPARTYCH NA METODZIE DCF NA PRZYKŁADZIE SPÓŁEK BUDOWLANYCH.

Published in:

Research Papers of the Wroclaw University of Economics / Prace Naukowe Uniwersytetu Ekonomicznego we Wroclawiu, 2012, n. 254, p. 103

By:

Kowalke, Krzysztof

Publication type:

Article

Presentism and The Grounding Objection.

Published in:

Nous (0029-4624), 2007, v. 41, n. 1, p. 118, doi. 10.1111/j.1468-0068.2007.00639.x

By:

Crisp, Thomas M.

Publication type:

Article

What is Relative Confirmation?

Published in:

Nous (0029-4624), 1997, v. 31, n. 3, p. 370, doi. 10.1111/0029-4624.00050

By:

Christensen, David

Publication type:

Article

Visibly rational expressions.

Published in:

Acta Informatica, 2014, v. 51, n. 1, p. 25, doi. 10.1007/s00236-013-0190-6

By:

Bozzelli, Laura;
Sánchez, César

Publication type:

Article

ViviSection: Skeleton-based Volume Editing.

Published in:

Computer Graphics Forum, 2013, v. 32, n. 3pt4, p. 461, doi. 10.1111/cgf.12133

By:

Karimov, A.;
Mistelbauer, G.;
Schmidt, J.;
Mindek, P.;
Schmidt, E.;
Sharipov, T.;
Bruckner, S.;
Gröller, E.

Publication type:

Article

THE INTERLINKAGE BETWEEN ACCOUNTING INDICATORS AND THE FINANCING DECISION OF A COMPANY.

Published in:

Annals of Eftimie Murgu University Resita, Fascicle II, Economic Studies, 2012, p. 278

By:

MILOŞ, Marius Cristian;
MILOŞ, Laura Raisa

Publication type:

Article

Evaluating multi-scale precipitation forecasts using high resolution analysis.

Published in:

Advances in Science & Research, 2010, v. 4, p. 89, doi. 10.5194/asr-4-89-2010

By:

Wittmann, C.;
Haiden, T.;
Kann, A.

Publication type:

Article

On the Stewardship Value of Soft Managerial Reports.

Published in:

Accounting Review, 2015, v. 90, n. 4, p. 1683, doi. 10.2308/accr-50946

By:

Şabac, Florin;
Tian, Jie (Joyce)

Publication type:

Article

Unification and Confirmation.

Published in:

2016

By:

NIINILUOTO, Ilkka

Publication type:

Abstract

Unification and Confirmation.

Published in:

Theoria: An International Journal for Theory, History & Foundations of Science, 2016, v. 31, n. 1, p. 107, doi. 10.1387/theoria.13084

By:

NIINILUOTO, Ilkka

Publication type:

Article

Verification of data in congenital cardiac surgery.

Published in:

Cardiology in the Young, 2008, v. 18, n. S2, p. 177, doi. 10.1017/S1047951108002862

By:

Clarke, David R.;
Breen, Linda S.;
Jacobs, Marshall L.;
Franklin, Rodney C. G.;
Tobota, Zdzislaw;
Maruszewski, Bohdan;
Jacobs, Jeffrey P.

Publication type:

Article

Bounding set calculation for neural network-based output feedback adaptive control systems.

Published in:

Neural Computing & Applications, 2011, v. 20, n. 3, p. 373, doi. 10.1007/s00521-010-0404-6

By:

Campa, Giampiero;
Fravolini, Mario;
Mammarella, Marco;
Napolitano, Marcello

Publication type:

Article

Illusion of confirmation from exposure to another's hypothesis.

Published in:

Journal of Behavioral Decision Making, 2006, v. 19, n. 1, p. 61, doi. 10.1002/bdm.513

By:

Koehler, Derek J.;
Beauregard, T. Alexandra

Publication type:

Article

Second-order probability affects hypothesis confirmation.

Published in:

Psychonomic Bulletin & Review, 2010, v. 17, n. 1, p. 129, doi. 10.3758/PBR.17.1.129

By:

Katya Tentori

Publication type:

Article

Adapting and Implementing a Reduction Rule to ECATNets by Using Rewriting Logic.

Published in:

Engineering Letters, 2012, v. 20, n. 2, p. 116

By:

Boudiaf, N.;
Bensaber, K.

Publication type:

Article

Is Quine a Verificationist?

Published in:

Southern Journal of Philosophy, 2003, v. 41, n. 3, p. 399, doi. 10.1111/j.2041-6962.2003.tb00959.x

By:

Raatikainen, Panu

Publication type:

Article

SOCIOLOGICAL METHOD. A COMPARATIVE HISTORICAL ANALYSIS.

Published in:

2006

By:

Valantiejus, Algimantas

Publication type:

Abstract

Addressing potential observer effects in forensic science: a perspective from a forensic scientist who uses linear sequential unmasking techniques.

Published in:

Australian Journal of Forensic Sciences, 2017, v. 49, n. 5, p. 548, doi. 10.1080/00450618.2016.1259433

By:

Langenburg, Glenn

Publication type:

Article

Superaddressee or Who Will Succeed a Mentor?

Published in:

Studies in Philosophy & Education, 2006, v. 25, n. 3, p. 227, doi. 10.1007/s11217-005-3462-y

By:

Bryzzheva, Lyudmila

Publication type:

Article

Hypothesis Testing in Unidentified Models.

Published in:

Review of Economic Studies, 1986, v. 53, n. 4, p. 635, doi. 10.2307/2297609

By:

Breusch, Trevor S.

Publication type:

Article

An investigation on the cascaded operation of photonic crystal based all optical logic gates and verification of De Morgan's law.

Published in:

Optical & Quantum Electronics, 2020, v. 52, n. 6, p. 1, doi. 10.1007/s11082-020-02384-8

By:

Anagha, E. G.;
Jeyachitra, R. K.

Publication type:

Article

Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service.

Published in:

Journal of Supercomputing, 2014, v. 67, n. 2, p. 345, doi. 10.1007/s11227-013-1005-9

By:

Rezaee, Ali;
Rahmani, Amir;
Movaghar, Ali;
Teshnehlab, Mohammad

Publication type:

Article

Learning from Constraints for Formal Property Checking.

Published in:

Journal of Electronic Testing, 2010, v. 26, n. 2, p. 243, doi. 10.1007/s10836-010-5143-1

By:

Moon, In-Ho;
Harer, Kevin

Publication type:

Article

Compact Entailment and Wright's Verification Principle.

Published in:

Mind (0026-4423), 2001, v. 110, n. 438, p. 413

By:

Yi, Byeong-Uk

Publication type:

Article

Conservatism and Tacit Confirmation*.

Published in:

Mind (0026-4423), 1990, v. 99, n. 396, p. 559, doi. 10.1093/mind/XCIX.396.559

By:

ADLER, JONATHAN E.

Publication type:

Article

The Verification Principle: Another Puncture—Another Patch.

Published in:

Mind (0026-4423), 1989, v. 98, n. 392, p. 611, doi. 10.1093/mind/XCVIII.392.611

By:

WRIGHT, CRISPIN

Publication type:

Article

On the Paradox of Knowability.

Published in:

Mind (0026-4423), 1987, v. 96, n. 382, p. 256, doi. 10.1093/mind/XCVI.382.256

By:

WILLIAMSON, TIMOTHY

Publication type:

Article

Testing Factorial Invariance across Groups: A Reconceptualization and Proposed New Method.

Published in:

Journal of Management, 1999, v. 25, n. 1, p. 1, doi. 10.1177/014920639902500101

By:

Cheung, Gordon W.;
Rensvold, Roger B.

Publication type:

Article

WERYFIKACJONIZM WITTGENSTEINA.

Published in:

Philosophy of Science / Filozofia Nauki, 2019, v. 27, n. 2, p. 39, doi. 10.14394/filnau.2019.0010

By:

DEHNEL, PIOTR

Publication type:

Article

Formal Verification of Real-Time Systems with Data Processing.

Published in:

Periodica Polytechnica: Electrical Engineering & Computer Science, 2017, v. 61, n. 2, p. 166, doi. 10.3311/PPee.9766

By:

Tóth, Tamás;
Majzik, István

Publication type:

Article