Sciweavers

34 search results - page 1 / 7
» Modeling Biological Networks by Action Languages via Answer ...
Sort
View
CONSTRAINTS
2008
121views more  CONSTRAINTS 2008»
13 years 4 months ago
Modeling Biological Networks by Action Languages via Answer Set Programming
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
Steve Dworschak, Susanne Grell, Victoria J. Nikifo...
ICTAI
2008
IEEE
13 years 11 months ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
KR
2010
Springer
13 years 9 months ago
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we ...
Martin Gebser, Carito Guziolowski, Mihail Ivanchev...
JAIR
2012
211views Hardware» more  JAIR 2012»
11 years 6 months ago
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
Joohyung Lee, Ravi Palla
IJDMB
2011
129views more  IJDMB 2011»
12 years 8 months ago
Modelling gene and protein regulatory networks with Answer Set Programming
: Recently, many approaches to model regulatory networks have been proposed in the systems biology domain, however the task is far from being solved. In this paper we propose an an...
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chri...