Sciweavers

    1455 search results - page 5 / 291
    » Programming in Logic with Constraints for Natural Language P...
    Sort
    View
    MODELS
    2009
    Springer
    130views Natural Language Processing» more  MODELS 2009»
    OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language
    16 years 11 days ago
    OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language
    Download  www.cs.colostate.edu
    Joanna Chimiak-Opoka
    claim paper
    Read More »
    LNCS
    1994
    147views Natural Language Processing» more  LNCS 1994»
    An Architecture for Cooperating Constraint Solvers on Reals
    15 years 10 months ago
    An Architecture for Cooperating Constraint Solvers on Reals
    Download  user.cs.tu-berlin.de
    Michel Rueher
    claim paper
    Read More »
    EACL
    1993
    ACL Anthology
    134views Natural Language Processing» more  EACL 1993»
    Lexical Disambiguation Using Constraint Handling In Prolog (CHIP)
    15 years 7 months ago
    Lexical Disambiguation Using Constraint Handling In Prolog (CHIP)
    Download  acl.ldc.upenn.edu
    George C. Demetriou
    claim paper
    Read More »
    DALT
    2009
    Springer
    130views Intelligent Agents» more  DALT 2009»
    Playing with Rules
    16 years 12 days ago
    Playing with Rules
    Download  centria.di.fct.unl.pt
    Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
    João Leite
    claim paper
    Read More »
    TBILLC
    2007
    Springer
    119views Natural Language Processing» more  TBILLC 2007»
    Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
    15 years 12 months ago
    Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
    Download  www.illc.uva.nl
    Alexei Y. Muravitsky
    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.