116 search results - page 14 / 24 » Query Answering for OWL-DL with Rules |
98
Voted
LPAR
2004
Springer
15 years 2 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. ...
ICMCS
1999
IEEE
15 years 1 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...
100
click to vote
ECAI
2000
Springer
15 years 1 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...
60
Voted
ICML
2006
IEEE
15 years 10 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...
111
click to vote
ASIACRYPT
2011
Springer
13 years 9 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...