Sciweavers

    3481 search results - page 68 / 697
    » Higher-Order Logic Programming as Constraint Logic Programmi...
    Sort
    View
    ICFP
    2004
    ACM
    115views Programming Languages» more  ICFP 2004»
    From process logic to program logic
    14 years 8 months ago
    From process logic to program logic
    Download  www.dcs.qmul.ac.uk
    We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
    Kohei Honda
    claim paper
    Read More »
    AAAI
    1994
    106views Intelligent Agents» more  AAAI 1994»
    Soundness and Completeness of a Logic Programming Approach to Default Logic
    13 years 10 months ago
    Soundness and Completeness of a Logic Programming Approach to Default Logic
    Download  www.aaai.org
    We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...
    Grigoris Antoniou, Elmar Langetepe
    claim paper
    Read More »
    IJCAI
    2007
    149views Artificial Intelligence» more  IJCAI 2007»
    Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
    13 years 10 months ago
    Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
    Download  www.ijcai.org
    In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
    Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...
    claim paper
    Read More »
    WCFLP
    2005
    ACM
    247views Artificial Intelligence» more  WCFLP 2005»
    A declarative debugger of incorrect answers for constraint functional-logic programs
    14 years 2 months ago
    A declarative debugger of incorrect answers for constraint functional-logic programs
    Download  gpd.sip.ucm.es
    Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
    Rafael Caballero
    claim paper
    Read More »
    CSCLP
    2008
    Springer
    258views Artificial Intelligence» more  CSCLP 2008»
    From Rules to Constraint Programs with the Rules2CP Modelling Language
    13 years 10 months ago
    From Rules to Constraint Programs with the Rules2CP Modelling Language
    Download  contraintes.inria.fr
    In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
    François Fages, Julien Martin
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.