{"type":"ScholarlyArticle","title":"Relative Inconsistency Measures for Indefinite Databases with Denial Constraints","authors":[{"name":"Francesco Parisi","slug":"francesco-parisi","given":"Francesco","family":"Parisi","affiliation":"Department of Informatics, Modeling, Electronics and System Engineering University of Calabria , Italy"},{"name":"John Grant","slug":"john-grant","given":"John","family":"Grant","affiliation":"Department of Computer Science and UMIACS University of Maryland , College Park , MD , USA"}],"abstract":"Handling conflicting information is an important challenge in AI. Measuring inconsistency is an approach that provides ways to quantify the severity of inconsistency and helps understanding the primary sources of conflicts. In particular, a relative inconsistency measure computes, by some criteria, the proportion of the knowledge base that is inconsistent. In this paper we investigate relative inconsistency measures for indefinite  databases, which allow for indefinite or partial information which is formally expressed by means of disjunctive tuples. We introduce a postulate-based definition of relative inconsistency measure for indefinite databases with denial constraints, and investigate the compliance of some relative inconsistency measures with rationality postulates for indefinite databases as well as for the special case of definite databases. Finally, we investigate the complexity of the problem of computing the value of the proposed relative inconsistency measures as well as of the problems of deciding whether the inconsistency value is lower than, greater than, or equal to a given threshold for indefinite and definite databases.","doi":"10.24963/ijcai.2023/370","url":"https://ijcai.org/proceedings/2023/370","pdf":"https://ijcai.org/proceedings/2023/0370.pdf","markdown":"https://ijcai.org/proceedings/2023/370.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/370","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":"Knowledge Representation and Reasoning","track":"Main Track","number":370,"pages":{"first":3321,"last":3329},"keywords":["Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning","Knowledge Representation and Reasoning: KRR: Knowledge representation languages"],"videos":[],"references":[{"position":1,"raw":"[Alviano et al., 2010] M. Alviano, W. Faber, N. Leone, S. Perri, G. Pfeifer, and G. Terracina. The disjunctive dat- alog system DLV. In Proc. of International Workshop on Datalog, pages 282-301, 2010.","title":"The disjunctive datalog system DLV","authors":"M Alviano, W Faber, N Leone, S Perri, G Pfeifer, G Terracina","year":"2010","venue":"Proc. of International Workshop on Datalog","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Beeri and Vardi, 1984] C. Beeri and M. Y. Vardi. A proof procedure for data dependencies. J. ACM, 31(4):718-741, 1984.","title":"A proof procedure for data dependencies","authors":"C Beeri, M Y Vardi","year":"1984","venue":"J. ACM","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Benjelloun et al., 2008] O. Benjelloun, A. Das Sarma, A. Y. Halevy, M. Theobald, and J. Widom. Databases with un- certainty and lineage. VLDB J., 17(2):243-264, 2008.","title":"Databases with uncertainty and lineage","authors":"O Benjelloun, A Das Sarma, A Y Halevy, M Theobald, J Widom","year":"2008","venue":"VLDB J","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bertossi, 2018] L. E. Bertossi. Measuring and computing database inconsistency via repairs. In Proc. of Interna- tional Conference on Scalable Uncertainty Management (SUM), pages 368-372, 2018.","title":"Measuring and computing database inconsistency via repairs","authors":"L E Bertossi","year":"2018","venue":"Proc. of International Conference on Scalable Uncertainty Management (SUM)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bertossi, 2019] L. E. Bertossi. Repair-based degrees of database inconsistency. In Proc. of Logic Programming and Nonmonotonic Reasoning (LPNMR), pages 195-209, 2019.","title":"Repair-based degrees of database inconsistency","authors":"L E Bertossi","year":"2019","venue":"Proc. of Logic Programming and Nonmonotonic Reasoning (LPNMR)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Besnard and Grant, 2020] P. Besnard and J. Grant. Relative inconsistency measures. Artif. Intell., 280:103231, 2020.","title":"Relative inconsistency measures","authors":"P Besnard, J Grant","year":"2020","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Besnard, 2014] P. Besnard. Revisiting postulates for in- consistency measures. In Proc. of European Conference Logics in Artificial Intelligence (JELIA), pages 383-396, 2014.","title":"Revisiting postulates for inconsistency measures","authors":"P Besnard","year":"2014","venue":"Proc. of European Conference Logics in Artificial Intelligence (JELIA)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Bona et al., 2019] G. De Bona, J. Grant, A. Hunter, and S. Konieczny. Classifying inconsistency measures using graphs. J. Artif. Intell. Res., 66:937-987, 2019.","title":"Classifying inconsistency measures using graphs","authors":"G De Bona, J Grant, A Hunter, S Konieczny","year":"2019","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Costa and Martins, 2018] D. Costa and M. A. Martins. In- consistency measures in hybrid logics. In J. Grant and M. V. Martinez, editors, Measuring Inconsistency in Infor- mation, pages 169-194. College Publications, 2018.","title":"Inconsistency measures in hybrid logics","authors":"D Costa, M A Martins","year":"2018","venue":"Measuring Inconsistency in Information","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Decker and Martinenghi, 2008] H. Decker and D. Marti- nenghi. Classifying integrity checking methods with re- gard to inconsistency tolerance. In Proc. of International Conference on Principles and Practice of Declarative Pro- gramming (PPDP), pages 195-204, 2008.","title":"Classifying integrity checking methods with regard to inconsistency tolerance","authors":"H Decker, D Martinenghi","year":"2008","venue":"Proc. of International Conference on Principles and Practice of Declarative Programming (PPDP)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Decker and Martinenghi, 2011] H. Decker and D. Marti- nenghi. Inconsistency-tolerant integrity checking. IEEE Trans. Knowl. Data Eng., 23(2):218-234, 2011.","title":"Inconsistency-tolerant integrity checking","authors":"H Decker, D Martinenghi","year":"2011","venue":"IEEE Trans. Knowl. Data Eng","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Decker and Misra, 2017] H. Decker and S. Misra. Database inconsistency measures and their applications. In Proc. of International Conference on Information and Software Technologies (ICIST), pages 254-265, 2017.","title":"Database inconsistency measures and their applications","authors":"H Decker, S Misra","year":"2017","venue":"Proc. of International Conference on Information and Software Technologies (ICIST)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Decker, 2017] H. Decker. Inconsistency-tolerant database repairs and simplified repair checking by measure-based integrity checking. T. Large-Scale Data-and Knowledge- Centered Systems, 34:153-183, 2017.","title":"Inconsistency-tolerant database repairs and simplified repair checking by measure-based integrity checking","authors":"H Decker","year":"2017","venue":"T. Large-Scale Data-and Knowledge-Centered Systems","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Decker, 2018] H. Decker. Measuring database inconsis- tency. In J. Grant and M. V. Martinez, editors, Measur- ing Inconsistency in Information, pages 271-311. College Publications, 2018.","title":"Measuring database inconsistency","authors":"H Decker","year":"2018","venue":"Measuring Inconsistency in Information","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Fan et al., 2019] L. Fan, M. D. Flood, and J. Grant. Mea- suring inconsistency in bank holding company data. In Proc. of SIGMOD Workshop on Data Science for Macro-modeling with Financial and Economic Datasets (DSMM), pages 5:1-5:5, 2019.","title":"Measuring inconsistency in bank holding company data","authors":"L Fan, M D Flood, J Grant","year":"2019","venue":"Proc. of SIGMOD Workshop on Data Science for Macro-modeling with Financial and Economic Datasets (DSMM)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Grant and Hunter, 2011] J. Grant and A. Hunter. Measur- ing consistency gain and information loss in stepwise in- consistency resolution. In Proc. of European Conference Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pages 362-373, 2011.","title":"Measuring consistency gain and information loss in stepwise inconsistency resolution","authors":"J Grant, A Hunter","year":"2011","venue":"Proc. of European Conference Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Grant and Hunter, 2013] J. Grant and A. Hunter. Distance- based measures of inconsistency. In Proc. of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pages 230-241, 2013.","title":"Distancebased measures of inconsistency","authors":"J Grant, A Hunter","year":"2013","venue":"Proc. of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Grant and Martinez, 2018] J. Grant and M. V. Martinez. Measuring Inconsistency in Information. College Publi- cations, 2018.","title":"Measuring Inconsistency in Information","authors":"J Grant, M V Martinez","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Grant and Minker, 1985] J. Grant and J. Minker. Inferences for numerical dependencies. Theoretical Computer Sci- ence, 41:271-287, 1985.","title":"Inferences for numerical dependencies","authors":"J Grant, J Minker","year":"1985","venue":"Theoretical Computer Science","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Grant and Minker, 1986] J. Grant and J. Minker. Answering queries in indefinite databases and the null value problem. Adv. Comput. Res., 3:247-267, 1986.","title":"Answering queries in indefinite databases and the null value problem","authors":"J Grant, J Minker","year":"1986","venue":"Adv. Comput. Res","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Grant and Parisi, 2020] J. Grant and F. Parisi. Measuring inconsistency in a general information space. In Proc. of International Symposium on Foundations of Information and Knowledge Systems (FoIKS), pages 140-156, 2020.","title":"Measuring inconsistency in a general information space","authors":"J Grant, F Parisi","year":"2020","venue":"Proc. of International Symposium on Foundations of Information and Knowledge Systems (FoIKS)","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Grant and Parisi, 2022] John Grant and Francesco Parisi. General information spaces: measuring inconsistency, ra- tionality postulates, and complexity. Ann. Math. Artif. In- tell., 90(2-3):235-269, 2022.","title":"General information spaces: measuring inconsistency, rationality postulates, and complexity","authors":"Parisi Grant, John Grant, Francesco Parisi","year":"2022","venue":"Ann. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Grant et al., 2021] J. Grant, M. V. Martinez, C. Molinaro, and F. Parisi. Dimensional inconsistency measures and postulates in spatio-temporal databases. J. Artif. Intell. Res., 71:733-780, 2021.","title":"Dimensional inconsistency measures and postulates in spatio-temporal databases","authors":"J Grant, M V Martinez, C Molinaro, F Parisi","year":"2021","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Grant, 1978] J. Grant. Classifications for inconsistent theo- ries. Notre Dame Journal of Formal Logic, XIX(3):435- 444, 1978.","title":"Classifications for inconsistent theories","authors":"J Grant","year":"1978","venue":"Notre Dame Journal of Formal Logic","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Hausken and Mohr, 2001] K. Hausken and M. Mohr. The value of a player in n-person games. Soc. Choice Welf., 18(3):465-483, 2001.","title":"The value of a player in n-person games","authors":"K Hausken, M Mohr","year":"2001","venue":"Soc. Choice Welf","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Hemaspaandra and Vollmer, 1995] L. A. Hemaspaandra and H. Vollmer. The satanic notations: counting classes beyond #P and other definitional adventures. SIGACT News, 26(1):2-13, 1995.","title":"The satanic notations: counting classes beyond #P and other definitional adventures","authors":"L A Hemaspaandra, H Vollmer","year":"1995","venue":"SIGACT News","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Hunter and Konieczny, 2008] A. Hunter and S. Konieczny. Measuring inconsistency through minimal inconsistent sets. In Proc. of International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 358-366, 2008.","title":"Measuring inconsistency through minimal inconsistent sets","authors":"A Hunter, S Konieczny","year":"2008","venue":"Proc. of International Conference on Principles of Knowledge Representation and Reasoning (KR)","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Imielinski et al., 1995] T. Imielinski, R. van der Meyden, and K. V. Vadaparty. Complexity tailored design: A new design methodology for databases with incomplete infor- mation. J. Comput. Syst. Sci., 51(3):405-432, 1995.","title":"Complexity tailored design: A new design methodology for databases with incomplete information","authors":"T Imielinski, R Van Der Meyden, K V Vadaparty","year":"1995","venue":"J. Comput. Syst. Sci","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Issa et al., 2020] O. Issa, A. Bonifati, and F. Toumani. Eval- uating top-k queries with inconsistency degrees. Proc. VLDB Endow., 13(11):2146-2158, 2020.","title":"Evaluating top-k queries with inconsistency degrees","authors":"O Issa, A Bonifati, F Toumani","year":"2020","venue":"Proc. VLDB Endow","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Issa et al., 2021] O. Issa, A. Bonifati, and F. Toumani. INCA: inconsistency-aware data profiling and querying. In Proc. of International Conference on Management of Data (SIGMOD), pages 2745-2749, 2021.","title":"INCA: inconsistency-aware data profiling and querying","authors":"O Issa, A Bonifati, F Toumani","year":"2021","venue":"Proc. of International Conference on Management of Data (SIGMOD)","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Jain et al., 2020] A. Jain, H. Patel, L. Nagalapatti, N. Gupta, S. Mehta, S. C. Guttula, S. Mujumdar, S. Afzal, R. S. Mit- tal, and V. Munigala. Overview and importance of data quality for machine learning tasks. In KDD, pages 3561- 3562. ACM, 2020.","title":"Overview and importance of data quality for machine learning tasks","authors":"A Jain, H Patel, L Nagalapatti, N Gupta, S Mehta, S C Guttula, S Mujumdar, S Afzal, R S Mittal, V Munigala","year":"2020","venue":"KDD","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Levy, 1999] A. Y. Levy. Combibining artificial intelligence and databases for data integration. In Artificial Intelligence Today: Recent Trends and Developments, pages 249-268. Springer, 1999.","title":"Combibining artificial intelligence and databases for data integration","authors":"A Y Levy","year":"1999","venue":"Artificial Intelligence Today: Recent Trends and Developments","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Liu and Sunderraman, 1990] K. C. Liu and R. Sunderra- man. Indefinite and maybe information in relational databases. ACM Trans. Database Syst., 15(1):1-39, 1990.","title":"Indefinite and maybe information in relational databases","authors":"K C Liu, R Sunderraman","year":"1990","venue":"ACM Trans. Database Syst","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Livshits and Kimelfeld, 2021] E. Livshits and B. Kimelfeld. The shapley value of inconsistency measures for func- tional dependencies. In Proc. of International Conference on Database Theory (ICDT), volume 186, pages 15:1- 15:19, 2021.","title":"The shapley value of inconsistency measures for functional dependencies","authors":"E Livshits, B Kimelfeld","year":"2021","venue":"Proc. of International Conference on Database Theory (ICDT)","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Livshits et al., 2020] E. Livshits, B. Kimelfeld, and S. Roy. Computing optimal repairs for functional dependencies. ACM Trans. Database Syst., 45(1):4:1-4:46, 2020.","title":"Computing optimal repairs for functional dependencies","authors":"E Livshits, B Kimelfeld, S Roy","year":"2020","venue":"ACM Trans. Database Syst","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Livshits et al., 2021] E. Livshits, R. Kochirgan, S. Tsur, I. F. Ilyas, B. Kimelfeld, and S. Roy. Properties of inconsis- tency measures for databases. In Proc. of International Conference on Management of Data (SIGMOD), pages 1182-1194, 2021.","title":"Properties of inconsistency measures for databases","authors":"E Livshits, R Kochirgan, S Tsur, I F Ilyas, B Kimelfeld, S Roy","year":"2021","venue":"Proc. of International Conference on Management of Data (SIGMOD)","doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Martinez et al., 2007] M. V. Martinez, A. Pugliese, G. I. Simari, V. S. Subrahmanian, and H. Prade. How dirty is your relational database? an axiomatic approach. In Proc. of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pages 103-114, 2007.","title":"How dirty is your relational database? an axiomatic approach","authors":"M V Martinez, A Pugliese, G I Simari, V S Subrahmanian, H Prade","year":"2007","venue":"Proc. of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)","doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Minker and Seipel, 2002] J. Minker and D. Seipel. Disjunc- tive logic programming: A survey and assessment. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, pages 472-511, 2002.","title":"Disjunctive logic programming: A survey and assessment","authors":"J Minker, D Seipel","year":"2002","venue":"Computational Logic: Logic Programming and Beyond","doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[Minker, 1982] J. Minker. On indefinite databases and the closed world assumption. In Proc. of the 6th Conference on Automated Deduction, pages 292-308, 1982.","title":"On indefinite databases and the closed world assumption","authors":"J Minker","year":"1982","venue":"Proc. of the 6th Conference on Automated Deduction","doi":null,"url":null,"internal_url":null},{"position":40,"raw":"[Molinaro et al., 2009] C. Molinaro, J. Chomicki, and J. Marcinkowski. Disjunctive databases for representing repairs. Ann. Math. Artif. Intell., 57(2):103-124, 2009.","title":"Disjunctive databases for representing repairs","authors":"C Molinaro, J Chomicki, J Marcinkowski","year":"2009","venue":"Ann. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":41,"raw":"[Mu et al., 2005] K. Mu, Z. Jin, R. Lu, and W.u Liu. Measur- ing inconsistency in requirements specifications. In Proc. of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pages 440-451, 2005.","title":"Measuring inconsistency in requirements specifications","authors":"K Mu, Z Jin, R Lu, W Liu","year":"2005","venue":"Proc. of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)","doi":null,"url":null,"internal_url":null},{"position":42,"raw":"[Mu, 2018] K. Mu. Measuring inconsistency with con- straints for propositional knowledge bases. Artif. Intell., 259:52-90, 2018.","title":"Measuring inconsistency with constraints for propositional knowledge bases","authors":"K Mu","year":"2018","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":43,"raw":"[Papadimitriou, 1994] C. H. Papadimitriou. Computational complexity. Addison-Wesley, Reading, Massachusetts, 1994.","title":"Computational complexity","authors":"C H Papadimitriou","year":"1994","venue":null,"doi":null,"url":null,"internal_url":null},{"position":44,"raw":"[Parisi and Grant, 2020] F. Parisi and J. Grant. On measur- ing inconsistency in relational databases with denial con- straints. In Proc. of European Conference on Artificial In- telligence (ECAI), pages 857-864, 2020.","title":"On measuring inconsistency in relational databases with denial constraints","authors":"F Parisi, J Grant","year":"2020","venue":"Proc. of European Conference on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":45,"raw":"[Parisi and Grant, 2023] Francesco Parisi and John Grant. On measuring inconsistency in definite and indefi- nite databases with denial constraints. Artif. Intell., 318:103884, 2023.","title":"On measuring inconsistency in definite and indefinite databases with denial constraints","authors":"Francesco Parisi, John Grant","year":"2023","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":46,"raw":"[Priest, 1979] G. Priest. Logic of paradox. Journal of Philo- sophical Logic, 8:219-241, 1979.","title":"Logic of paradox","authors":"G Priest","year":"1979","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":47,"raw":"[Sarker, 2021] I. H. Sarker. Data science and analytics: An overview from data-driven smart computing, decision- making and applications perspective. SN Comput. Sci., 2(5):377, 2021.","title":"Data science and analytics: An overview from data-driven smart computing, decisionmaking and applications perspective","authors":"I H Sarker","year":"2021","venue":"SN Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":48,"raw":"[Thimm and Wallner, 2019] M. Thimm and J. P. Wallner. On the complexity of inconsistency measurement. Artif. In- tell., 275:411-456, 2019.","title":"On the complexity of inconsistency measurement","authors":"M Thimm, J P Wallner","year":"2019","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":49,"raw":"[Thimm, 2016] M. Thimm. On the expressivity of inconsis- tency measures. Artif. Intell., 234:120-151, 2016.","title":"On the expressivity of inconsistency measures","authors":"M Thimm","year":"2016","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":50,"raw":"[Thimm, 2018] M. Thimm. On the evaluation of inconsis- tency measures. In J. Grant and M. V. Martinez, edi- tors, Measuring Inconsistency in Information, pages 19- 60. College Publications, 2018.","title":"On the evaluation of inconsistency measures","authors":"M Thimm","year":"2018","venue":"editors, Measuring Inconsistency in Information","doi":null,"url":null,"internal_url":null},{"position":51,"raw":"[Ulbricht et al., 2020] M. Ulbricht, M. Thimm, and G. Brewka. Handling and measuring inconsistency in non-monotonic logics. Artif. Intell., 286:103344, 2020.","title":"Handling and measuring inconsistency in non-monotonic logics","authors":"M Ulbricht, M Thimm, G Brewka","year":"2020","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":52,"raw":"[Valiant, 1979] L. G. Valiant. The complexity of computing the permanent. Theor. Comput. Sci., 8:189-201, 1979.","title":"The complexity of computing the permanent","authors":"L G Valiant","year":"1979","venue":"Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":53,"raw":"[Wagner, 1986] K. W. Wagner. The complexity of combina- torial problems with succinct input representation. Acta Inf., 23(3):325-356, 1986.","title":"The complexity of combinatorial problems with succinct input representation","authors":"K W Wagner","year":"1986","venue":"Acta Inf","doi":null,"url":null,"internal_url":null},{"position":54,"raw":"[Xiao and Ma, 2012] G. Xiao and Y. Ma. Inconsistency mea- surement based on variables in minimal unsatisfiable sub- sets. In Proc. of European Conference on Artificial Intelli- gence (ECAI), pages 864-869, 2012.","title":"Inconsistency measurement based on variables in minimal unsatisfiable subsets","authors":"G Xiao, Y Ma","year":"2012","venue":"Proc. of European Conference on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":55,"raw":"[Zhang et al., 2017] X. Zhang, K. Wang, Z. Wang, Y. Ma, G. Qi, and Z. Feng. A distance-based framework for inconsistency-tolerant reasoning and inconsistency mea- surement in DL-Lite. Int. J. Approx. Reasoning, 89:58-79, 2017.","title":"A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite","authors":"Zhang","year":"2017","venue":"Int. J. Approx. Reasoning","doi":null,"url":null,"internal_url":null},{"position":56,"raw":"[Zhou et al., 2009] L. Zhou, H. Huang, G. Qi, Y. Ma, Z. Huang, and Y. Qu. Measuring inconsistency in DL-Lite ontologies. In Proc. of International Conference on Web Intelligence (WI), pages 349-356, 2009.","title":"Measuring inconsistency in DL-Lite ontologies","authors":"L Zhou, H Huang, G Qi, Y Ma, Z Huang, Y Qu","year":"2009","venue":"Proc. of International Conference on Web Intelligence (WI)","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}