Modeling biological networks by action languages via answer set programming
type: Item
instance of: scholarly article
title: Modeling biological networks by action languages via answer set programming
zbMATH Open document ID: 1148.68564
author: Steve Dworschak
author: Susanne Grell
author: Victoria J. Nikiforova
author: Torsten Schaub
author: Joachim Selbig
published in: Constraints
publication date: 2008-09-02T00:00:00Z
Mathematics Subject Classification ID: 68U20
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5319042
zbMATH Keywords: Biological network model
zbMATH Keywords: Action language
zbMATH Keywords: Answer set programming
describes a project that uses: GOLOG
describes a project that uses: Gringo
describes a project that uses: Lparse
describes a project that uses: clasp
MaRDI profile type: Publication
full work available at URL: s10601-007-9031-y
OpenAlex ID: W2069650148
cites work: Knowledge Representation, Reasoning and Declarative Problem Solving
cites work: Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
cites work: Computational Methods in Systems Biology
cites work: A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
cites work: A multi-scale constraint programming model of alternative splicing regulation
cites work: Q3007261
cites work: Conflict-Driven Answer Set Enumeration
cites work: Q3983043
cites work: Representing action and change by logic programs
cites work: GOLOG: A logic programming language for dynamic domains
cites work: Q4955331
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: BioAmbients: an abstraction for biological compartments
cites work: Extending and implementing the stable model semantics
cites work: Application of abductive ILP to learning metabolic network inhibition from temporal data
DOI: 10.1007/S10601-007-9031-Y
description: scientific article; zbMATH DE number 5319042