2414 search results - page 115 / 483 » Reasoning Support for OWL-E |
138
click to vote
EPART
2011
14 years 5 months ago
2011
Abstract. The Structured Online Consultation tool (SCT) is a component tool in the IMPACT Project which is used to construct and present detailed surveys that solicit feedback from...
227
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
206
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—We show that if a finite relational structure has a near unanimity polymorphism, then the constraint satisfaction problem with that structure as its fixed template has bounded...
182
Voted
IAT
2007
IEEE
16 years 5 days ago
2007
IEEE
Visual Analytics is the science of applying reasoning and analysis techniques to large, complex real-world data for problem solving using visualizations. Real world knowledge gath...
183
Voted
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...