116 search results - page 14 / 24 » Query Answering for OWL-DL with Rules |
173
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...
165
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
The START system responds to natural language queries with answers in text, pictures, and other media. START's sentence-level natural language parsing relies on a number of m...
186
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
132
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
Many of today's best classification results are obtained by combining the responses of a set of base classifiers to produce an answer for the query. This paper explores a nov...
209
click to vote
ASIACRYPT
2011
Springer
14 years 6 months ago
2011
Springer
Differential Privacy (DP) has emerged as a formal, flexible framework for privacy protection, with a guarantee that is agnostic to auxiliary information and that admits simple ru...