<html>
<head>
   <title>Examples</title>
</head>

<body bgcolor=#eeeeee>
<center>
<h1>
Examples of Action Domains<br>
Described in the Language of CCalc
</h1>
</center>

<ul>
 <li> From the paper
 "<a href="http://www.cs.utexas.edu/users/vl/papers/nmct.ps">Nonmonotonic
  causal theories</a>" by
<a href="http://www.mrg.dist.unige.it/~enrico/">Enrico Giunchiglia</a>,
<a href="http://www.cs.utexas.edu/users/appsmurf">Joohyung Lee</a>,
<a href="http://www.cs.utexas.edu/users/vl">Vladimir Lifschitz</a>,
Norman M