4617 search results - page 134 / 924 » Automation of Diagrammatic Reasoning |
184
click to vote
IA
2006
15 years 6 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...
147
click to vote
FLAIRS
2010
15 years 7 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...
144
click to vote
JLP
1998
15 years 6 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
138
click to vote
ISMVL
2007
IEEE
16 years 18 days ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
