| |
| 1995 | ||
|---|---|---|
| 2 | Marcos Cavalcanti: Possible Worlds in Production Systems: an Assumption-Based Framework for Nonmonotonic Reasoning. WOCFAI 1995: 73-84 | |
| 1993 | ||
| 1 | Marcos Cavalcanti: Solving Air-Traffic Problems with "Possible Worlds". Executable Modal and Temporal Logics 1993: 144-156 | |