Diagnosability of fair transition systems

, , , , &
Artificial Intelligence 309 (C):103725 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2022.103725

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Well (and better) quasi-ordered transition systems.Parosh Aziz Abdulla - 2010 - Bulletin of Symbolic Logic 16 (4):457-515.
The Modal μ-Calculus Hierarchy over Restricted Classes of Transition Systems.Luca Alberucci & Alessandro Facchini - 2009 - Journal of Symbolic Logic 74 (4):1367 - 1400.
The search for a quantum KAM theorem.L. E. Reichl & W. A. Lin - 1987 - Foundations of Physics 17 (7):689-697.
The interests and policies of the PRC in Central Asia.N. Mykytchuk - 2012 - Epistemological studies in Philosophy, Social and Political Sciences 3 (22):309-314.
Value Change in Energy Systems.Behnam Taebi & Ibo van de Poel - 2022 - Science, Technology, and Human Values 47 (3):371-379.
The Strong Local Diagnosability of a Hypercube Network with Missing Edges.Min Xie, Jiarong Liang & Xi Xiong - 2018 - Complexity 2018:1-10.
Inducing fair trade out of hegemonic trade.Raymond Dacey - 1994 - Synthese 100 (3):497 - 504.
Equal Justice: Fair Legal Systems in an Unfair World, by Frederick Wilmot-Smith.James Lindley Wilson - 2021 - Mind 130 (519):1049-1057.
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 1--18.
Producer organizations as transition intermediaries? Insights from organic and conventional vegetable systems in Uruguay.Annemarie Groot-Kormelinck, Jos Bijman, Jacques Trienekens & Laurens Klerkx - 2022 - Agriculture and Human Values 39 (4):1277-1300.
Fair Subject Selection in Clinical and Social Scientific Research.Douglas MacKay - 2020 - In Ana S. Iltis & Douglas MacKay (eds.), The Oxford Handbook of Research Ethics. New York, NY, USA: Oxford University Press.
Logic of transition systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.
Logic of transition systems.Johan Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.
Fair Trade: An Imperfect Obligation?Nicole Hassoun - 2017 - Global Justice: Theory Practice Rhetoric 10 (2).
Fair Trade: An Imperfect Obligation?Nicole Hassoun - 2018 - Global Justice : Theory Practice Rhetoric 10 (2).

Analytics

Added to PP
2022-04-14

Downloads
17 (#873,676)

6 months
8 (#370,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.

Add more references