Semantics for Default Logic Based on Specific Branching Time Models

J. Engelfriet, J. Treur

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

Original language	English
Title of host publication	Proceedings of the 12th European Conference on Artificial Intelligence, ECAI'96
Editors	W. Wahlster
Publisher	Wiley
Pages	60-64
Number of pages	5
Publication status	Published - 1996

Persistent URL (handle)

@inproceedings{5548fc37ff2447078227c2ee8c9a37dd,

title = "Semantics for Default Logic Based on Specific Branching Time Models",

author = "J. Engelfriet and J. Treur",

year = "1996",

language = "English",

pages = "60--64",

editor = "W. Wahlster",

booktitle = "Proceedings of the 12th European Conference on Artificial Intelligence, ECAI'96",

publisher = "Wiley",

}