2291 search results - page 120 / 459 » Logic Programming and Model Checking |
112
Voted
ICWL
2007
Springer
15 years 8 months ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
124
click to vote
ISCIS
2004
Springer
15 years 7 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
145
click to vote
JMLR
2008
15 years 2 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
122
click to vote
CMSB
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
111
click to vote
EPIA
2005
Springer
15 years 8 months ago
2005
Springer
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...