Search Sciweavers | Sciweavers

3782 search results - page 8 / 757

» Engineering Social Order

click to vote

CSE
2009
IEEE

124views Theoretical Computer Science» more CSE 2009»

Implementing Social Norms Using Policies

15 years 4 months ago

Download pages.cpsc.ucalgary.ca

—Multi-agent systems are difﬁcult 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 »

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

15 years 2 months ago

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

click to vote

TACS
2001
Springer

99views Software Engineering» more TACS 2001»

Nominal Logic: A First Order Theory of Names and Binding

15 years 2 months ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

15 years 1 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

click to vote

EDBTW
2006
Springer

87views Software Engineering» more EDBTW 2006»

On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers