Marek A. Suchenek Coauthor index DBLP Vis pubzone.org

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

DBLP keys2000
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Suchenek: Sound and Complete Propositional Nonmonotonic Logic of Hierarchically-Minimal Models. Intelligent Information Systems 2000: 193-205
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Suchenek: Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case. J. Autom. Reasoning 25(4): 247-289 (2000)
1997
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Suchenek: Evaluation of Queries under Closed-World Assumption. J. Autom. Reasoning 18(3): 357-398 (1997)
1993
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Suchenek: First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment. J. Autom. Reasoning 10(2): 237-263 (1993)
1990
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Suchenek, Rajshekhar Sunderraman: On reasoning from Closed World Databases with Disjunctive Views. LPNMR 1990: 132-149
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Suchenek: Applications of Lyndon Homomorphism Theorems to the Theory of Minimal Models. Int. J. Found. Comput. Sci. 1(1): 49-60 (1990)
1989
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Suchenek: A Syntactic Characterization of Minimal Entailment. NACLP 1989: 81-91
1988
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Suchenek: Incremental models of updating data bases. Algebraic Logic and Universal Algebra in Computer Science 1988: 243-271
1987
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Suchenek: Forcing versus Closed World Assumption. ISMIS 1987: 453-460

Coauthor Index

1Rajshekhar Sunderraman (Raj Sunderraman) [5]

Copyright © Tue Dec 22 17:48:42 2009 by Michael Ley (ley@uni-trier.de)