Sciweavers

    3845 search results - page 73 / 769
    » Belief Logic Programming
    Sort
    View
    EPS
    1995
    Springer
    126views Artificial Intelligence» more  EPS 1995»
    An Adaptive Inductive Logic Programming System Using Genetic Programming
    15 years 10 months ago
    An Adaptive Inductive Logic Programming System Using Genetic Programming
    Download  cptra.ln.edu.hk
    Man Leung Wong, Kwong-Sak Leung
    claim paper
    Read More »
    131
    Voted
    ELP
    1989
    108views Logical Reasoning» more  ELP 1989»
    Logic Programming, Functional Programming, and Inductive Definitions
    15 years 10 months ago
    Logic Programming, Functional Programming, and Inductive Definitions
    Download  www.cl.cam.ac.uk
    Lawrence C. Paulson, Andrew W. Smith
    claim paper
    Read More »
    CORR
    2002
    Springer
    119views Education» more  CORR 2002»
    Composing Programs in a Rewriting Logic for Declarative Programming
    15 years 7 months ago
    Composing Programs in a Rewriting Logic for Declarative Programming
    Download  www.lcc.uma.es
    Juan M. Molina-Bravo, Ernesto Pimentel
    claim paper
    Read More »
    AAAI
    1990
    128views Intelligent Agents» more  AAAI 1990»
    Logical Task Modelling for Man-Machine Dialogue
    15 years 8 months ago
    Logical Task Modelling for Man-Machine Dialogue
    Download  www.aaai.org
    To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
    M. David Sadek
    claim paper
    Read More »
    IJAR
    2008
    91views more  IJAR 2008»
    Distance-based paraconsistent logics
    15 years 7 months ago
    Distance-based paraconsistent logics
    Download  www2.mta.ac.il
    We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
    Ofer Arieli
    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.