Nonmonotonic Default Modal Logics
- Michael Tiomkin
- Michael Kaminski
- 1991
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
4 results for Michael Tiomkin
An Environment for Logic Programming
- Nissim Francez
- Shalom Goldenberg
- et al.
- 1985
- ACM SIGPLAN Notices
Decidability of finite probabilistic propositional dynamic logics
- M. Tiomkin
- J.A. Makowsky
- 1991
- Information and Computation
A knowledge representation language for university requirements
- Martin Charles Golumbic
- Moshe Markovich
- et al.
- 1991
- Decision Support Systems