Follow
Cristinel Mateis
Cristinel Mateis
Unknown affiliation
Verified email at logic.at
Title
Cited by
Cited by
Year
The KR system dlv: Progress report, comparisons and benchmarks
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
KR 98, 406-417, 1998
2711998
A deductive system for non-monotonic reasoning
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
LPNMR 97, 363-374, 1997
2551997
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, 128-137, 1997
721997
Modeling Java programs for diagnosis
C Mateis, M Stumptner, F Wotawa
ECAI, 171-175, 2000
672000
Using database optimization techniques for nonmonotonic reasoning
W Faber, N Leone, C Mateis, G Pfeifer
In DDLP??? 99, Prolog Association of Japan, 1999
661999
Model-based debugging of Java programs
C Mateis, M Stumptner, D Wieland, F Wotawa
arXiv preprint cs/0011027, 2000
512000
A Value-Based Diagnosis Model for Java Programs Ѓ
C Mateis, M Stumptner, F Wotawa
422000
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
421999
Extending Disjunctive Logic Programming by T-norms
C Mateis
Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 2000
332000
Quantitative disjunctive logic programming: Semantics and computation
C Mateis
AI communications 13 (4), 225-248, 2000
242000
Automatic failure explanation in CPS models
E Bartocci, N Manjunath, L Mariani, C Mateis, D Ničković
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
212019
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
201999
Locating bugs in Java programs—first results of the Java diagnosis experiments project
C Mateis, M Stumptner, F Wotawa
Intelligent Problem Solving. Methodologies and Approaches: 13th …, 2003
182003
Progress report on the disjunctive deductive database system dlv
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
FQAS 98, 148-163, 1998
171998
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
Mining shape expressions from positive examples
E Bartocci, J Deshmukh, F Gigler, C Mateis, D Ničković, X Qin
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
122020
Learning and statistical model checking of system response times
BK Aichernig, P Bauerstätter, E Jöbstl, S Kann, R Korošec, W Krenn, ...
Software Quality Journal 27, 757-795, 2019
112019
JADE-AI Support for Debugging Java Programs.
C Mateis, M Stumptner, D Wieland, F Wotawa
ictai, 62-, 2000
112000
Shape expressions for specifying and extracting signal features
D Ničković, X Qin, T Ferrère, C Mateis, J Deshmukh
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
102019
A quantitative extension of disjunctive logic programming
C Mateis
na, 1998
81998
The system can't perform the operation now. Try again later.
Articles 1–20