Cristinel Mateis
Cristinel Mateis
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei logic.at
Titel
Zitiert von
Zitiert von
Jahr
The KR system dlv: Progress report, comparisons and benchmarks
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
KR 98, 406-417, 1998
2631998
A deductive system for non-monotonic reasoning
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
2441997
The dlv system: Model generator and application frontends
S Citrigno, T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, ...
Proceedings of the 12th Workshop on Logic Programming 128137, 1997
661997
Using database optimization techniques for nonmonotonic reasoning
W Faber, N Leone, C Mateis, G Pfeifer
631999
Modeling Java programs for diagnosis
C Mateis, M Stumptner, F Wotawa
ECAI, 171-175, 2000
572000
Model-based debugging of Java programs
C Mateis, M Stumptner, D Wieland, F Wotawa
arXiv preprint cs/0011027, 2000
492000
Debugging of Java programs using a model-based approach
C Mateis, M Stumptner, F Wotawa
Proceedings of the Tenth International Workshop on Principles of Diagnosis, 1999
441999
A Value-Based Diagnosis Model for Java Programs Ѓ
C Mateis, M Stumptner, F Wotawa
402000
Extending Disjunctive Logic Programming by T-norms
C Mateis
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999
331999
Quantitative disjunctive logic programming: Semantics and computation
C Mateis
AI communications 13 (4), 225-248, 2000
242000
The dlv system
T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, G Pfeifer, ...
Workshop on Logic-Based Artificial Intelligence, Washington, DC, College …, 1999
191999
Progress report on the disjunctive deductive database system dlv
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
International Conference on Flexible Query Answering Systems, 148-163, 1998
161998
The dlv system: Model generator and advanced frontends (system description)
S Citrigno, T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, ...
151997
JADE-AI Support for Debugging Java Programs.
C Mateis, M Stumptner, D Wieland, F Wotawa
ictai, 62-, 2000
112000
Automatic failure explanation in CPS models
E Bartocci, N Manjunath, L Mariani, C Mateis, D Ničković
International Conference on Software Engineering and Formal Methods, 69-86, 2019
102019
Locating bugs in Java programs—first results of the Java diagnosis experiments project
C Mateis, M Stumptner, F Wotawa
International Conference on Industrial, Engineering and Other Applications …, 2000
92000
A quantitative extension of disjunctive logic programming
C Mateis
na, 1998
91998
Locating bugs in Java programs–first results of the Java Diagnosis Experiments (Jade) project
C Mateis, M Stumptner, F Wotawa
Proceedings IEA/AIE, 57-95, 2000
82000
AI support for debugging Java programs
C Mateis, M Stumptner, D Wieland, F Wotawa
3rd Workshop on Intelligent SW Eng, 2000
72000
The Architecture of a Disjunctive Deductive Database System.
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
APPIA-GULP-PRODE, 141-152, 1997
71997
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20