3719 search results - page 7 / 744 » RACER System Description |
CADE
2006
Springer
14 years 7 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
JAIR
2002
13 years 7 months ago
2002
AAAI
2012
11 years 9 months ago
2012
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speciļ...
JSW
2008
13 years 7 months ago
2008
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
WWW
2011
ACM
13 years 2 months ago
2011
ACM
We consider the problem of entity tagging: given one or more named entities from a speciļ¬c domain, the goal is to automatically associate descriptive phrases, referred to as eta...