Sciweavers

    6554 search results - page 140 / 1311
    » Constraint Logic Programming
    Sort
    View
    ICDE
    1989
    IEEE
    55views Database» more  ICDE 1989»
    Modeling Semantic Constraints with Logic in the EARL Data Model
    15 years 10 months ago
    Modeling Semantic Constraints with Logic in the EARL Data Model
    Download  www.cse.sc.edu
    James P. Davis, Ronald D. Bonnell
    claim paper
    Read More »
    LPAR
    2000
    Springer
    97views Automated Reasoning» more  LPAR 2000»
    How to Decide Query Containment Under Constraints Using a Description Logic
    15 years 10 months ago
    How to Decide Query Containment Under Constraints Using a Description Logic
    Download  www.comlab.ox.ac.uk
    Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Ste...
    claim paper
    Read More »
    CPAIOR
    2008
    Springer
    117views Operations Research» more  CPAIOR 2008»
    Mobility Allowance Shuttle Transit (MAST) Services: MIP Formulation and Strengthening with Logic Constraints
    15 years 8 months ago
    Mobility Allowance Shuttle Transit (MAST) Services: MIP Formulation and Strengthening with Logic Constraints
    Download  ceprofs.civil.tamu.edu
    Luca Quadrifoglio, Maged M. Dessouky, Fernando Ord...
    claim paper
    Read More »
    IJCAI
    2001
    66views Artificial Intelligence» more  IJCAI 2001»
    Identification Constraints and Functional Dependencies in Description Logics
    15 years 7 months ago
    Identification Constraints and Functional Dependencies in Description Logics
    Download  www.inf.unibz.it
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
    claim paper
    Read More »
    ACL
    1998
    78views Computational Linguistics» more  ACL 1998»
    Translating a Unification Grammar with Disjunctions into Logical Constraints
    15 years 7 months ago
    Translating a Unification Grammar with Disjunctions into Logical Constraints
    Download  www.aclweb.org
    This paper proposes a method for generating a logicalconstraint-based internal representation from a unification grammar formalism with disjunctive information. Unification gramma...
    Mikio Nakano, Akira Shimazu
    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.