Progress towards effective automated reasoning with world knowledge

Geoff Sutcliffe; Alexandra Teyssandier; Nelson Dellis; Martin Suda; Gerard De Melo

Progress towards effective automated reasoning with world knowledge

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Scopus citations

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).

Progress towards effective automated reasoning with world knowledge. / Sutcliffe, Geoff; 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 (Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23).

Research output: Chapter in Book/Report/Conference proceeding › Conference 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. 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, Geoff ; 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 (Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23).

@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 = "Geoff Sutcliffe and Alexandra Teyssandier and Nelson Dellis and Martin Suda and {De Melo}, Gerard",

year = "2010",

month = oct,

day = "19",

language = "English (US)",

isbn = "9781577354475",

series = "Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23",

pages = "110--115",

booktitle = "Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23",

note = "23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 ; Conference date: 19-05-2010 Through 21-05-2010",

}

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 -