895 search results - page 27 / 179 » A Spectrum of Applications of Automated Reasoning |
134
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
141
Voted
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Over the years, many successful applications of case-based reasoning (CBR) systems have been developed in different areas. The performance of CBR systems depends on several factor...
169
Voted
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
166
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
161
click to vote
DLOG
2011
14 years 8 months ago
2011
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for DLs, where research focused on the...