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

Search results

  • 2020

    Branch location problems with maximum satisfiability

    Zaikin, O., Ignatiev, A. & Marques-Silva, J., 2020, ECAI Digital - 2020: 24th European Conference on Artificial Intelligence . De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarin, A. & Lang, J. (eds.). Amsterdam Netherlands: IOS Press, p. 379-386 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

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

    Open Access
    File
    1 Citation (Scopus)
  • Computing optimal decision sets with SAT

    Yu, J., Ignatiev, A., Stuckey, P. J. & Le Bodic, P., 2020, Principles and Practice of Constraint Programming: 26th International Conference, CP 2020 Louvain-la-Neuve, Belgium, September 7–11, 2020 Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 952-970 19 p. (Lecture Notes in Computer Science ; vol. 12333).

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

    2 Citations (Scopus)
  • Towards formal fairness in machine learning

    Ignatiev, A., Cooper, M. C., Siala, M., Hebrard, E. & Marques-Silva, J., 2020, Principles and Practice of Constraint Programming : 26th International Conference, CP 2020 Louvain-la-Neuve, Belgium, September 7–11, 2020 Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 846-867 22 p. (Lecture Notes in Computer Science ; vol. 12333).

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

    Open Access
    File
    1 Citation (Scopus)
  • Towards trustable explainable AI

    Ignatiev, A., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. Bessiere, C. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 5154-5158 5 p.

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

    Open Access
    File
  • 2019

    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
    29 Citations (Scopus)
  • 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

    8 Citations (Scopus)
  • 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

    5 Citations (Scopus)
  • 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

    7 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.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1108-1115 8 p.

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

    Open Access
    File
    6 Citations (Scopus)
  • On computing the union of MUSes

    Mencía, C., Kullmann, O., 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. 211-221 11 p. (Lecture Notes in Computer Science; vol. 11628 ).

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

    6 Citations (Scopus)
  • On relating explanations and adversarial examples

    Ignatiev, A., Narodytska, N. & Marques-Silva, J., 2019, Advances in Neural Information Processing Systems 32 (NIPS 2019). Wallach, H., Larochelle, H., Beygelzimer, A., Alché-Buc, F. D., Fox, E. & Garnett, R. (eds.). San Diego CA USA: Neural Information Processing Systems (NIPS), Vol. 32. p. 15857-15867 11 p. (Advances in Neural Information Processing Systems).

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

    Open Access
    File
    21 Citations (Scopus)
  • 2018

    A SAT-based approach to learn explainable decision sets

    Ignatiev, A., Pereira, F., Narodytska, N. & Marques-Silva, J., 2018, Automated Reasoning : 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings. Galmiche, D., Schulz, S. & Sebastiani, R. (eds.). Cham Switzerland: Springer, p. 627-645 19 p. (Lecture Notes in Computer Science ; vol. 10900 ).

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

    20 Citations (Scopus)
  • Learning optimal decision trees with SAT

    Narodytska, N., Ignatiev, A., Pereira, F. & Marques-Silva, J., 2018, Proceedings - 27th International Joint Conference on Artificial Intelligence, IJCAI 2018: Stockholm, 13-19 July 2018. Lang, J. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1362-1368 7 p.

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

    Open Access
    File
    27 Citations (Scopus)
  • MaxSat resolution with the dual rail encoding

    Bonet, M. L., Buss, S., Ignatiev, A., Marques-Silva, J. & Morgado, A., 2018, The Thirty-Second AAAI Conference on Artificial Intelligence. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 6565-6572 8 p.

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

    Open Access
    File
    18 Citations (Scopus)
  • On cryptographic attacks using backdoors for SAT

    Semenov, A., Zaikin, O., Otpuschennikov, I., Kochemazov, S. & Ignatiev, A., 2018, The Thirty-Second AAAI Conference on Artificial Intelligence. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 6641-6648 8 p.

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

    Open Access
    File
    19 Citations (Scopus)
  • PySAT: a Python toolkit for prototyping with SAT oracles

    Ignatiev, A., Morgado, A. & Marques-Silva, J., 2018, Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 9–12, 2018 Proceedings. Beyersdorff, O. & Wintersteiger, C. M. (eds.). Cham Switzerland: Springer, p. 428-437 10 p. (Lecture Notes in Computer Science ; vol. 10929 ).

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

    48 Citations (Scopus)
  • 2017

    Cardinality encodings for graph optimization problems

    Ignatiev, A., Morgado, A. & Marques-Silva, J., 2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence. Sierra, C. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 652-658 7 p.

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

    Open Access
    File
    5 Citations (Scopus)
  • Debugging ει+ ontologies through Horn MUS enumeration

    Ignatiev, A., Marques-Silva, J., Mencía, C. & Peñaloza, R., 2017, Proceedings of the 30th International Workshop on Description Logics . Artale, A., Glimm, B. & Kontchakov, R. (eds.). Aachen Germany: Rheinisch-Westfaelische Technische Hochschule Aachen, 13 p. 54. (CEUR Workshop Proceedings; vol. 1879).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

    Open Access
    File
  • Horn maximum satisfiability: reductions, algorithms and applications

    Marques-Silva, J., Ignatiev, A. & Morgado, A., 2017, Progress in Artificial Intelligence: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 Porto, Portugal, September 5–8, 2017 Proceedings. Oliveira, E., Gama, J., Vale, Z. & Lopes Cardoso, H. (eds.). Cham Switzerland: Springer, p. 681-694 14 p. (Lecture Notes in Computer Science ; vol. 10423 ).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

    7 Citations (Scopus)
  • Lean kernels in description logics

    Peñaloza, R., Mencía, C., Ignatiev, A. & Marques-Silva, J., 2017, The Semantic Web : 14th International Conference, ESWC 2017 Portorož, Slovenia, May 28 – June 1, 2017 Proceedings, Part I. Blomqvist, E., Maynard, D., Gangemi, A., Hoekstra, R., Hitzler, P. & Hartig, O. (eds.). Cham Switzerland: Springer, p. 518-533 16 p. (Lecture Notes in Computer Science ; vol. 10249 ).

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

    7 Citations (Scopus)
  • On computing generalized backbones

    Previti, A., Ignatiev, A., Jarvisalo, M. & Marques-Silva, J., 2017, Proceedings - 2017 International Conference on Tools with Artificial Intelligence - ICTAI 2017. Virvou, M. (ed.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 1050-1056 7 p.

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

    1 Citation (Scopus)
  • On tackling the limits of resolution in SAT solving

    Ignatiev, A., Morgado, A. & Marques-Silva, J., 2017, Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Gaspers, S. & Walsh, T. (eds.). Cham Switzerland: Springer, p. 164-183 20 p. (Lecture Notes in Computer Science ; vol. 10491 ).

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

    21 Citations (Scopus)
  • 2016

    BEACON: an efficient SAT-based tool for debugging ει+ ontologies

    Arif, M. F., Mencía, C., Ignatiev, A., Manthey, N., Peñaloza, R. & Marques-Silva, J., 2016, Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference Bordeaux, France, July 5–8, 2016 Proceedings. Creignou, N. & Le Berre, D. (eds.). Cham Switzerland: Springer, p. 521-530 10 p. (Lecture Notes in Computer Science ; vol. 9710).

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

    20 Citations (Scopus)
  • Efficient reasoning for inconsistent Horn formulae

    Marques-Silva, J., Ignatiev, A., Mencía, C. & Peñaloza, R., 2016, Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 Larnaca, Cyprus, November 9–11, 2016 Proceedings. Michael, L. & Kakas, A. (eds.). Cham Switzerland: Springer, p. 336-352 17 p. (Lecture Notes in Computer Science; vol. 10021 ).

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

    9 Citations (Scopus)
  • MCS extraction with sublinear oracle queries

    Mencía, C., Ignatiev, A., Previti, A. & Marques-Silva, J., 2016, Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference Bordeaux, France, July 5–8, 2016 Proceedings. Creignou, N. & Le Berre, D. (eds.). Cham Switzerland: Springer, p. 342-360 19 p. (Lecture Notes in Computer Science ; vol. 9710).

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

    17 Citations (Scopus)
  • On finding minimum satisfying assignments

    Ignatiev, A., Previti, A. & Marques-Silva, J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland : Springer, p. 287-297 11 p. (Lecture Notes in Computer Science ; vol. 9892 ).

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

    1 Citation (Scopus)
  • On incremental core-guided MaxSAT solving

    Si, X., Zhang, X., Manquinho, V., Janota, M., Ignatiev, A. & Naik, M., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 473-482 10 p. (Lecture Notes in Computer Science; vol. 9892 ).

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

    4 Citations (Scopus)
  • Propositional abduction with implicit hitting sets

    Ignatiev, A., Morgado, A. & Marques-Silva, J., 2016, ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August–2 September 2016, The Hague, The Netherlands: Including - Prestigious Applications of Artificial Intelligence (PAIS 2016), Proceedings. Kaminka, G. A., Fox, M., Bouquet, P., Hullermeier, E., Dignum, V., Dignum, F. & van Harmelen, F. (eds.). Amsterdam Netherlands: IOS Press, p. 1327-1335 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

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

    Open Access
    File
    13 Citations (Scopus)
  • 2015

    Efficient Model Based Diagnosis with maximum satisfiability

    Marques-Silva, J., Janota, M., Ignatiev, A. & Morgado, A., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Yang, Q. & Wooldridge, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1966-1972 7 p.

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

    Open Access
    File
    31 Citations (Scopus)
  • Prime compilation of non-clausal formulae

    Previti, A., Ignatiev, A., Morgado, A. & Marques-Silva, J., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence . Yang, Q. & Wooldridge, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1980-1987 8 p.

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

    Open Access
    File
    25 Citations (Scopus)
  • SAT-based formula simplification

    Ignatiev, A., Previti, A. & Marques-Silva, J., 2015, Theory and Applications of Satisfiability Testing – SAT 2015: 18th International Conference Austin, TX, USA, September 24–27, 2015 Proceedings. Heule, M. & Weaver, S. (eds.). Cham Switzerland: Springer, p. 287-298 12 p. (Lecture Notes in Computer Science; vol. 9340).

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

    8 Citations (Scopus)
  • Smallest MUS extraction with minimal hitting set dualization

    Ignatiev, A., Previti, A., Liffiton, M. & Marques-Silva, J., 2015, Principles and Practice of Constraint Programming: 21st International Conference, CP 2015 Cork, Ireland, August 31 – September 4, 2015 Proceedings. Pesant, G. (ed.). Cham Switzerland: Springer, p. 173-182 10 p. (Lecture Notes in Computer Science ; vol. 9255).

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

    33 Citations (Scopus)
  • 2014

    Efficient autarkies

    Marques-Silva, J., Ignatiev, A., Morgado, A., Manquinho, V. & Lynce, I., 2014, ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic: Including - Prestigious Applications of Intelligent Systems (PAIS 2014) - Proceedings. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). Amsterdam Netherlands: IOS Press, p. 603-608 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

    Open Access
    File
    9 Citations (Scopus)
  • On reducing Maximum Independent Set to Minimum Satisfiability

    Ignatiev, A., Morgado, A. & Marques-Silva, J., 2014, Theory and Applications of Satisfiability Testing – SAT 2014: 17th International Conference Held as Part of theVienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 Proceedings. Sinz, C. & Egly, U. (eds.). Cham Switzerland: Springer, p. 103-120 18 p. (Lecture Notes in Computer Science ; vol. 8561 ).

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

    14 Citations (Scopus)
  • Progression in maximum satisfiability

    Ignatiev, A., Morgado, A., Manquinho, V., Lynce, I. & Marques-Silva, J., 2014, ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic: Including - Prestigious Applications of Intelligent Systems (PAIS 2014) - Proceedings. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). Amsterdam Netherlands: IOS Press, p. 453-458 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

    Open Access
    File
    16 Citations (Scopus)
  • Towards efficient optimization in package management systems

    Ignatiev, A., Janota, M. & Marques-Silva, J., 2014, 36th International Conference on Software Engineering (ICSE 2014) - Proceedings. Jalote, P., Briand, L. & van der Hoek, A. (eds.). 1 ed. New York NY USA: Association for Computing Machinery (ACM), p. 745-755 11 p.

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

    19 Citations (Scopus)
  • 2013

    Maximal Falsifiability: definitions, algorithms, and applications

    Ignatiev, A., Morgado, A., Planes, J. & Marques-Silva, J., 2013, Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR 2013, Proceedings. Springer, Vol. 8312. p. 439-456 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8312 LNCS).

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

    9 Citations (Scopus)
  • Quantified maximum satisfiability: a core-guided approach

    Ignatiev, A., Janota, M. & Marques-Silva, J., 2013, Theory and Applications of Satisfiability Testing, SAT 2013 - 16th International Conference, Proceedings. Springer, Vol. 7962. p. 250-266 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7962 LNCS).

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

    12 Citations (Scopus)
  • 2011

    DPLL+ROBDD derivation applied to inversion of some cryptographic functions

    Ignatiev, A. & Semenov, A. A., 2011, Theory and Application of Satisfiability Testing - 14th International Conference, SAT 2011, Proceedings. Springer, Vol. 6695. p. 76-89 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6695 LNCS).

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

    2 Citations (Scopus)