{"type":"ScholarlyArticle","title":"Memory-Limited Model-Based Diagnosis (Extended Abstract)","authors":[{"name":"Patrick Rodler","slug":"patrick-rodler","given":"Patrick","family":"Rodler","affiliation":"University of Klagenfurt , Austria"}],"abstract":"Model-based diagnosis is a principled and broadly applicable AI-based approach to tackle debugging problems in a wide range of areas including software, knowledge bases, circuits, cars, and robots. Whenever the sound and complete computation of fault explanations in a given preference order (e.g., cardinality or probability) is required, all existing diagnosis algorithms suffer from an exponential space complexity. This can prevent their application on memory-restricted devices and for memory-intensive problem cases. As a remedy, we propose RBF-HS, a diagnostic search based on Korf’s seminal RBFS algorithm which can enumerate an arbitrary fixed number of fault explanations in best-first order within linear space bounds, without sacrificing other desirable properties. Evaluations on real-world diagnosis cases show that RBF-HS, when used to compute minimum-cardinality fault explanations, in most cases saves substantial space while requiring only reasonably more or even less time than Reiter’s HS-Tree, one of the most influential diagnostic algorithms with the same properties.","doi":"10.24963/ijcai.2023/789","url":"https://ijcai.org/proceedings/2023/789","pdf":"https://ijcai.org/proceedings/2023/0789.pdf","markdown":"https://ijcai.org/proceedings/2023/789.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/789","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Journal Track","track":"Journal Track","number":789,"pages":{"first":6954,"last":6958},"keywords":["Knowledge Representation and Reasoning: KRR: Semantic Web","Search: S: Heuristic search","Knowledge Representation and Reasoning: KRR: Applications","Search: S: Applications","Uncertainty in AI: UAI: Sequential decision making","Knowledge Representation and Reasoning: KRR: Automated reasoning and theorem proving","Knowledge Representation and Reasoning: KRR: Diagnosis and abductive reasoning","Search: S: Combinatorial search and optimisation"],"videos":[],"references":[{"position":1,"raw":"[Abreu and van Gemund, 2009] Rui Abreu and Arjan J.C. van Gemund. A Low-Cost Approximate Minimal Hitting Set Algo- rithm and its Application to Model-Based Diagnosis. In SARA, 2009.","title":"A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis","authors":"Rui Abreu And Arjan, J C Van Gemund","year":"2009","venue":"SARA","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Amburg et al., 2021] Ilya Amburg, Jon Kleinberg, and Austin R. Benson. Planted hitting set recovery in hypergraphs. Journal of Physics: Complexity, 2(3):035004, 2021.","title":"Planted hitting set recovery in hypergraphs","authors":"Ilya Amburg, Jon Kleinberg, Austin R Benson","year":"2021","venue":"Journal of Physics: Complexity","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baader et al., 2007] Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, edi- tors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2007.","title":"The Description Logic Handbook: Theory, Implementation, and Applications","authors":"Franz Baader, Diego Calvanese, Deborah L Mcguinness, Daniele Nardi, Peter F Patel-Schneider","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bailey and Stuckey, 2005] James Bailey and Peter J. Stuckey. Dis- covery of minimal unsatisfiable subsets of constraints using hit- ting set dualization. In PADL, 2005.","title":"Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization","authors":"James Bailey, Peter J Stuckey","year":"2005","venue":"PADL","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Berners-Lee et al., 2001] Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web. Scientific American, 284(5):34- 43, 2001.","title":"The Semantic Web","authors":"Berners-Lee","year":"2001","venue":"Scientific American","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Darwiche, 2001] Adnan Darwiche. Decomposable negation nor- mal form. Journal of the ACM, 48(4):608-647, 2001.","title":"Decomposable negation normal form","authors":"Adnan Darwiche","year":"2001","venue":"Journal of the ACM","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Davies and Bacchus, 2011] Jessica Davies and Fahiem Bacchus. Solving MAXSAT by solving a sequence of simpler SAT in- stances. In CP, 2011.","title":"Solving MAXSAT by solving a sequence of simpler SAT instances","authors":"Bacchus Davies, Jessica Davies, Fahiem Bacchus","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[de Kleer and Williams, 1987] Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97-130, 1987.","title":"Diagnosing multiple faults","authors":"Williams ; Johan De Kleer, Brian C De Kleer, Williams","year":"1987","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[de Kleer, 1991] Johan de Kleer. Focusing on Probable Diagnoses. In AAAI, 1991.","title":"Focusing on Probable Diagnoses","authors":"Johan De, Kleer","year":"1991","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[de Kleer, 2011] Johan de Kleer. Hitting set algorithms for model- based diagnosis. In DX, 2011.","title":"Johan de Kleer. Hitting set algorithms for modelbased diagnosis","authors":"De Kleer","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[del Vescovo et al., 2010] Chiara del Vescovo, Bijan Parsia, Ulrike Sattler, and Thomas Schneider. The modular structure of an on- tology: an empirical study. In WoMO, 2010.","title":"The modular structure of an ontology: an empirical study","authors":"Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider","year":"2010","venue":"WoMO","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Feldman et al., 2008] Alexander Feldman, Gregory Provan, and Arjan J.C. van Gemund. Computing Minimal Diagnoses by Greedy Stochastic Search. In AAAI, 2008.","title":"Computing Minimal Diagnoses by Greedy Stochastic Search","authors":"Alexander Feldman, Gregory Provan, Arjan J C Van Gemund","year":"2008","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Felfernig et al., 2007] Alexander Felfernig, Gerhard Friedrich, and Erich Teppan. Automated Debugging and Repair of Utility Constraints in Recommender Knowledge Bases. In DX, 2007.","title":"Automated Debugging and Repair of Utility Constraints in Recommender Knowledge Bases","authors":"Alexander Felfernig, Gerhard Friedrich, Erich Teppan","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Felfernig et al., 2011] Alexander Felfernig, Monika Schubert, and Christoph Zehentner. An efficient diagnosis algorithm for incon- sistent constraint sets. Artificial Intelligence for Engineering De- sign, Analysis and Manufacturing, 26(1):53-62, 2011.","title":"An efficient diagnosis algorithm for inconsistent constraint sets","authors":"Alexander Felfernig, Monika Schubert, Christoph Zehentner","year":"2011","venue":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Friedrich et al., 1999] Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Ar- tificial Intelligence, 111(1-2):3-39, 1999.","title":"Model-based diagnosis of hardware designs","authors":"Gerhard Friedrich, Markus Stumptner, Franz Wotawa","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Gainer-Dewar and Vera-Licona, 2017] Andrew Gainer-Dewar and Paola Vera-Licona. The minimal hitting set generation problem: algorithms and computation. SIAM Journal on Discrete Mathe- matics, 31(1):63-100, 2017.","title":"The minimal hitting set generation problem: algorithms and computation","authors":"Vera-Licona ; Gainer-Dewar, Andrew Gainer-Dewar, Paola Vera-Licona","year":"2017","venue":"SIAM Journal on Discrete Mathematics","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Gorinevsky et al., 2002] Dimitry Gorinevsky, Kevin Dittmar, Dinkar Mylaraswamy, and Emmanuel Nwadiogbu. Model-based diagnostics for an aircraft auxiliary power unit. In CCA, 2002.","title":"Model-based diagnostics for an aircraft auxiliary power unit","authors":"Dimitry Gorinevsky, Kevin Dittmar, Dinkar Mylaraswamy, Emmanuel Nwadiogbu","year":"2002","venue":"CCA","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Hunt, 1998] John Hunt. Model-based software diagnosis. Applied Artificial Intelligence, 12(4):289-308, 1998.","title":"John Hunt. Model-based software diagnosis","authors":"Hunt","year":"1998","venue":"Applied Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Ignatiev, 2020] Alexey Ignatiev. Towards Trustable Explainable AI. In IJCAI, 2020.","title":"Towards Trustable Explainable AI","authors":"Alexey Ignatiev","year":"2020","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2020/726"},{"position":20,"raw":"[Jannach and Schmitz, 2016] Dietmar Jannach and Thomas Schmitz. Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach. Automated Software Engineering, 23:105-144, 2016.","title":"Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach","authors":"Schmitz Jannach, Dietmar Jannach, Thomas Schmitz","year":"2016","venue":"Automated Software Engineering","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Junker, 2004] Ulrich Junker. QuickXplain: Preferred Explanations and Relaxations for Over-Constrained Problems. In AAAI, 2004.","title":"QuickXplain: Preferred Explanations and Relaxations for Over-Constrained Problems","authors":"Ulrich Junker, Junker","year":"2004","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Kalyanpur, 2006] Aditya Kalyanpur. Debugging and Repair of OWL Ontologies. PhD Thesis, Univ. of Maryland, College Park, 2006.","title":"Debugging and Repair of OWL Ontologies","authors":"Aditya Kalyanpur","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Korf, 1993] Richard E. Korf. Linear-space best-first search. Arti- ficial Intelligence, 62(1):41-78, 1993.","title":"Linear-space best-first search","authors":"Richard E Korf","year":"1993","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Lin and Jiang, 2003] Li Lin and Yunfei Jiang. The computation of hitting sets: Review and new algorithms. Information Processing Letters, 86(4):177-184, 2003.","title":"The computation of hitting sets: Review and new algorithms","authors":"Li Lin, Yunfei Jiang","year":"2003","venue":"Information Processing Letters","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Meilicke, 2011] Christian Meilicke. Alignment Incoherence in On- tology Matching. PhD Thesis, Univ. of Mannheim, 2011.","title":"Christian Meilicke. Alignment Incoherence in Ontology Matching","authors":"Meilicke","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Metodi et al., 2014] Amit Metodi, Roni Stern, Meir Kalech, and Michael Codish. A novel SAT-based approach to model based diagnosis. Journal of Artificial Intelligence Research, 51:377- 411, 2014.","title":"A novel SAT-based approach to model based diagnosis","authors":"Amit Metodi, Roni Stern, Meir Kalech, Michael Codish","year":"2014","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Moreno-Centeno and Karp, 2013] Erick Moreno-Centeno and Richard M. Karp. The implicit hitting set approach to solve combinatorial optimization problems with an application to multigenome alignment. Operations Research, 61(2):453-468, 2013.","title":"The implicit hitting set approach to solve combinatorial optimization problems with an application to multigenome alignment","authors":"Moreno-Centeno, ; ] Erick Karp, Richard M Moreno-Centeno, Karp","year":"2013","venue":"Operations Research","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Musen, 2015] Mark A Musen. The Protégé project: a look back and a look forward. AI matters, 1(4):4-12, 2015.","title":"The Protégé project: a look back and a look forward","authors":"Mark A Musen","year":"2015","venue":"AI matters","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Nica et al., 2013] Iulia Nica, Ingo Pill, Thomas Quaritsch, and Franz Wotawa. The route to success: A performance compari- son of diagnosis algorithms. In IJCAI, 2013.","title":"The route to success: A performance comparison of diagnosis algorithms","authors":"Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa","year":"2013","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2013/158"},{"position":30,"raw":"[Qi and Hunter, 2007] Guilin Qi and Anthony Hunter. Measuring incoherence in description logic-based ontologies. In ISWC, 2007.","title":"Measuring incoherence in description logic-based ontologies","authors":"Hunter ; Qi, Guilin Qi, Anthony Hunter","year":"2007","venue":"ISWC","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Reiter, 1987] Raymond Reiter. A Theory of Diagnosis from First Principles. Artificial Intelligence, 32(1):57-95, 1987.","title":"A Theory of Diagnosis from First Principles","authors":"Raymond Reiter","year":"1987","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Rodler and Herold, 2018] Patrick Rodler and Manuel Herold. StaticHS: A Variant of Reiter's Hitting Set Tree for Efficient Se- quential Diagnosis. In SoCS, 2018.","title":"StaticHS: A Variant of Reiter's Hitting Set Tree for Efficient Sequential Diagnosis","authors":"Herold ; Rodler, Patrick Rodler, Manuel Herold","year":"2018","venue":"SoCS","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Rodler and Schmid, 2018] Patrick Rodler and Wolfgang Schmid. On the Impact and Proper Use of Heuristics in Test-Driven On- tology Debugging. In RuleML+RR, 2018.","title":"On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging","authors":"Schmid Rodler, Patrick Rodler, Wolfgang Schmid","year":"2018","venue":"RuleML+RR","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Rodler et al., 2021] Patrick Rodler, Erich Teppan, and Dietmar Jannach. Randomized Problem-Relaxation Solving for Over- Constrained Schedules. In KR, 2021.","title":"Randomized Problem-Relaxation Solving for Over-Constrained Schedules","authors":"Patrick Rodler, Erich Teppan, Dietmar Jannach","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Rodler, 2015] Patrick Rodler. Interactive Debugging of Knowl- edge Bases. PhD Thesis, Univ. of Klagenfurt, 2015.","title":"Patrick Rodler. Interactive Debugging of Knowledge Bases","authors":"Rodler","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Rodler, 2017] Patrick Rodler. On Active Learning Strategies for Sequential Diagnosis. In DX, 2017.","title":"On Active Learning Strategies for Sequential Diagnosis","authors":"Patrick Rodler","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Rodler, 2020a] Patrick Rodler. Reuse, Reduce and Recycle: Op- timizing Reiter's HS-Tree for Sequential Diagnosis. In ECAI, 2020.","title":"Reuse, Reduce and Recycle: Optimizing Reiter's HS-Tree for Sequential Diagnosis","authors":"Patrick Rodler, Rodler","year":"2020","venue":"ECAI","doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Rodler, 2020b] Patrick Rodler. Sound, Complete, Linear-Space, Best-First Diagnosis Search. In DX, 2020.","title":"Patrick Rodler. Sound, Complete, Linear-Space, Best-First Diagnosis Search","authors":"Rodler","year":"2020","venue":null,"doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[Rodler, 2021] Patrick Rodler. Linear-Space Best-First Diagnosis Search. In SoCS, 2021.","title":"Linear-Space Best-First Diagnosis Search","authors":"Patrick Rodler","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":40,"raw":"[Rodler, 2022a] Patrick Rodler. A formal proof and simple explana- tion of the QuickXplain algorithm. Artificial Intelligence Review, 55(8):6185-6206, 2022.","title":"A formal proof and simple explanation of the QuickXplain algorithm","authors":"Patrick Rodler, Rodler","year":"2022","venue":"Artificial Intelligence Review","doi":null,"url":null,"internal_url":null},{"position":41,"raw":"[Rodler, 2022b] Patrick Rodler. How should I compute my candi- dates? A taxonomy and classification of diagnosis computation algorithms. In DX, 2022.","title":"How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms","authors":"Patrick Rodler, Rodler","year":"2022","venue":null,"doi":null,"url":null,"internal_url":null},{"position":42,"raw":"[Rodler, 2022c] Patrick Rodler. Memory-limited model-based di- agnosis. Artificial Intelligence, 305:103681, 2022.","title":"Patrick Rodler. Memory-limited model-based diagnosis","authors":"Rodler","year":"2022","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":43,"raw":"[Rodler, 2022d] Patrick Rodler. One step at a time: An efficient approach to query-based ontology debugging. Knowledge-Based Systems, 251:108987, 2022.","title":"One step at a time: An efficient approach to query-based ontology debugging","authors":"Patrick Rodler, Rodler","year":"2022","venue":"Knowledge-Based Systems","doi":null,"url":null,"internal_url":null},{"position":44,"raw":"[Rodler, 2022e] Patrick Rodler. Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diag- nosis. In AAAI, 2022.","title":"Patrick Rodler. Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis","authors":"Rodler","year":"2022","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":45,"raw":"[Rodler, 2023] Patrick Rodler. DynamicHS: Streamlining Reiter's hitting-set tree for sequential diagnosis. Information Sciences, 627:251-279, 2023.","title":"DynamicHS: Streamlining Reiter's hitting-set tree for sequential diagnosis","authors":"Patrick Rodler, Rodler","year":"2023","venue":"Information Sciences","doi":null,"url":null,"internal_url":null},{"position":46,"raw":"[Sachenbacher et al., 1998] Martin Sachenbacher, Andress Malik, and Peter Struss. From electrics to emissions: experiences in applying model-based diagnosis to real problems in real cars. In DX, 1998.","title":"From electrics to emissions: experiences in applying model-based diagnosis to real problems in real cars","authors":"Martin Sachenbacher, Andress Malik, Peter Struss","year":"1998","venue":"DX","doi":null,"url":null,"internal_url":null},{"position":47,"raw":"[Saikko, 2019] Paul Saikko. Implicit hitting set algorithms for con- straint optimization. PhD thesis, Univ. of Helsinki, 2019.","title":"Implicit hitting set algorithms for constraint optimization","authors":"Paul Saikko","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":48,"raw":"[Schekotihin et al., 2018a] Konstantin Schekotihin, Patrick Rodler, and Wolfgang Schmid. Ontodebug: Interactive ontology debug- ging plug-in for Protégé. In FoIKS, 2018.","title":"Ontodebug: Interactive ontology debugging plug-in for Protégé","authors":"Schekotihin","year":"2018","venue":"FoIKS","doi":null,"url":null,"internal_url":null},{"position":49,"raw":"[Schekotihin et al., 2018b] Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, and Tania Tudorache. Test-Driven Ontology Development in Protégé. In ICBO, 2018.","title":"Test-Driven Ontology Development in Protégé","authors":"Schekotihin","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":50,"raw":"[Shchekotykhin et al., 2012] Kostyantyn Shchekotykhin, Gerhard Friedrich, Philipp Fleiss, and Patrick Rodler. Interactive Ontol- ogy Debugging: Two Query Strategies for Efficient Fault Local- ization. Web Semantics: Science, Services and Agents on the World Wide Web, 12-13:88-103, 2012.","title":"Interactive Ontology Debugging: Two Query Strategies for Efficient Fault Localization","authors":"Shchekotykhin","year":"2012","venue":"Web Semantics: Science, Services and Agents on the World Wide Web","doi":null,"url":null,"internal_url":null},{"position":51,"raw":"[Shchekotykhin et al., 2014] Kostyantyn Shchekotykhin, Gerhard Friedrich, Patrick Rodler, and Philipp Fleiss. Sequential diag- nosis of high cardinality faults in knowledge-bases by direct di- agnosis generation. In ECAI, 2014.","title":"Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation","authors":"Shchekotykhin","year":"2014","venue":"Kostyantyn Shchekotykhin","doi":null,"url":null,"internal_url":null},{"position":52,"raw":"[Siddiqi and Huang, 2011] Sajjad Siddiqi and Jinbo Huang. Se- quential diagnosis by abstraction. Journal of Artificial Intelli- gence Research, 41:329-365, 2011.","title":"Sequential diagnosis by abstraction","authors":"Sajjad Siddiqi, Jinbo Huang","year":"2011","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":53,"raw":"[Sirin et al., 2007] Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2):51-53, 2007.","title":"Pellet: A practical OWL-DL reasoner","authors":"Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz","year":"2007","venue":"Web Semantics: Science, Services and Agents on the World Wide Web","doi":null,"url":null,"internal_url":null},{"position":54,"raw":"[Slaney, 2014] John Slaney. Set-theoretic duality: A fundamental feature of combinatorial optimisation. In ECAI, 2014.","title":"Set-theoretic duality: A fundamental feature of combinatorial optimisation","authors":"John Slaney","year":"2014","venue":"ECAI","doi":null,"url":null,"internal_url":null},{"position":55,"raw":"[Stuckenschmidt, 2008] John Slaney. Debugging OWL Ontologies- A Reality Check. In EON, 2008.","title":"Debugging OWL Ontologies-A Reality Check","authors":"John Slaney","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":56,"raw":"[Torasso and Torta, 2006] Pietro Torasso and Gianluca Torta. Model-based diagnosis through OBDD compilation: A complex- ity analysis. In Reasoning, Action and Interaction in AI Theories and Systems, 2006.","title":"Pietro Torasso and Gianluca Torta. Model-based diagnosis through OBDD compilation: A complexity analysis","authors":"Torta Torasso","year":"2006","venue":"Reasoning, Action and Interaction in AI Theories and Systems","doi":null,"url":null,"internal_url":null},{"position":57,"raw":"[Zaman et al., 2013] Safdar Zaman, Gerald Steinbauer, Johannes Maurer, Peter Lepej, and Suzana Uran. An integrated model- based diagnosis and repair architecture for ROS-based robot sys- tems. In ICRA, 2013.","title":"An integrated modelbased diagnosis and repair architecture for ROS-based robot systems","authors":"Safdar Zaman, Gerald Steinbauer, Johannes Maurer, Peter Lepej, Suzana Uran","year":"2013","venue":"ICRA","doi":null,"url":null,"internal_url":null},{"position":58,"raw":"[Zhao and Ouyang, 2015] Xiangfu Zhao and Dantong Ouyang. De- riving all minimal hitting sets based on join relation. IEEE Trans- actions on Systems, Man, and Cybernetics: Systems, 45(7):1063- 1076, 2015.","title":"Deriving all minimal hitting sets based on join relation","authors":"Ouyang Zhao, Xiangfu Zhao, Dantong Ouyang","year":"2015","venue":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}