4573 search results - page 132 / 915 » Automated Reasoning |
124
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
142
click to vote
IA
2006
15 years 3 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
113
click to vote
FLAIRS
2010
15 years 4 months ago
2010
There is a growing demand for automated reasoning with world knowledge. SPASS-XDB is an automated reasoning system that incorporates world knowledge from multiple external sources...
96
Voted
CADE
2003
Springer
16 years 3 months ago
2003
Springer