Segui
Cristinel Mateis
Cristinel Mateis
Affiliazione sconosciuta
Email verificata su logic.at
Titolo
Citata da
Citata da
Anno
The KR system dlv: Progress report, comparisons and benchmarks
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
KR 98, 406-417, 1998
2671998
A deductive system for non-monotonic reasoning
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997
2581997
Modeling Java programs for diagnosis
C Mateis, M Stumptner, F Wotawa
ECAI, 171-175, 2000
752000
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
Using database optimization techniques for nonmonotonic reasoning
W Faber, N Leone, C Mateis, G Pfeifer
In DDLP??? 99, Prolog Association of Japan, 1999
641999
Model-based debugging of Java programs
C Mateis, M Stumptner, D Wieland, F Wotawa
arXiv preprint cs/0011027, 2000
532000
A Value-Based Diagnosis Model for Java Programs Ѓ
C Mateis, M Stumptner, F Wotawa
432000
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
411999
Extending Disjunctive Logic Programming by T-norms
C Mateis
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999
341999
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
262019
Quantitative disjunctive logic programming: Semantics and computation
C Mateis
AI communications 13 (4), 225-248, 2000
252000
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
International Conference on Industrial, Engineering and Other Applications …, 2000
182000
Progress report on the disjunctive deductive database system dlv
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
Flexible Query Answering Systems: Third International Conference, FQAS'98 …, 1998
181998
CPSDebug: Automatic failure explanation in CPS models
E Bartocci, N Manjunath, L Mariani, C Mateis, D Ničković
International Journal on Software Tools for Technology Transfer, 1-14, 2021
162021
The dlv system: Model generator and advanced frontends (system description)
S Citrigno, T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, ...
161997
Survey on mining signal temporal logic specifications
E Bartocci, C Mateis, E Nesterini, D Nickovic
Information and Computation 289, 104957, 2022
152022
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
142020
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
142019
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
122019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20