4617 search results - page 695 / 924 » Automation of Diagrammatic Reasoning |
184
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
254
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
202
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
179
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Personalizing the product recommendation task is a major focus of research in the area of conversational recommender systems. Conversational case-based recommender systems help use...
167
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Web search is the main way for millions of users to access information every day, but we continue to struggle when it comes to finding the right information at the right time. In ...