Sciweavers

    4978 search results - page 180 / 996
    » Logical models of argument
    Sort
    View
    DLOG
    2007
    82views Automated Reasoning» more  DLOG 2007»
    Modal vs. Propositional Reasoning for model checking with Description Logics
    15 years 6 months ago
    Modal vs. Propositional Reasoning for model checking with Description Logics
    Download  dl.kr.org
    Shoham Ben-David, Richard J. Trefler, Grant E. Wed...
    claim paper
    Read More »
    DLOG
    2008
    123views Automated Reasoning» more  DLOG 2008»
    Description Logics-Based Modelling for Precise Information Retrieval
    15 years 6 months ago
    Description Logics-Based Modelling for Precise Information Retrieval
    Download  ftp.informatik.rwth-aachen.de
    Saïd Radhouani, Gilles Falquet
    claim paper
    Read More »
    BIRTHDAY
    2005
    Springer
    101views Applied Computing» more  BIRTHDAY 2005»
    Modelling Evolvable Systems: A Temporal Logic View
    15 years 6 months ago
    Modelling Evolvable Systems: A Temporal Logic View
    Download  www.cs.man.ac.uk
    Howard Barringer, David E. Rydeheard
    claim paper
    Read More »
    CCGRID
    2006
    IEEE
    99views Distributed And Parallel Com...» more  CCGRID 2006»
    Integrating Logical and Physical File Models in the MPI-IO Implementation for "Clusterfile"
    15 years 6 months ago
    Integrating Logical and Physical File Models in the MPI-IO Implementation for "Clusterfile"
    Download  www.ipd.uka.de
    This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...
    Florin Isaila, David E. Singh, Jesús Carret...
    claim paper
    Read More »
    ESWS
    2007
    Springer
    116views Internet Technology» more  ESWS 2007»
    Logic as a Power Tool to Model Negotiation Mechanisms in the Semantic Web Era
    15 years 5 months ago
    Logic as a Power Tool to Model Negotiation Mechanisms in the Semantic Web Era
    Download  sisinflab.poliba.it
    Azzurra Ragone
    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.