184 search results - page 11 / 37 » Querying Proofs |
110
Voted
SSD
2009
Springer
15 years 6 months ago
2009
Springer
We introduce TOQL, a query language for querying time information in ontologies. TOQL is a high level query language that handles ontologies almost like relational databases. Queri...
124
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
104
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Three essential criteria are important for activity planning, including: (1) finding a group of attendees familiar with the initiator, (2) ensuring each attendee in the group to ...
118
Voted
IJCSA
2007
15 years 1 months ago
2007
Preference-based queries often referred to as skyline queries play an important role in cooperative query processing. However, their prohibitive result sizes pose a severe challen...
113
click to vote
COLT
2008
Springer
15 years 3 months ago
2008
Springer
We study the properties of the agnostic learning framework of Haussler [Hau92] and Kearns, Schapire and Sellie [KSS94]. In particular, we address the question: is there any situat...