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