774 search results - page 27 / 155 » Experiments with an Agent-Oriented Reasoning System |
CADE
2007
Springer
14 years 8 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...
CBRMD
2008
13 years 8 months ago
2008
Intelligent analysis of heterogeneous data and information sources for efficient decision support presents an interesting yet challenging task in clinical environments. This is par...
ICCBR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Case-Based Reasoning (CBR) solves problems by reusing past problemsolving experiences maintained in a casebase. The key CBR knowledge container therefore is its casebase....
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...