Catholijn Jonker (jonker-c)

Beiträge zu Philosophie.ch

Bibliography

Engelfriet, Joeri, Jonker, Catholijn and Treur, Jan. 2002a. “Compositional Verification of Multi-Agent in Temporal Multi-Epistemic Logic.” Journal of Logic, Language, and Information 10(1): 195–225.
Engelfriet, Joeri, Jonker, Catholijn and Treur, Jan. 2002b. “Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VII: Agent-Based Defeasible Control in Dynamic Environments, edited by John-Jules Ch. Meyer and Jan Treur, pp. 221–252. Dordrecht: Kluwer Academic Publishers.
Jonker, Catholijn. 1993. “Cautious Backtracking in Truth Maintenance Systems.” in Diamonds and Defaults, edited by Maarten de Rijke, pp. 147–173. Synthese Library n. 229. Dordrecht: Kluwer Academic Publishers.