Skip to content

Reasoning about Actions with CHRs and Finite Domain Constraints.

Michael Thielscher

VenueBICLP
Year2002
ProceedingsICLP

Browse the full ICLP paper archive.