4617 search results - page 261 / 924 » Automation of Diagrammatic Reasoning |
187
click to vote
CASCON
2001
15 years 8 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
146
click to vote
FLAIRS
2001
15 years 8 months ago
2001
GeneralElectric has created case-basedreasoningsystems for remotediagnostics,call center automation,andinternal productivityprojects. CBRapplications havebeenusedto remotelydiagno...
175
click to vote
ICCBR
1997
Springer
15 years 10 months ago
1997
Springer
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
203
click to vote
ICCBR
2010
Springer
15 years 4 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....
186
click to vote
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...