20112019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Biography

I am a Senior Lecturer at the Optimisation research group of the Faculty of Information Technology of Monash University.

Currently, my research is mainly focused on the development and improvement of highly efficient SAT- and SMT-based (satisfiability modulo theories) decision and optimization procedures targeting a variety of important practical applications in AI: from software package upgradability and Boolean formula minimization to model-based diagnosis (MBD), software fault localization and eXplainable AI (XAI).

Research area keywords

  • Satisfiability
  • Computational Logic
  • Knowledge Representation and Reasoning
  • Automated Reasoning
  • Artificial Intelligence
  • Combinatorial Optimisation

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Abduction-based explanations for Machine Learning models

Ignatiev, A., Narodytska, N. & Marques-Silva, J., 2019, Proceedings of AAAI19-Thirty-Third AAAI conference on Artificial Intelligence. Van Hentenryck, P. & Zhou, Z-H. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1511-1519 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Assessing heuristic Machine Learning explanations with model counting

Narodytska, N., Shrotri, A., Meel, K. S., Ignatiev, A. & Marques-Silva, J., 2019, Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019 Lisbon, Portugal, July 9–12, 2019 Proceedings. Janota, M. & Lynce, I. (eds.). Cham Switzerland: Springer, p. 267-278 12 p. (Lecture Notes in Computer Science; vol. 11628 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

DRMaxSAT with MaxHS: first contact

Morgado, A., Ignatiev, A., Bonet, M. L., Marques-Silva, J. & Buss, S., 2019, Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019 Lisbon, Portugal, July 9–12, 2019 Proceedings. Janota, M. & Lynce, I. (eds.). Cham Switzerland: Springer, p. 239-249 11 p. (Lecture Notes in Computer Science ; vol. 11628 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Efficient Symmetry Breaking for SAT-Based minimum DFA inference

Zakirzyanov, I., Morgado, A., Ignatiev, A., Ulyantsev, V. & Marques-Silva, J., 2019, Language and Automata Theory and Applications: 13th International Conference, LATA 2019 St. Petersburg, Russia, March 26–29, 2019 Proceedings. Martín-Vide, C., Okhotin, A. & Shapira, D. (eds.). Cham Switzerland : Springer, p. 159-173 15 p. (Lecture Notes in Computer Science ; vol. 11417 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Model-based diagnosis with multiple observations

Ignatiev, A., Morgado, A., Weissenbacher, G. & Marques-Silva, J., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). California USA: International Joint Conferences on Artificial Intelligence, p. 1108-1115 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File