The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marek A. Suchenek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002