Sciweavers

    DAGSTUHL
    2007
    76views Software Engineering» more  DAGSTUHL 2007»
    Ten Philosophical Problems in Deontic Logic
    13 years 6 months ago
    Ten Philosophical Problems in Deontic Logic
    Download  www.pigozzi.org
    Jörg Hansen, Gabriella Pigozzi, Leendert W. N...
    claim paper
    Read More »
    DAGSTUHL
    2007
    125views Software Engineering» more  DAGSTUHL 2007»
    What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
    13 years 6 months ago
    What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
    Download  drops.dagstuhl.de
    We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...
    David Makinson, Leendert W. N. van der Torre
    claim paper
    Read More »
    DAGSTUHL
    2007
    79views Software Engineering» more  DAGSTUHL 2007»
    Norms and accountability in multi-agent societies
    13 years 6 months ago
    Norms and accountability in multi-agent societies
    Download  drops.dagstuhl.de
    Rodger Kibble
    claim paper
    Read More »
    DAGSTUHL
    2007
    106views Software Engineering» more  DAGSTUHL 2007»
    On the Logic of Constitutive Rules
    13 years 6 months ago
    On the Logic of Constitutive Rules
    Download  drops.dagstuhl.de
    Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
    Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
    claim paper
    Read More »
    DAGSTUHL
    2007
    151views Software Engineering» more  DAGSTUHL 2007»
    Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises
    13 years 6 months ago
    Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises
    Download  drops.dagstuhl.de
    The purpose is to explore how norm-governed behavior within agent societies can be achieved in the context of Virtual Enterprises. We analyze a number of formal models from the age...
    Paul Davidsson, Andreas Jacobsson
    claim paper
    Read More »
    DAGSTUHL
    2007
    185views Software Engineering» more  DAGSTUHL 2007»
    Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version
    13 years 6 months ago
    Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version
    Download  drops.dagstuhl.de
    Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...
    Olivier Boissier, Benjamin Gâteau
    claim paper
    Read More »
    DAGSTUHL
    2007
    133views Software Engineering» more  DAGSTUHL 2007»
    Norms of Conversation in a Framework for Agent Communication Languages
    13 years 6 months ago
    Norms of Conversation in a Framework for Agent Communication Languages
    Download  drops.dagstuhl.de
    Abstract. In open and heterogeneous environments offered by the Internet, where agents are designed by different vendors, the development of standards for agent communication nee...
    Rodrigo Agerri
    claim paper
    Read More »
    DAGSTUHL
    2007
    74views Software Engineering» more  DAGSTUHL 2007»
    Extrapolation and minimization procedures for the PageRank vector
    13 years 6 months ago
    Extrapolation and minimization procedures for the PageRank vector
    Download  drops.dagstuhl.de
    Claude Brezinski, Michela Redivo-Zaglia
    claim paper
    Read More »
    DAGSTUHL
    2007
    152views Software Engineering» more  DAGSTUHL 2007»
    An Inner/Outer Stationary Iteration for Computing PageRank
    13 years 6 months ago
    An Inner/Outer Stationary Iteration for Computing PageRank
    Download  drops.dagstuhl.de
    We present a stationary iterative scheme for PageRank computation. The algorithm is based on a linear system formulation of the problem, uses inner/outer iterations, and amounts to...
    Andrew P. Gray, Chen Greif, Tracy Lau
    claim paper
    Read More »
    DAGSTUHL
    2007
    72views Software Engineering» more  DAGSTUHL 2007»
    Stanford Matrix Considered Harmful
    13 years 6 months ago
    Stanford Matrix Considered Harmful
    Download  vigna.dsi.unimi.it
    Sebastiano Vigna
    claim paper
    Read More »
    « first‹ previous…616263646566676869next ›last »
    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.