Sciweavers

    526 search results - page 6 / 106
    » Co-Logic Programming: Extending Logic Programming with Coind...
    Sort
    View
    ICLP
    1993
    Springer
    79views Automated Reasoning» more  ICLP 1993»
    A Monotonicity Theorem for Extended Logic Programs
    15 years 7 months ago
    A Monotonicity Theorem for Extended Logic Programs
    Download  www.d.umn.edu
    Hudson Turner
    claim paper
    Read More »
    ICLP
    1992
    Springer
    86views Automated Reasoning» more  ICLP 1992»
    Complexity of Computing with Extended Propositional Logic Programs
    15 years 7 months ago
    Complexity of Computing with Extended Propositional Logic Programs
    Download  www.cs.uky.edu
    V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...
    claim paper
    Read More »
    AMW
    2009
    154views Knowledge Management» more  AMW 2009»
    From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)
    15 years 4 months ago
    From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)
    Download  sunsite.informatik.rwth-aachen.de
    Leopoldo E. Bertossi
    claim paper
    Read More »
    AMAI
    2002
    Springer
    78views Artificial Intelligence» more  AMAI 2002»
    Paraconsistent Declarative Semantics for Extended Logic Programs
    15 years 2 months ago
    Paraconsistent Declarative Semantics for Extended Logic Programs
    Download  www.cs.kuleuven.ac.be
    Ofer Arieli
    claim paper
    Read More »
    ECOOP
    2009
    Springer
    153views Programming Languages» more  ECOOP 2009»
    Coinductive Type Systems for Object-Oriented Languages
    16 years 3 months ago
    Coinductive Type Systems for Object-Oriented Languages
    Download  ftp.disi.unige.it
    We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
    Davide Ancona, Giovanni Lagorio
    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.