| |
| 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 | ||
| 2 | Marek 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 | |
| 1 | Rajshekhar Sunderraman (Raj Sunderraman) | [5] |