Temporalizing Epistemic Default Logic

Wiebe van der Hoek, J.J. Ch. Meyer, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationInformation Systems-Correctness and Reusability. Selected papers from the IS-CORE-95 Workshop
PublisherWorld Scientific
Pages173-190
Number of pages18
Publication statusPublished - 1995

Cite this

van der Hoek, W., Meyer, J. J. C., & Treur, J. (1995). Temporalizing Epistemic Default Logic. In Information Systems-Correctness and Reusability. Selected papers from the IS-CORE-95 Workshop (pp. 173-190). World Scientific.