TY - GEN
T1 - Progress towards effective automated reasoning with world knowledge
AU - Sutcliffe, Geoff
AU - Teyssandier, Alexandra
AU - Dellis, Nelson
AU - Suda, Martin
AU - De Melo, Gerard
PY - 2010/10/19
Y1 - 2010/10/19
N2 - 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, asynchronously on demand, during its reasoning process. This paper describes how SPASS-XDB's reasoning is focussed and controlled, its sources of world knowledge, and their use in solving a range of test problems.
AB - 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, asynchronously on demand, during its reasoning process. This paper describes how SPASS-XDB's reasoning is focussed and controlled, its sources of world knowledge, and their use in solving a range of test problems.
UR - http://www.scopus.com/inward/record.url?scp=77957882878&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77957882878&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:77957882878
SN - 9781577354475
T3 - Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
SP - 110
EP - 115
BT - Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
T2 - 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
Y2 - 19 May 2010 through 21 May 2010
ER -