Alexey S. Ignatiev
AuthID: R-004-VTB
31
TITLE: Horn Maximum Satisfiability: Reductions, Algorithms and Applications PDF
AUTHORS: Marques Silva, J ; Ignatiev, A; Morgado, António ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTHORS: Marques Silva, J ; Ignatiev, A; Morgado, António ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
32
TITLE: Debugging EL+ Ontologies through Horn MUS Enumeration PDF
AUTHORS: Alexey Ignatiev; Joao Marques Silva ; Carlos Mencía; Rafael Peñaloza;
PUBLISHED: 2017, SOURCE: 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
AUTHORS: Alexey Ignatiev; Joao Marques Silva ; Carlos Mencía; Rafael Peñaloza;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP33
TITLE: Horn Maximum Satisfiability: Reductions, Algorithms and Applications
AUTHORS: Joao Marques Silva ; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2017, SOURCE: Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, VOLUME: 10423
AUTHORS: Joao Marques Silva ; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2017, SOURCE: Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, VOLUME: 10423
INDEXED IN: DBLP
DBLP34
TITLE: Cardinality Encodings for Graph Optimization Problems
AUTHORS: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
AUTHORS: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
35
TITLE: Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets PDF
AUTHORS: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.01972
AUTHORS: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.01972
INDEXED IN: DBLP 
arXiv
DBLP arXiv36
TITLE: On Tackling the Limits of Resolution in SAT Solving
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
37
TITLE: On Computing Generalized Backbones
AUTHORS: Previti, A; Ignatiev, A; Jarvisalo, M; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), VOLUME: 2017-November
AUTHORS: Previti, A; Ignatiev, A; Jarvisalo, M; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), VOLUME: 2017-November
38
TITLE: Maximal falsifiability. Definitions, algorithms and applications Full Text
AUTHORS: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, ISSUE: 2
AUTHORS: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, ISSUE: 2
39
TITLE: BEACON: An Efficient SAT-Based Tool for Debugging epsilon L+ Ontologies
AUTHORS: Fareed F Arif; Carlos Mencia; Alexey Ignatiev; Norbert Manthey; Rafael Penaloza; Joao Marques Silva ;
PUBLISHED: 2016, SOURCE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
AUTHORS: Fareed F Arif; Carlos Mencia; Alexey Ignatiev; Norbert Manthey; Rafael Penaloza; Joao Marques Silva ;
PUBLISHED: 2016, SOURCE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
40
TITLE: On Finding Minimum Satisfying Assignments
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
