58 search results - page 1 / 12 » From Implicit via Inductive to Explicit Definitions |
SOSL
1993
14 years 3 months ago
1993
CADE
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
ISMIS
1994
Springer
14 years 3 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
ACMSE
1992
ACM
14 years 3 months ago
1992
ACM
The feasibility of extracting both explicit and implicit synonym references from a machine readable dictionary is investigated; the extracted synonyms, both symmetric and asymmetr...
SIGIR
2008
ACM
13 years 11 months ago
2008
ACM
Modeling the beyond-topical aspects of relevance are currently gaining popularity in IR evaluation. For example, the discounted cumulated gain (DCG) measure implicitly models some...