Buchumschlag

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rodler, Patrick
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Learning to Solve and Optimize by Evolving Code
von: Semmelrock, Veronika, et al.
Veröffentlicht: (2026)

A fuzzy loss for ontology classification
von: Flügel, Simon, et al.
Veröffentlicht: (2024)

Order-theoretic models for decision-making: Learning, optimization, complexity and computation
von: Hack, Pedro
Veröffentlicht: (2024)

Paraconsistent-Lib: an intuitive PAL2v algorithm Python Library
von: Junior, Arnaldo de Carvalho, et al.
Veröffentlicht: (2025)

Distributed Knowing How
von: Liu, Bin, et al.
Veröffentlicht: (2025)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
von: Li, Ying, et al.
Veröffentlicht: (2024)

Techniques for Measuring the Inferential Strength of Forgetting Policies
von: Doherty, Patrick, et al.
Veröffentlicht: (2024)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
von: Doherty, Patrick, et al.
Veröffentlicht: (2023)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
von: Koopmann, Patrick, et al.
Veröffentlicht: (2025)

A Path Towards Legal Autonomy: An interoperable and explainable approach to extracting, transforming, loading and computing legal information using large language models, expert systems and Bayesian networks
von: Constant, Axel, et al.
Veröffentlicht: (2024)

Incompleteness for stably computable formal systems
von: Savelyev, Yasha
Veröffentlicht: (2022)

Speedability of computably approximable reals and their approximations
von: Barmpalias, George, et al.
Veröffentlicht: (2026)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

Indivisibility and uniform computational strength
von: Gill, Kenneth
Veröffentlicht: (2023)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
von: Litterick, Mark, et al.
Veröffentlicht: (2024)

Quantifying artificial intelligence through algorithmic generalization
von: Ito, Takuya, et al.
Veröffentlicht: (2024)

A Logic of Uncertain Interpretation
von: Bjorndahl, Adam
Veröffentlicht: (2025)

A minimal coalition logic
von: Li, Yinfeng, et al.
Veröffentlicht: (2024)

A Comprehensive Survey of Fuzzy Implication Functions
von: Fernandez-Peralta, Raquel
Veröffentlicht: (2025)

A Compositional Framework for On-the-Fly LTLf Synthesis
von: Li, Yongkang, et al.
Veröffentlicht: (2025)

A Uniform Language to Explain Decision Trees
von: Arenas, Marcelo, et al.
Veröffentlicht: (2023)

Capability Safety as Datalog: A Foundational Equivalence
von: Spera, Cosimo
Veröffentlicht: (2026)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
von: Kihara, Takayuki
Veröffentlicht: (2022)

A framework for Conditional Reasoning in Answer Set Programming
von: Alviano, Mario, et al.
Veröffentlicht: (2025)

Dsat: A Native SAT Solver for Discrete Logic
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
von: de Lima, Tiago, et al.
Veröffentlicht: (2024)