Sage Journals: Discover world-class research

Retricted access

Research article

First published 1997-7

Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic

Shie-Jue Lee, Wei-Jer Lin

Fundamenta Informaticae

Retricted access

Research article

First published 2025-1

Rethinking the logic of early diagnosis in cancer

Christina Sadolin Damhus, Mette Bech Risør, John Brandt Brodersen [...]

Health: An Interdisciplinary Journal for the Social Study of Health,Illness and Medicine

Open access

Research article

First published 2006-12

Logic-Dynamic Approach to Fault Diagnosis in Mechatronic Systems

V. F. Filaretov, A. N. Zhirabok

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 1989-06

Revision of Diagnostic Logic Using a Clinical Database

Peter Haug, Paul D. Clayton, Pamela Shelton [...]

Medical Decision Making

Retricted access

Research article

First published 1954-5

The Logic of Diagnosis

Louis J. Lehrman

Families in Society: The Journal of Contemporary Social Services

Retricted access

Research article

First published 2009-11

UsingWeighted Constraints to Diagnose Errors in Logic Programming– The Case of an Ill-defined Domain

Nguyen-Thinh Le, Wolfgang Menzel

International Journal of Artificial Intelligence in Education: The European Journal on Artificial Intelligence

Free access

Editorial

First published 2020-01-09

Editorial for special issue on fuzzy logic for analysis of clinical diagnosis and decision-making in health care

Young Ho Kim

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2011-8

Fault diagnosis system based on fuzzy logic: Application to a valve actuator benchmark

Antoni Escobet, Àngela Nebot, François E. Cellier

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Free access

Research article

First published 1999-2

Computer-Enhanced Diagnosis of Malignant Hyperpyrexia

A. Lowe, M. J. Harrison

Anaesthesia and Intensive Care

Retricted access

Research article

First published 1999-2

The Diagnosis Frontend of the dlv system

Thomas Eiter, Wolfgang Faber, Nicola Leone [...]

The European Journal on Artificial Intelligence

Search results