Sciweavers

    3782 search results - page 8 / 757
    » Engineering Social Order
    Sort
    View
    168
    Voted
    CSE
    2009
    IEEE
    124views Theoretical Computer Science» more  CSE 2009»
    Implementing Social Norms Using Policies
    16 years 1 months ago
    Implementing Social Norms Using Policies
    Download  pages.cpsc.ucalgary.ca
    —Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
    Robert Kremer
    claim paper
    Read More »
    EWSPT
    2003
    Springer
    102views Software Engineering» more  EWSPT 2003»
    Flexible Static Semantic Checking Using First-Order Logic
    15 years 12 months ago
    Flexible Static Semantic Checking Using First-Order Logic
    Download  laser.cs.umass.edu
    Shimon Rura, Barbara Staudt Lerner
    claim paper
    Read More »
    TACS
    2001
    Springer
    99views Software Engineering» more  TACS 2001»
    Nominal Logic: A First Order Theory of Names and Binding
    15 years 11 months ago
    Nominal Logic: A First Order Theory of Names and Binding
    Download  www.cl.cam.ac.uk
    Andrew M. Pitts
    claim paper
    Read More »
    WADT
    1999
    Springer
    103views Software Engineering» more  WADT 1999»
    Higher-Order Logic and Theorem Proving for Structured Specifications
    15 years 11 months ago
    Higher-Order Logic and Theorem Proving for Structured Specifications
    Download  delta.math.univ.gda.pl
    Tomasz Borzyszkowski
    claim paper
    Read More »
    139
    Voted
    EDBTW
    2006
    Springer
    87views Software Engineering» more  EDBTW 2006»
    On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases
    15 years 10 months ago
    On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases
    Download  www.dis.uniroma1.it
    Domenico Lembo, Riccardo Rosati, Marco Ruzzi
    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.