Sciweavers

    975 search results - page 41 / 195
    » Declarative Aspect-Oriented Programming
    Sort
    View
    LPE
    2001
    104views Logical Reasoning» more  LPE 2001»
    An Integrated Development Environment for Declarative Multi-Paradigm Programming
    15 years 4 months ago
    An Integrated Development Environment for Declarative Multi-Paradigm Programming
    Download  www.informatik.uni-kiel.de
    Michael Hanus, Johannes Koj
    claim paper
    Read More »
    ATAL
    2010
    Springer
    152views Intelligent Agents» more  ATAL 2010»
    Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals
    15 years 4 months ago
    Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals
    Download  www.cse.yorku.ca
    Shakil M. Khan
    claim paper
    Read More »
    BMCBI
    2005
    74views more  BMCBI 2005»
    Versatile and declarative dynamic programming using pair algebras
    15 years 3 months ago
    Versatile and declarative dynamic programming using pair algebras
    Download  www.techfak.uni-bielefeld.de
    Peter Steffen, Robert Giegerich
    claim paper
    Read More »
    AMAI
    2002
    Springer
    78views Artificial Intelligence» more  AMAI 2002»
    Paraconsistent Declarative Semantics for Extended Logic Programs
    15 years 3 months ago
    Paraconsistent Declarative Semantics for Extended Logic Programs
    Download  www.cs.kuleuven.ac.be
    Ofer Arieli
    claim paper
    Read More »
    CORR
    2000
    Springer
    63views Education» more  CORR 2000»
    Verifying Termination and Error-Freedom of Logic Programs with block Declarations
    15 years 3 months ago
    Verifying Termination and Error-Freedom of Logic Programs with block Declarations
    Download  eprints.whiterose.ac.uk
    Jan-Georg Smaus, Patricia M. Hill, Andy King
    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.