700 search results - page 55 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
114
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: In the current era of high throughput genomics a major challenge is the genome-wide identification of target genes for specific transcription factors. Chromatin immuno...
111
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
BMCBI
2008
15 years 1 months ago
2008
Background: Much effort is currently made to develop the Gene Ontology (GO). Due to the dynamic nature of information it addresses, GO undergoes constant updates whose results are...
133
click to vote
AMR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
101
click to vote
BIRTHDAY
2004
Springer
15 years 5 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...