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

Marek A. Suchenek Vis

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

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

Coauthor Index

1Rajshekhar Sunderraman (Raj Sunderraman) [5]

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