메뉴 건너뛰기




Volumn , Issue , 2011, Pages 2153-2158

Log-linear description logics

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC ASPECTS; DESCRIPTION LOGIC; EXPERIMENTAL EVALUATION; FIRST-ORDER FORMULAS; KNOWLEDGE REPRESENTATION AND REASONING; REASONER;

EID: 84881084616     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-359     Document Type: Conference Paper
Times cited : (59)

References (17)
  • 6
    • 0141698025 scopus 로고    scopus 로고
    • Probabilistic reasoning in terminological logics
    • M. Jaeger. Probabilistic reasoning in terminological logics. In Proceedings of KR, 1994.
    • Proceedings of KR, 1994
    • Jaeger, M.1
  • 10
    • 56049128175 scopus 로고    scopus 로고
    • Managing uncertainty and vagueness in description logics for the semantic web
    • Thomas Lukasiewicz and Umberto Straccia. Managing uncertainty and vagueness in description logics for the semantic web. J. of Web Sem., 6, 2008.
    • (2008) J. Of Web Sem. , vol.6
    • Lukasiewicz, T.1    Straccia, U.2
  • 11
    • 34249939910 scopus 로고    scopus 로고
    • Probabilistic description logic programs
    • Thomas Lukasiewicz. Probabilistic description logic programs. Int. J. Appr. Reas., 45, 2007.
    • (2007) Int. J. Appr. Reas. , vol.45
    • Lukasiewicz, T.1
  • 14
    • 33750705605 scopus 로고    scopus 로고
    • Sound and efficient inference with probabilistic and deterministic dependencies
    • Hoifung Poon and Pedro Domingos. Sound and efficient inference with probabilistic and deterministic dependencies. In Proceedings of AAAI, 2006.
    • Proceedings of AAAI, 2006
    • Poon, H.1    Domingos, P.2
  • 17
    • 79959762756 scopus 로고    scopus 로고
    • Improving the accuracy and efficiency of map inference for markov logic
    • Sebastian Riedel. Improving the accuracy and efficiency of map inference for markov logic. In Proceedings of UAI, 2008.
    • Proceedings of UAI, 2008
    • Riedel, S.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.