232 search results - page 30 / 47 » A unified methodological approach for the development of kno... |
ICLP
2011
Springer
12 years 11 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
SERP
2003
13 years 8 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
AGENTS
2001
Springer
14 years 16 hour ago
2001
Springer
The development of the semantic Web will require agents to use common domain ontologies to facilitate communication of conceptual knowledge. However, the proliferation of domain on...
ITS
1998
Springer
13 years 11 months ago
1998
Springer
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...
BMCBI
2008
13 years 7 months ago
2008
Background: A better understanding of the mechanisms involved in gas-phase fragmentation of peptides is essential for the development of more reliable algorithms for high-throughp...