Progress towards effective automated reasoning with world knowledge

Geoffrey Sutcliffe, Alexandra Teyssandier, Nelson Dellis, Martin Suda, Gerard De Melo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationProceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
Pages110-115
Number of pages6
StatePublished - 2010
Event23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 - Daytona Beach, FL, United States
Duration: May 19 2010May 21 2010

Other

Other23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
CountryUnited States
CityDaytona Beach, FL
Period5/19/105/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)

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 proceedingConference contribution

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, 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23, Daytona Beach, FL, United States, 5/19/10.
Sutcliffe G, Teyssandier A, Dellis N, Suda M, De Melo G. Progress towards effective automated reasoning with world knowledge. In Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23. 2010. p. 110-115
Sutcliffe, Geoffrey ; Teyssandier, Alexandra ; Dellis, Nelson ; Suda, Martin ; De Melo, Gerard. / Progress towards effective automated reasoning with world knowledge. Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23. 2010. pp. 110-115
@inproceedings{2456a06806214e298a098f03c7a6ec22,
title = "Progress towards effective automated reasoning with world knowledge",
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.",
author = "Geoffrey Sutcliffe and Alexandra Teyssandier and Nelson Dellis and Martin Suda and {De Melo}, Gerard",
year = "2010",
language = "English (US)",
isbn = "9781577354475",
pages = "110--115",
booktitle = "Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23",

}

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

SN - 9781577354475

SP - 110

EP - 115

BT - Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23

ER -