Alexey S. Ignatiev
AuthID: R-004-VTB
31
TITLE: Lean Kernels in Description Logics
AUTHORS: Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: 14th Extended Semantic Web Conference, ESWC 2017 in The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I, VOLUME: 10249
AUTHORS: Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: 14th Extended Semantic Web Conference, ESWC 2017 in The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I, VOLUME: 10249
32
TITLE: On Tackling the Limits of Resolution in SAT Solving
AUTHORS: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, VOLUME: 10491
AUTHORS: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, VOLUME: 10491
INDEXED IN: 
DBLP
DBLP33
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
34
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 DBLP35
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
DBLP36
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
37
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 arXiv38
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
39
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
40
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
