Sciweavers

    3515 search results - page 106 / 703
    » On the semantics of Strategy Logic
    Sort
    View
    DLOG
    2010
    109views Automated Reasoning» more  DLOG 2010»
    Second-Order Description Logics: Semantics, Motivation, and a Calculus
    15 years 5 months ago
    Second-Order Description Logics: Semantics, Motivation, and a Calculus
    Download  sisinflab.poliba.it
    Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
    claim paper
    Read More »
    159
    Voted
    LPAR
    2010
    Springer
    123views Automated Reasoning» more  LPAR 2010»
    Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
    15 years 5 months ago
    Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
    Download  www.cs.nmsu.edu
    Gourinath Banda, John P. Gallagher
    claim paper
    Read More »
    160
    Voted
    CORR
    2009
    Springer
    86views Education» more  CORR 2009»
    Rewriting Logic Semantics of a Plan Execution Language
    15 years 4 months ago
    Rewriting Logic Semantics of a Plan Execution Language
    Download  shemesh.larc.nasa.gov
    Gilles Dowek, César Muñoz, Camilo Ro...
    claim paper
    Read More »
    154
    Voted
    DLOG
    2009
    97views Automated Reasoning» more  DLOG 2009»
    A Semantic Algebra for Modularized Description Logics Knowledge Bases
    15 years 4 months ago
    A Semantic Algebra for Modularized Description Logics Knowledge Bases
    Download  dl.kr.org
    Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...
    claim paper
    Read More »
    212
    Voted
    LPNMR
    2007
    Springer
    169views Automated Reasoning» more  LPNMR 2007»
    Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
    16 years 1 months ago
    Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
    Download  www.kr.tuwien.ac.at
    Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
    Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
    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.