Answer set
Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming
... using Answer Set Programming (ASP), a declar- ative problem solving paradigm, in which a problem is encoded as a logical program such that its answer sets represent solutions to the prob- ...complete ...
22
Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
... an answer set S costs 3 units for S. Then the total cost of an answer set characterizes to what extent the preferences are not satisfied in a plan: the larger the total cost, the less ...
8
Computational Protein Design: trying an Answer Set Programming approach to solve the problem
... Inria centre de Rennes, Campus de Beaulieu, 35510 Rennes, France. Abstract. Proteins are macromolecules made of a chain of amino-acids. The combinatorial nature of the space of possible protein conformations makes ...
19
A formalism for causal explanations with an Answer Set Programming translation
... a real drawback, since our rules involve sets. Part of this difficulty comes from a second drawback: In ASP, it is hard to reuse portions of a program. Similar rules should be written again, in a different way. Also, ...
8
Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming
... an answer set of P if I is a minimal (in terms of inclusion) model of P I , where P I is defined as the program that results from P by deleting all rules that contain a negated atom that appears in I, and ...
6
Answering the "why" in answer set programming - A survey of explanation approaches
... is Answer Set Program- ming ...an answer to the question of why an answer set is a solution to a given problem, notably off-line justifications, causal graphs, argumentative ...
100
Answering the "why" in answer set programming - A survey of explanation approaches
... is Answer Set Programming (ASP) (Brewka et ...or answer sets (Gelfond and Lifschitz 1988; Gelfond and Lifschitz ...of answer sets relies on a ‘guess and check’ procedure, the question as to ...
99
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming
... In this paper, we consider the logical synthesis of BNs from attractors, positive, and negative reachability properties using Answer-Set Programming (ASP), giving a complete characterization of the ...
9
Reasoning on the response of logical signaling networks with Answer Set Programming
... with Answer Set Programming Logical networks provide a simple yet powerful qualitative modeling approach in systems ...using Answer Set Programming ...given set of experimental ...a ...
47
Identification of Bifurcations in Biological Regulatory Networks using Answer-Set Programming
... as Answer-Set Programming (ASP) [3] is very well suited for spe- cifying admissible s b and t b , and obtaining efficient enumerations of solutions ...
24
Using Answer Set Programming for pattern mining
... Abstract Serial pattern mining consists in extracting the frequent sequential patterns from a unique sequence of itemsets. This paper explores the ability of a declarative language, such as Answer Set ...
19
Extending Answer Set Programming using Generalized Possibilistic Logic
... Abstract Answer set programming (ASP) is a form of logic programming in which negation-as-failure is de- fined in a purely declarative way, based on the no- tion of a stable ...of answer set ...
6
Using Mutual Information and Answer Set Programming to refine PWM based transcription regulation network
... – If so, which is the minimal core of TFs and binding sites required to explain all mutual information rela- tionships? The plan of this work is the following. First, we reconstructed a genetic regulatory network for ...
9
Extending Answer Set Programming using Generalized Possibilistic Logic
... Abstract Answer set programming (ASP) is a form of logic programming in which negation-as-failure is de- fined in a purely declarative way, based on the no- tion of a stable ...of answer set ...
7
Epistemic Answer Set Programming
... In both semantics, the selection of these special models from among all models of a program is in two steps plus a fixed point check: first, we compute the reduct of a program by a candi[r] ...
21
Epistemic Answer Set Programming
... The first approach of this line of research is Gelfond’s epistemic specifications ES [8]: he extended a special form of ASP called disjunctive logic programming [14] by epistemic operato[r] ...
20
Utilisation de la programmation par ensembles réponses (Answer Set Programming) sur de ''petits'' problèmes
... Ce programme assez facile à écrire (et donc, et c’est plus important, à modifier, par exemple pour améliorer ses performances) trouve la solution, mais il faut plusieurs tentatives car l[r] ...
16
Reasoning on the response of logical signaling networks with answer set programming
... Learning Boolean logic models of immediate-early response. Nowadays, for certain bi- ological systems, a graph of causal interactions describing a large-scale signaling network can be retrieved from public databases ...
155
Finding An Answer Based on the Recognition of the Question Focus
... an answer cannot be found in the QA corpus: a « no answer » answer is provided when the pairing module cannot select at least one sentence or when the answer extraction module cannot apply a ...
10
Global financial crisis: the French policy answer in a EU perspective
... It is difficult to assess effective implemented policy actions: some countries include in their fiscal plans measures like price indexation of social benefits, transfers between differe[r] ...
45