Sciweavers

    1578 search results - page 22 / 316
    » Induction of Stable Models
    Sort
    View
    123
    Voted
    AIMSA
    2008
    Springer
    124views Artificial Intelligence» more  AIMSA 2008»
    Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
    15 years 9 months ago
    Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
    Download  www.tcs.hut.fi
    Emilia Oikarinen, Tomi Janhunen
    claim paper
    Read More »
    120
    Voted
    LPNMR
    2007
    Springer
    130views Automated Reasoning» more  LPNMR 2007»
    Modularity Aspects of Disjunctive Stable Models
    15 years 8 months ago
    Modularity Aspects of Disjunctive Stable Models
    Download  www.tcs.hut.fi
    Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
    Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
    claim paper
    Read More »
    82
    Voted
    MFCS
    1994
    Springer
    93views Theoretical Computer Science» more  MFCS 1994»
    Stable Bistructure Models of PCF
    15 years 6 months ago
    Stable Bistructure Models of PCF
    Download  www.brics.dk
    Glynn Winskel
    claim paper
    Read More »
    ICLP
    1992
    Springer
    85views Automated Reasoning» more  ICLP 1992»
    The Stable Models of a Predicate Logic Program
    15 years 6 months ago
    The Stable Models of a Predicate Logic Program
    Download  www.cs.uky.edu
    V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    claim paper
    Read More »
    90
    Voted
    ICLP
    2010
    Springer
    112views Automated Reasoning» more  ICLP 2010»
    Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited
    15 years 6 months ago
    Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited
    Download  drops.dagstuhl.de
    Tomi Janhunen
    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.