Process algebras for systems diagnosis

, &
Artificial Intelligence 142 (1):19-51 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00292-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Decidability And Godel Incompleteness In Af C*-algebras.Daniele Mundici - 2006 - Manuscrito 29 (2):547-558.
Decidability and godel incompleteness in af c*-algebras.Daniele Mundici - 2005 - Manuscrito 28 (2):547-558.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Qb And Normal Algebras.Bronislaw Tembrowski - 1985 - Bulletin of the Section of Logic 14 (1):41-45.
On assessing the validity of the main diagnosis in patient data bases: The impact of aims for making diagnosis.Lars Elffors - 1988 - Theoretical Medicine and Bioethics 9 (2).
On the definability of join by means of polynomials in implicative algebras.Antoni Torrens - 1985 - Bulletin of the Section of Logic 14 (4):158-162.
A Note on Matrices for Systems of Nonsense-Logics.Katarzyna HaŁkowska - 1989 - Studia Logica 48 (4):461-464.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
On Generalized I-algebras And 4-valued Modal Algebras.Aldo Figallo & Paolo Landini - 1995 - Reports on Mathematical Logic:3-18.
-}$bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.Àngel J. Gil, Jordi Rebagliato & Ventura Verdú - 1999 - Journal of Applied Non-Classical Logics 9 (1):9-36.
Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.
Dually hemimorphic semi-Nelson algebras.Juan Manuel Cornejo & HernÁn Javier San MartÍn - 2020 - Logic Journal of the IGPL 28 (3):316-340.
Boolean algebras arising from information systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.
Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.

Analytics

Added to PP
2020-12-22

Downloads
19 (#791,735)

6 months
18 (#138,791)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
Diagnostic reasoning based on structure and behavior.Randall Davis - 1984 - Artificial Intelligence 24 (1-3):347-410.
Characterizing diagnoses and systems.Johan de Kleer, Alan K. Mackworth & Raymond Reiter - 1992 - Artificial Intelligence 56 (2-3):197-222.

View all 7 references / Add more references