Sciweavers

    3481 search results - page 227 / 697
    » Higher-Order Logic Programming as Constraint Logic Programmi...
    Sort
    View
    89
    Voted
    ETAI
    2000
    43views more  ETAI 2000»
    An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming
    15 years 3 months ago
    An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming
    Download  www.doc.ic.ac.uk
    Simon Colton
    claim paper
    Read More »
    JISE
    2000
    69views more  JISE 2000»
    Flat Indexing Scheme: A New Compilation Technique to Enhance Parallelism of Logic Programs
    15 years 3 months ago
    Flat Indexing Scheme: A New Compilation Technique to Enhance Parallelism of Logic Programs
    Download  www.iis.sinica.edu.tw
    Hiecheol Kim, Kangwoo Lee, Jean-Luc Gaudiot
    claim paper
    Read More »
    CORR
    1998
    Springer
    69views Education» more  CORR 1998»
    Scoping Constructs in Logic Programming: Implementation Problems and their Solution
    15 years 3 months ago
    Scoping Constructs in Logic Programming: Implementation Problems and their Solution
    Download  folli.loria.fr
    Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
    claim paper
    Read More »
    AMAI
    1999
    Springer
    92views Artificial Intelligence» more  AMAI 1999»
    Nested Expressions in Logic Programs
    15 years 3 months ago
    Nested Expressions in Logic Programs
    Download  www.d.umn.edu
    Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
    claim paper
    Read More »
    CSUR
    1998
    73views more  CSUR 1998»
    A Unifying View of Functional and Logic Program Specialization
    15 years 3 months ago
    A Unifying View of Functional and Logic Program Specialization
    Download  users.dsic.upv.es
    María Alpuente, Moreno Falaschi, Germ&aacut...
    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.