Sciweavers

    5198 search results - page 141 / 1040
    » A Logic of Agent Programs
    Sort
    View
    AI
    2008
    Springer
    84views Artificial Intelligence» more  AI 2008»
    Active logic semantics for a single agent in a static world
    14 years 11 months ago
    Active logic semantics for a single agent in a static world
    Download  www.alexeng.edu.eg
    Michael L. Anderson, Walid E. Gomaa, John Grant, D...
    claim paper
    Read More »
    IJFCS
    2008
    54views more  IJFCS 2008»
    A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents
    14 years 11 months ago
    A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents
    Download  eprints.biblio.unitn.it
    Radu Mardare, Matteo Cavaliere, Sean Sedwards
    claim paper
    Read More »
    AMAI
    2004
    Springer
    140views Artificial Intelligence» more  AMAI 2004»
    Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
    14 years 11 months ago
    Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
    Download  www-lia.deis.unibo.it
    Paolo Torroni
    claim paper
    Read More »
    ENTCS
    2002
    72views more  ENTCS 2002»
    Language Design Issues for Agents based on Linear Logic (Extended Abstract)
    14 years 11 months ago
    Language Design Issues for Agents based on Linear Logic (Extended Abstract)
    Download  waitaki.otago.ac.nz
    James Harland, Michael Winikoff
    claim paper
    Read More »
    ICFP
    2006
    ACM
    158views Programming Languages» more  ICFP 2006»
    Polymorphism and separation in hoare type theory
    15 years 11 months ago
    Polymorphism and separation in hoare type theory
    Download  www.eecs.harvard.edu
    In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
    Aleksandar Nanevski, Greg Morrisett, Lars Birkedal
    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-2025, USA.