<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Report CS-RR-305
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
W. van der Hoek and M. de Rijke,
Interleaved Contractions
(April 1, 1996).
Abstract
We study an approach to concurrent contractions, that is, to simultaneous
contractions performed by multiple agents. Using ideas from the
semantics of programming we adopt an interleaved approach to reason
about concurrent contractions. Although many of the notions from the
traditional Gaerdenfors approach transfer to this setting, our approach
also forces us to depart from the Gaerdenfors framework in important
ways. We present laws describing rational concurrent contractions,
as well as a construction that satisfies these laws.
Download
cs-rr-305.ps.gz
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>