The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Cristinel Mateis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    A Deductive System for Non-Monotonic Reasoning. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1997, pp:364-375 [Conf]
  2. Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
    Model-Based Debugging of Java Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2000, pp:- [Conf]
  3. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    The Architecture of a Disjunctive Deductive Database System. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:141-152 [Conf]
  4. Sergio Greco, Cristinel Mateis, Eugenio Spadafora
    The Complexity of Weak Unification of Bounded Simple Set Terms. [Citation Graph (0, 0)][DBLP]
    DEXA, 1996, pp:224-233 [Conf]
  5. Cristinel Mateis, Markus Stumptner, Franz Wotawa
    Modeling Java Programs for Diagnosis. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:171-175 [Conf]
  6. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    Progress Report on the Disjunctive Deductive Database System dlv. [Citation Graph (0, 0)][DBLP]
    FQAS, 1998, pp:148-163 [Conf]
  7. Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
    JADE - AI Support for Debugging Java Programs. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2000, pp:62-0 [Conf]
  8. Cristinel Mateis, Markus Stumptner, Franz Wotawa
    Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2000, pp:174-183 [Conf]
  9. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    The KR System dlv: Progress Report, Comparisons and Benchmarks. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:406-417 [Conf]
  10. Sergio Greco, Cristinel Mateis, Eugenio Spadafora
    Unification of Bounded Simple Set Terms in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Logic in Databases, 1996, pp:435-453 [Conf]
  11. Cristinel Mateis
    Extending Disjunctive Logic Programming by T-norms. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:290-304 [Conf]
  12. Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    The dlv System: Model Generator and Advanced Frontends (system description). [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:0-0 [Conf]
  13. Cristinel Mateis
    Quantitative Disjunctive Logic Programming: Semantics and Computation. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2000, v:13, n:4, pp:225-248 [Journal]

Search in 0.003secs, Finished in 0.003secs
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