977 search results - page 4 / 196 » Logic-Based Modeling in Systems Biology |
PADL
2007
Springer
14 years 5 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
HYBRID
2004
Springer
13 years 11 months ago
2004
Springer
AUSAI
2004
Springer
13 years 11 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
ACL
2006
13 years 7 months ago
2006
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
DEON
2010
Springer
13 years 6 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...