Sciweavers

    9719 search results - page 49 / 1944
    » Answer Set Optimization
    Sort
    View
    ASP
    2001
    Springer
    87views Automated Reasoning» more  ASP 2001»
    On the Foundations of Answer Set Programming
    15 years 10 months ago
    On the Foundations of Answer Set Programming
    Download  www.aaai.org
    Victor W. Marek, Jeffrey B. Remmel
    claim paper
    Read More »
    LPNMR
    2001
    Springer
    160views Automated Reasoning» more  LPNMR 2001»
    NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics
    15 years 10 months ago
    NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics
    Download  www.cs.uni-potsdam.de
    Christian Anger, Kathrin Konczak, Thomas Linke
    claim paper
    Read More »
    ICLP
    1999
    Springer
    109views Automated Reasoning» more  ICLP 1999»
    Answer Set Planning
    15 years 10 months ago
    Answer Set Planning
    Download  www.cs.nmsu.edu
    Vladimir Lifschitz
    claim paper
    Read More »
    VLDB
    1999
    ACM
    105views Database» more  VLDB 1999»
    Histogram-Based Approximation of Set-Valued Query-Answers
    15 years 10 months ago
    Histogram-Based Approximation of Set-Valued Query-Answers
    Download  www.vldb.org
    Yannis E. Ioannidis, Viswanath Poosala
    claim paper
    Read More »
    ICLP
    2010
    Springer
    148views Automated Reasoning» more  ICLP 2010»
    Methods and Methodologies for Developing Answer-Set Programs - Project Description
    15 years 10 months ago
    Methods and Methodologies for Developing Answer-Set Programs - Project Description
    Download  www.kr.tuwien.ac.at
    Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
    Johannes Oetsch, Jörg Pührer, Hans Tompi...
    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.