Semantics for Default Logic Based on Specific Branching Time Models

J. Engelfriet, J. Treur

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

Original languageEnglish
Title of host publicationProceedings of the 12th European Conference on Artificial Intelligence, ECAI'96
EditorsW. Wahlster
Number of pages5
Publication statusPublished - 1996

Cite this