Search (2 results, page 1 of 1)

  1. Antoniou, G.: Integrity and rule checking in nonmonotonic knowledge bases (1996) 10.60 
    10.598274 = weight(author_ss:Antoniou, G. in 7275) [ClassicSimilarity], result of:
  10.598274 = score(doc=7275,freq=1.0), product of:
    0.99999994 = queryWeight, product of:
      10.598275 = idf(docFreq=2, maxDocs=44218)
      0.09435497 = queryNorm
    10.598275 = fieldWeight in 7275, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      10.598275 = idf(docFreq=2, maxDocs=44218)
      1.0 = fieldNorm(doc=7275)
    Author
    Antoniou, G.
  2. Antoniou, G.; Harmelen, F. van: ¬A semantic Web primer (2004) 10.60 
    10.598274 = weight(author_ss:Antoniou, G. in 468) [ClassicSimilarity], result of:
  10.598274 = score(doc=468,freq=1.0), product of:
    0.99999994 = queryWeight, product of:
      10.598275 = idf(docFreq=2, maxDocs=44218)
      0.09435497 = queryNorm
    10.598275 = fieldWeight in 468, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      10.598275 = idf(docFreq=2, maxDocs=44218)
      1.0 = fieldNorm(doc=468)
    Author
    Antoniou, G.

Years

Types

Themes

Classifications