Sciweavers

    6554 search results - page 85 / 1311
    » Constraint Logic Programming
    Sort
    View
    OWLED
    2007
    107views Natural Language Processing» more  OWLED 2007»
    On Querying Ontologies with Contextual Logic Programming
    15 years 7 months ago
    On Querying Ontologies with Contextual Logic Programming
    Download  webont.org
    Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
    Cláudio Fernandes, Nuno Lopes 0002, Salvado...
    claim paper
    Read More »
    ICAI
    2004
    138views Artificial Intelligence» more  ICAI 2004»
    Automatic Generation of English-language Steps in Puzzle Solving
    15 years 7 months ago
    Automatic Generation of English-language Steps in Puzzle Solving
    Download  www.cs.uky.edu
    This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...
    Hemantha Ponnuru, Raphael A. Finkel, Victor W. Mar...
    claim paper
    Read More »
    CP
    2005
    Springer
    100views Artificial Intelligence» more  CP 2005»
    Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference
    15 years 11 months ago
    Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference
    Download  www.cs.ubc.ca
    Le Chang, Alan K. Mackworth
    claim paper
    Read More »
    ENTCS
    2007
    84views more  ENTCS 2007»
    A Rewriting Logic Framework for Soft Constraints
    15 years 6 months ago
    A Rewriting Logic Framework for Soft Constraints
    Download  www-formal.stanford.edu
    Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
    Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
    claim paper
    Read More »
    DATE
    2007
    IEEE
    106views Hardware» more  DATE 2007»
    Optimized integration of test compression and sharing for SOC testing
    16 years 15 days ago
    Optimized integration of test compression and sharing for SOC testing
    Download  www.ida.liu.se
    1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Pen...
    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.