• Aucun résultat trouvé

[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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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 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

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

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

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

Show all 10000 documents...