Sciweavers

    12745 search results - page 176 / 2549
    » Automating test automation
    Sort
    View
    113
    Voted
    LOPSTR
    2004
    Springer
    87views Automated Reasoning» more  LOPSTR 2004»
    Logical Mobility and Locality Types
    15 years 10 months ago
    Logical Mobility and Locality Types
    Download  www.cs.cmu.edu
    Jonathan Moody
    claim paper
    Read More »
    LPNMR
    2004
    Springer
    93views Automated Reasoning» more  LPNMR 2004»
    Constraints and Probabilistic Networks: A Look At The Interface
    15 years 10 months ago
    Constraints and Probabilistic Networks: A Look At The Interface
    Download  www.ics.uci.edu
    Rina Dechter
    claim paper
    Read More »
    120
    Voted
    LPNMR
    2004
    Springer
    105views Automated Reasoning» more  LPNMR 2004»
    Answer Sets: From Constraint Programming Towards Qualitative Optimization
    15 years 10 months ago
    Answer Sets: From Constraint Programming Towards Qualitative Optimization
    Download  www.informatik.uni-leipzig.de
    Gerhard Brewka
    claim paper
    Read More »
    127
    Voted
    LPNMR
    2004
    Springer
    84views Automated Reasoning» more  LPNMR 2004»
    Properties of Iterated Multiple Belief Revision
    15 years 10 months ago
    Properties of Iterated Multiple Belief Revision
    Download  www.cit.uws.edu.au
    Dongmo Zhang
    claim paper
    Read More »
    ECSQARU
    2003
    Springer
    74views Automated Reasoning» more  ECSQARU 2003»
    Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding
    15 years 10 months ago
    Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding
    Download  www.kr.tuwien.ac.at
    Thomas Lukasiewicz
    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.