Sciweavers

    9626 search results - page 176 / 1926
    » Invariant Based Programming
    Sort
    View
    JELIA
    2010
    Springer
    238views Artificial Intelligence» more  JELIA 2010»
    A Dynamic-Programming Based ASP-Solver
    15 years 4 months ago
    A Dynamic-Programming Based ASP-Solver
    Download  www.dbai.tuwien.ac.at
    Abstract. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs fro...
    Michael Morak, Reinhard Pichler, Stefan Rümme...
    claim paper
    Read More »
    EUROGP
    2010
    Springer
    330views Optimization» more  EUROGP 2010»
    Bandit-Based Genetic Programming
    16 years 25 days ago
    Bandit-Based Genetic Programming
    Download  hal.inria.fr
    We consider the validation of randomly generated patterns in a Monte-Carlo Tree Search program. Our bandit-based genetic programming (BGP) algorithm, with proved mathematical prope...
    Jean-Baptiste Hoock, Olivier Teytaud
    claim paper
    Read More »
    CP
    2007
    Springer
    112views Artificial Intelligence» more  CP 2007»
    An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
    16 years 15 days ago
    An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
    Download  www.irisa.fr
    Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
    claim paper
    Read More »
    ICLP
    2007
    Springer
    61views Automated Reasoning» more  ICLP 2007»
    Ontology Based Information Integration Using Logic Programming
    16 years 15 days ago
    Ontology Based Information Integration Using Logic Programming
    Download  sunsite.informatik.rwth-aachen.de
    Gergely Lukácsy, Péter Szeredi
    claim paper
    Read More »
    ICLP
    2007
    Springer
    90views Automated Reasoning» more  ICLP 2007»
    Visual Logic Programming Method Based on Structural Analysis and Design Technique
    16 years 15 days ago
    Visual Logic Programming Method Based on Structural Analysis and Design Technique
    Download  www.cplire.ru
    Alexei A. Morozov
    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.