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 - Oct 19 2010 |
| Event | 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 - Daytona Beach, FL, United States Duration: May 19 2010 → May 21 2010 |
Publication series
| Name | Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 |
|---|
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
Sutcliffe, G., Teyssandier, A., Dellis, N., Suda, M., & De Melo, G. (2010). Progress towards effective automated reasoning with world knowledge. In Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 (pp. 110-115). (Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23).