Say, A. C. Cem; Akın, H. Levent Sound and complete qualitative simulation is impossible. (English) Zbl 1082.68862 Artif. Intell. 149, No. 2, 251-266 (2003). MSC: 68U20 03B25 68T27 PDFBibTeX XMLCite \textit{A. C. C. Say} and \textit{H. L. Akın}, Artif. Intell. 149, No. 2, 251--266 (2003; Zbl 1082.68862) Full Text: DOI
Dunne, Paul E.; Bench-Capon, T. J. M. Two party immediate response disputes: Properties and efficiency. (English) Zbl 1082.68819 Artif. Intell. 149, No. 2, 221-250 (2003). MSC: 68T27 03F20 PDFBibTeX XMLCite \textit{P. E. Dunne} and \textit{T. J. M. Bench-Capon}, Artif. Intell. 149, No. 2, 221--250 (2003; Zbl 1082.68819) Full Text: DOI
Broxvall, Mathias; Jonsson, Peter Point algebras for temporal reasoning: Algorithms and complexity. (English) Zbl 1082.68817 Artif. Intell. 149, No. 2, 179-220 (2003). MSC: 68T27 68Q25 68T20 PDFBibTeX XMLCite \textit{M. Broxvall} and \textit{P. Jonsson}, Artif. Intell. 149, No. 2, 179--220 (2003; Zbl 1082.68817) Full Text: DOI
Cross, Charles B. Nonmonotonic inconsistency. (English) Zbl 1082.03508 Artif. Intell. 149, No. 2, 161-178 (2003). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{C. B. Cross}, Artif. Intell. 149, No. 2, 161--178 (2003; Zbl 1082.03508) Full Text: DOI