Modeling multi-valued biological interaction networks using fuzzy answer set programming

DOI10.1016/j.fss.2018.01.003zbMath1397.68027OpenAlexW2782964641MaRDI QIDQ1795202

Martine De Cock, Ling-Hong Hung, Steven Schockaert, Mushthofa Mushthofa, Kathleen Marchal

Publication date: 16 October 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: http://orca.cf.ac.uk/109311/1/FASPGRN_Journal.pdf

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17) Systems biology, networks (92C42)

Uses Software

• Potassco
• ASP-G

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complexity of fuzzy answer set programming under Łukasiewicz semantics
• Modeling biological networks by action languages via answer set programming
• The \textit{Arabidopsis thaliana} flower organ specification gene regulatory network determines a robust differentiation process
• Finiteness in infinite-valued Łukasiewicz logic
• Computing maximal and minimal trap spaces of Boolean networks
• The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in \textit{Drosophila melanogaster}
• Segmenting the fly embryo: a logical analysis of the \textit{pair-rule} cross-regulatory module
• Stable Models of Fuzzy Propositional Formulas
• Fuzzy Equilibrium Logic
• Statistical mechanics of complex networks
• Solving Disjunctive Fuzzy Answer Set Programs
• Fuzzy Answer Set Programming
• Answer Set Programming: A Primer
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Fuzzy answer set computation via satisfiability modulo theories
• Bio-Logics: Logical Analysis of Bioregulatory Networks
• The DLV system for knowledge representation and reasoning
• Fuzzy answer sets approximations
• Mapping multivalued onto Boolean dynamics
• Fuzzy logic programming

This page was built for publication: Modeling multi-valued biological interaction networks using fuzzy answer set programming