1664 search results - page 15 / 333 » Towards Partial Reasoning |
FLAIRS
2010
13 years 8 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...
WOA
2000
13 years 8 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
DLOG
2010
13 years 5 months ago
2010
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...
ISIPTA
2005
IEEE
14 years 27 days ago
2005
IEEE
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
SEMCO
2008
IEEE
14 years 1 months ago
2008
IEEE
Current Semantic Web reasoning systems do not scale to the requirements of their hottest applications, such as analyzing data from millions of mobile devices, dealing with terabyt...