895 search results - page 33 / 179 » A Spectrum of Applications of Automated Reasoning |
128
click to vote
JUCS
2008
15 years 4 months ago
2008
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
171
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
150
click to vote
JSW
2008
15 years 4 months ago
2008
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
156
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Trading rules are widely used by practitioners as an effective means to mechanize aspects of their reasoning about stock price trends. However, due to the simplicity of these rule...
153
Voted
WWW
2002
ACM
16 years 5 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...