Sciweavers

    3658 search results - page 210 / 732
    » The logic of proofs, semantically
    Sort
    View
    ESWS
    2007
    Springer
    106views Internet Technology» more  ESWS 2007»
    A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
    16 years 24 days ago
    A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
    Download  www.kr.tuwien.ac.at
    Thomas Lukasiewicz
    claim paper
    Read More »
    SUM
    2007
    Springer
    108views Information Technology» more  SUM 2007»
    Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web
    16 years 22 days ago
    Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web
    Download  gaia.isti.cnr.it
    Thomas Lukasiewicz, Umberto Straccia
    claim paper
    Read More »
    WAIM
    2007
    Springer
    132views Information Technology» more  WAIM 2007»
    Towards a Type-2 Fuzzy Description Logic for Semantic Search Engine
    16 years 22 days ago
    Towards a Type-2 Fuzzy Description Logic for Semantic Search Engine
    Download  cs.hust.edu.cn
    Ruixuan Li, Xiaolin Sun, Zhengding Lu, Kunmei Wen,...
    claim paper
    Read More »
    126
    Voted
    LICS
    2006
    IEEE
    89views Automated Reasoning» more  LICS 2006»
    Context Semantics, Linear Logic and Computational Complexity
    16 years 20 days ago
    Context Semantics, Linear Logic and Computational Complexity
    Download  tocl.acm.org
    Ugo Dal Lago
    claim paper
    Read More »
    ICLP
    2005
    Springer
    106views Automated Reasoning» more  ICLP 2005»
    Denotational Semantics Using Horn Concurrent Transaction Logic
    16 years 4 days ago
    Denotational Semantics Using Horn Concurrent Transaction Logic
    Download  www.scs.ryerson.ca
    Marcus Vinicius Santos
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.