dblp.uni-trier.dewww.uni-trier.de

Grigori F. Shvarts Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1993
5EEV. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. J. ACM 40(4): 963-990 (1993)
1991
4 V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. KR 1991: 395-404
1990
3 Grigori F. Shvarts: Autoepistemic Modal Logics. TARK 1990: 97-109
1989
2EEGrigori F. Shvarts: Gentzen Style Systems for K45 and K45D. Logic at Botik 1989: 245-256
1 Grigori F. Shvarts: Fixed Points in the Propositional Nonmonotonic Logic. Artif. Intell. 38(2): 199-206 (1989)

Coauthor Index

1Victor W. Marek (V. Wiktor Marek) [4] [5]
2Miroslaw Truszczynski [4] [5]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)