[PDF] Top 20 A formalism for causal explanations with an Answer Set Programming translation
Has 10000 "A formalism for causal explanations with an Answer Set Programming translation" found on our website. Below are the top 20 most common "A formalism for causal explanations with an Answer Set Programming translation".
A formalism for causal explanations with an Answer Set Programming translation
... practicality for a user of using Answer Set Program- ming (ASP) for representing logical ...is a formal- ism aiming at capturing causal explanations from ... Voir le document complet
8
Reasoning on the response of logical signaling networks with answer set programming
... (after causal interaction ...in an iterative fashion by adding layers of complexity yielding more precise descriptions [Wittmann et ...that a large majority of the authors working with such ... Voir le document complet
155
Answering the "why" in answer set programming - A survey of explanation approaches
... to a decrease in the understandability of ...stipulating a “right to explanation” for decisions made by AI ...is Answer Set Program- ming ...used for problem-solving in a ... Voir le document complet
99
Using ASP with recent extensions for causal explanations
... practicality for a user of using Answer Set Pro- gramming (ASP) for representing logical ...as an example a formalism aiming at capturing causal ... Voir le document complet
22
Reasoning on the response of logical signaling networks with Answer Set Programming
... crucial for the understanding of the re- sponse to external and internal ...when an extracellular signaling molecule binds to a specific cell surface recep- tor ...Such a binding causes ... Voir le document complet
47
Answering the "why" in answer set programming - A survey of explanation approaches
... to a decrease in the understandability of ...stipulating a “right to explanation” for decisions made by AI ...is Answer Set Program- ming ...used for problem-solving in a ... Voir le document complet
100
A Calculus for Generating Ground Explanations
... presented a calculus that permits to reason on the relations involving abducible constants, that are logical consequences of a satisfiable set of ...as explanations of why the set is ... Voir le document complet
16
An answer to a question of herings et al
... admits a fixed-point, ...is a generalization of Brouwer fixed point theorem (see [1]) which says that every continuous mapping from the unit closed ball of R n to itself admits a fixed ...is a ... Voir le document complet
4
An answer to a question of herings et al.
... is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or ... Voir le document complet
4
A Formalism for Stochastic Adaptive Systems
... in a hierarchical ...of a series of works in the software engineering ...propose a modeling language for adaptive systems whose behaviors depend on stochastic ...on an extension of ... Voir le document complet
18
An attempt to set the framework of Model-Oriented Programming
... approach for the development of software must ensure that software engineering skills are covered and im- proved in comparison with object-oriented and aspect-oriented ...oriented programming; they ... Voir le document complet
7
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
... the translation scheme consists in converting Ssa into Signal ...is a Signal program, syntactically correct but semantically not correct, which reflects directly the Ssa code in a Signal ...as ... Voir le document complet
20
Towards Causal Explanations of Property Violations in Discrete Event Systems
... on a be- havioural model of the system and an observable execution ...of a diagnostic pro- cess is to determine what happened that is consis- tent with the ...go a step further and ... Voir le document complet
9
A challenge set approach to evaluating machine translation
... challenge set question. We propose a new evaluation methodology cen- tered around a challenge set of difficult examples that are designed using expert linguistic knowl- edge to probe an ... Voir le document complet
28
Colored-Object Programming : Color Graphs, a Visual Formalism for Synthesizing the Behaviour of Objects
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet
24
A Unified Formalism for Physical Attacks
... of an algorithm yet proven ...presents a common for- malism for these attacks and highlights their underlying ...described with a 3-step ... Voir le document complet
20
Market Shaping as an Answer to Ambiguities.
... market for credit ...provide a historical perspective in which the market appears as a functionalist work-in-progress solution to definitional and valorization uncertainties, as opposed to a ... Voir le document complet
31
Bayesian optimization with a finite budget: An approximate dynamic programming approach
... Optimization with a Finite Budget In this section, we define the auxiliary problem of BO with a finite budget ...as a DP ...at a design x is unknown before its evaluation and, ... Voir le document complet
10
Devil : An IDL for Hardware Programming
... Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, [r] ... Voir le document complet
23
A unified formalism for complex systems architecture
... find a fair compromise solution between individual points of ...is a standard decision model used in Eco- nomics to refine Pareto dominance while favoring solutions that fairly share happiness among ...here ... Voir le document complet
116
Sujets connexes