Alexey S. Ignatiev
AuthID: R-004-VTB
31
TÃTULO: Debugging EL+ Ontologies through Horn MUS Enumeration PDF
AUTORES: Alexey Ignatiev; Joao Marques Silva ; Carlos Mencía; Rafael Peñaloza;
PUBLICAÇÃO: 2017, FONTE: 30th International Workshop on Description Logics, DL 2017 in Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., VOLUME: 1879
AUTORES: Alexey Ignatiev; Joao Marques Silva ; Carlos Mencía; Rafael Peñaloza;
PUBLICAÇÃO: 2017, FONTE: 30th International Workshop on Description Logics, DL 2017 in Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., VOLUME: 1879
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP32
TÃTULO: Horn Maximum Satisfiability: Reductions, Algorithms and Applications
AUTORES: Joao Marques Silva ; Alexey Ignatiev; Morgado, António ;
PUBLICAÇÃO: 2017, FONTE: Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, VOLUME: 10423
AUTORES: Joao Marques Silva ; Alexey Ignatiev; Morgado, António ;
PUBLICAÇÃO: 2017, FONTE: Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, VOLUME: 10423
INDEXADO EM: DBLP
DBLP33
TÃTULO: Cardinality Encodings for Graph Optimization Problems
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
34
TÃTULO: Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets PDF
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.01972
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.01972
INDEXADO EM: DBLP 
arXiv
DBLP arXiv35
TÃTULO: On Tackling the Limits of Resolution in SAT Solving
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
36
TÃTULO: On Computing Generalized Backbones
AUTORES: Previti, A; Ignatiev, A; Jarvisalo, M; Marques Silva, J ;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), VOLUME: 2017-November
AUTORES: Previti, A; Ignatiev, A; Jarvisalo, M; Marques Silva, J ;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), VOLUME: 2017-November
37
TÃTULO: Maximal falsifiability. Definitions, algorithms and applications Full Text
AUTORES: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, NÚMERO: 2
AUTORES: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, NÚMERO: 2
38
TÃTULO: BEACON: An Efficient SAT-Based Tool for Debugging epsilon L+ Ontologies
AUTORES: Fareed F Arif; Carlos Mencia; Alexey Ignatiev; Norbert Manthey; Rafael Penaloza; Joao Marques Silva ;
PUBLICAÇÃO: 2016, FONTE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
AUTORES: Fareed F Arif; Carlos Mencia; Alexey Ignatiev; Norbert Manthey; Rafael Penaloza; Joao Marques Silva ;
PUBLICAÇÃO: 2016, FONTE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
39
TÃTULO: On Finding Minimum Satisfying Assignments
AUTORES: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTORES: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
40
TÃTULO: On Incremental Core-Guided MaxSAT Solving
AUTORES: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTORES: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
