303 search results - page 54 / 61 » From Description Logic Provers to Knowledge Representation S... |
116
click to vote
AAAI
1990
15 years 1 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
101
click to vote
EON
2003
15 years 1 months ago
2003
CST’s Baby CareLink provides a ‘collaborative healthware’ environment for parents of premature infants that incorporates just-in-time learning as one means of knowledge explo...
90
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
116
Voted
ILP
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...
197
click to vote
CADE
2011
Springer
14 years 12 days ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...