Sciweavers

    165 search results - page 1 / 33
    » Coping with semilattices of relations in logics with relativ...
    Sort
    View
    RELMICS
    1998
    Springer
    135views Theoretical Computer Science» more  RELMICS 1998»
    Coping with semilattices of relations in logics with relative accessibility relations
    13 years 9 months ago
    Coping with semilattices of relations in logics with relative accessibility relations
    Download  www.lsv.ens-cachan.fr
    We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
    Stéphane Demri
    claim paper
    Read More »
    JOLLI
    2000
    63views more  JOLLI 2000»
    Display Calculi for Logics with Relative Accessibility Relations
    13 years 4 months ago
    Display Calculi for Logics with Relative Accessibility Relations
    Download  www.lsv.ens-cachan.fr
    Stéphane Demri, Rajeev Goré
    claim paper
    Read More »
    EUSFLAT
    2009
    120views Fuzzy Logic» more  EUSFLAT 2009»
    Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations
    13 years 2 months ago
    Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations
    Download  www.eusflat.org
    Félix Bou, Francesc Esteva, Lluis Godo, Ric...
    claim paper
    Read More »
    DLOG
    2009
    145views Automated Reasoning» more  DLOG 2009»
    Using Description Logics in Relation Based Access Control
    13 years 5 months ago
    Using Description Logics in Relation Based Access Control
    Download  dl.kr.org
    Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
    Rui Zhang, Alessandro Artale, Fausto Giunchiglia, ...
    claim paper
    Read More »
    DLOG
    2008
    145views Automated Reasoning» more  DLOG 2008»
    Locality and Subsumption Testing in EL and Some of its Extensions
    13 years 7 months ago
    Locality and Subsumption Testing in EL and Some of its Extensions
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
    Viorica Sofronie-Stokkermans
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.