Temporalizing Epistemic Default Logic

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

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Information Systems-Correctness and Reusability. Selected papers from the IS-CORE-95 Workshop
Publisher	World Scientific
Pages	173-190
Number of pages	18
Publication status	Published - 1995

Persistent URL (handle)

@inproceedings{bcc2671ad0e34da0bd36ccae8da436d5,

title = "Temporalizing Epistemic Default Logic",

author = "{van der Hoek}, Wiebe and Meyer, {J.J. Ch.} and J. Treur",

year = "1995",

language = "English",

pages = "173--190",

booktitle = "Information Systems-Correctness and Reusability. Selected papers from the IS-CORE-95 Workshop",

publisher = "World Scientific",

}