Abstract
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.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 |
| Pages | 110-115 |
| Number of pages | 6 |
| State | Published - 2010 |
| Event | 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 - Daytona Beach, FL, United States Duration: May 19 2010 → May 21 2010 |
Other
| Other | 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 |
|---|---|
| Country | United States |
| City | Daytona Beach, FL |
| Period | 5/19/10 → 5/21/10 |
ASJC Scopus subject areas
- Artificial Intelligence
- Control and Systems Engineering
Cite this
Progress towards effective automated reasoning with world knowledge. / Sutcliffe, Geoffrey; Teyssandier, Alexandra; Dellis, Nelson; Suda, Martin; De Melo, Gerard.
Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23. 2010. p. 110-115.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Progress towards effective automated reasoning with world knowledge
AU - Sutcliffe, Geoffrey
AU - Teyssandier, Alexandra
AU - Dellis, Nelson
AU - Suda, Martin
AU - De Melo, Gerard
PY - 2010
Y1 - 2010
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
SP - 110
EP - 115
BT - Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
ER -