Sciweavers

    4573 search results - page 124 / 915
    » Automated Reasoning
    Sort
    View
    ILP
    1998
    Springer
    68views Automated Reasoning» more  ILP 1998»
    Detecting Traffic Problems with ILP
    15 years 7 months ago
    Detecting Traffic Problems with ILP
    Download  www.doc.ic.ac.uk
    Saso Dzeroski, Nico Jacobs, Martín Molina, ...
    claim paper
    Read More »
    KR
    1998
    Springer
    117views Automated Reasoning» more  KR 1998»
    Description Logic Framework for Information Integration
    15 years 7 months ago
    Description Logic Framework for Information Integration
    Download  www.inf.unibz.it
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
    claim paper
    Read More »
    PLILP
    1998
    Springer
    148views Programming Languages» more  PLILP 1998»
    Embedding Multiset Constraints into a Lazy Functional Logic Language
    15 years 7 months ago
    Embedding Multiset Constraints into a Lazy Functional Logic Language
    Download  gpd.sip.ucm.es
    Puri Arenas-Sánchez, Francisco Javier L&oac...
    claim paper
    Read More »
    ICLP
    1997
    Springer
    70views Automated Reasoning» more  ICLP 1997»
    Optimization of Logic Programs with Dynamic Scheduling
    15 years 7 months ago
    Optimization of Logic Programs with Dynamic Scheduling
    Download  clip.dia.fi.upm.es
    Germán Puebla, Maria J. García de la...
    claim paper
    Read More »
    LICS
    1993
    IEEE
    111views Automated Reasoning» more  LICS 1993»
    Lambek Grammars Are Context Free
    15 years 7 months ago
    Lambek Grammars Are Context Free
    Download  lpcs.math.msu.su
    In this paper the Chomsky Conjecture is proved: all languages recognized by the Lambek calculus are context free.
    Mati Pentus
    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.