Search Sciweavers | Sciweavers

1404 search results - page 13 / 281

» Complexity of admissible rules

click to vote

LPNMR
2007
Springer

112views Automated Reasoning» more LPNMR 2007»

Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains

14 years 4 months ago

Download www.kr.tuwien.ac.at

Recent research in answer-set programming (ASP) is concerned with the problem of ﬁnding faithful transformations of logic programs under the stable semantics. This is in particul...

Michael Fink, Reinhard Pichler, Hans Tompits, Stef...

claim paper

Read More »

click to vote

BIBE
2007
IEEE

149views Bioinformatics» more BIBE 2007»

XML Encoding of Features Describing Rule-Based Modeling of Reaction Networks with Multi-Component Molecular Complexes

14 years 2 months ago

Download www.ccam.uchc.edu

Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...

Michael L. Blinov, Ion I. Moraru

claim paper

Read More »

click to vote

MEMBRANE
2009
Springer

208views Applied Computing» more MEMBRANE 2009»

Evolving by Maximizing the Number of Rules: Complexity Study

14 years 5 months ago

Download www.gcn.us.es

Oana Agrigoroaiei, Gabriel Ciobanu, Andreas Resios

claim paper

Read More »