{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T07:10:03Z","timestamp":1743232203135,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_14","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"195-210","source":"Crossref","is-referenced-by-count":0,"title":["Privacy Preservation Using Multi-context Systems and Default Logic"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Dix","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Faber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-15675-5_30","volume-title":"Logics in Artificial Intelligence","author":"S.E. Bairakdar","year":"2010","unstructured":"Bairakdar, S.E., Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 352\u2013355. Springer, Heidelberg (2010)"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C. Baral","year":"1993","unstructured":"Baral, C., Subrahmanian, V.: Dualities Between Alternative Semantics for Logic Programming and Non-Monotonic Reasoning. Journal of Automated Reasoning\u00a010(3), 399\u2013420 (1993)","journal-title":"Journal of Automated Reasoning"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Benton, J., Subrahmanian, V.: Hybrid Knowledge Bases for Missile Siting Applications. In: IEEE Conference on AI Applications, pp. 141\u2013148 (1993)","DOI":"10.1109\/CAIA.1994.323681"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-642-15675-5_31","volume-title":"Logics in Artificial Intelligence","author":"M. B\u00f6gl","year":"2010","unstructured":"B\u00f6gl, M., Eiter, T., Fink, M., Sch\u00fcller, P.: The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 356\u2013359. Springer, Heidelberg (2010)"},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1109\/69.390247","volume":"7","author":"P.A. Bonatti","year":"1995","unstructured":"Bonatti, P.A., Kraus, S., Subrahmanian, V.: Foundations of secure deductive databases. IEEE Transactions on Knowledge and Data Engineering\u00a07(3), 406\u2013422 (1995)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"14_CR6","series-title":"CSLI Lecture Notes","volume-title":"Nonmonotonic Reasoning: An Overview","author":"G. Brewka","year":"1997","unstructured":"Brewka, G., Dix, J., Konolige, K.: Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes, vol.\u00a073. CSLI Publications, Stanford (1997)"},{"key":"14_CR7","unstructured":"Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007), pp. 385\u2013390. AAAI Press (2007)"},{"issue":"3","key":"14_CR8","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/69.599933","volume":"9","author":"M. Cadoli","year":"1997","unstructured":"Cadoli, M., Eiter, T., Gottlob, G.: Default Logic as a Query Language. IEEE Transactions on Knowledge and Data Engineering\u00a09(3), 448\u2013463 (1997)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"14_CR9","unstructured":"Dix, J.: Default Theories of Poole-Type and a Method for Constructing Cumulative Versions of Default Logic. In: Neumann, B. (ed.) Proc. of 10th European Conf.\u00a0on Artificial Intelligence ECAI 1992, pp. 289\u2013293. John Wiley & Sons (1992)"},{"key":"14_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/11591191_44","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"J. Dix","year":"2005","unstructured":"Dix, J., Faber, W., Subrahmanian, V.: The Relationship between Reasoning about Privacy and Default Logics. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 637\u2013650. Springer, Heidelberg (2005)"},{"key":"14_CR11","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P., Weinzierl, A.: Finding Explanations of Inconsistency in Multi-Context Systems. In: Lin, F., Sattler, U., Truszczy\u0144ski, M. (eds.) Proceedings of the Twelfth International Conference on Knowledge Representation and Reasoning (KR 2010), AAAI Press (2010)"},{"key":"14_CR12","unstructured":"Faber, W.: Privacy Preservation Using Multi-Context Systems. In: Mileo, A., Fink, M. (eds.) Proceedings of the 2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications, May 2011, pp. 45\u201351 (2011)"},{"key":"14_CR13","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: A New Perspective on Stable Models. In: Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 372\u2013379 (January 2007)"},{"issue":"3","key":"14_CR14","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"Gottlob, G.: Complexity Results for Nonmonotonic Logics. Journal of Logic and Computation\u00a02(3), 397\u2013425 (1992)","journal-title":"Journal of Logic and Computation"},{"issue":"1-3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0168-0072(98)00057-8","volume":"97","author":"G. Gottlob","year":"1999","unstructured":"Gottlob, G., Leone, N., Veith, H.: Succinctness as a Source of Expression Complexity. Annals of Pure and Applied Logic\u00a097(1-3), 231\u2013260 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0004-3702(91)90011-8","volume":"49","author":"H. Kautz","year":"1991","unstructured":"Kautz, H., Selman, B.: Hard Problems for Simple Default Logics. Artificial Intelligence\u00a049, 243\u2013279 (1991)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"14_CR17","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/69.542029","volume":"8","author":"J. Lu","year":"1996","unstructured":"Lu, J., Nerode, A., Subrahmanian, V.: Hybrid Knowedge Bases. IEEE Transactions on Knowledge and Data Engineering\u00a08(3), 773\u2013785 (1996)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"14_CR18","volume-title":"Nonmonotonic Logics; Context-Dependent Reasoning","author":"W. Marek","year":"1993","unstructured":"Marek, W., Truszczy\u0144ski, M.: Nonmonotonic Logics; Context-Dependent Reasoning, 1st edn. Springer, Berlin (1993)","edition":"1"},{"issue":"1-2","key":"14_CR19","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"14_CR20","unstructured":"Stillman, J.: It\u2019s Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logic. In: Proceedings AAAI 1990, pp. 571\u2013579 (1990)"},{"key":"14_CR21","unstructured":"Stillman, J.: The Complexity of Propositional Default Logic. In: Proceedings AAAI 1992, pp. 794\u2013799 (1992)"},{"issue":"2","key":"14_CR22","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V. Subrahmanian","year":"1994","unstructured":"Subrahmanian, V.: Amalgamating Knowedge Bases. ACM Transactions on Database Systems\u00a019(2), 291\u2013331 (1994)","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"14_CR23","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/195664.195675","volume":"19","author":"M. Winslett","year":"1994","unstructured":"Winslett, M., Smith, K., Qian, X.: Formal query languages for secure relational databases. ACM Transactions on Database Systems\u00a019(4), 626\u2013662 (1994)","journal-title":"ACM Transactions on Database Systems"},{"issue":"8","key":"14_CR24","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1016\/j.datak.2010.02.009","volume":"69","author":"L. Zhao","year":"2010","unstructured":"Zhao, L., Qian, J., Chang, L., Cai, G.: Using ASP for knowledge management with user authorization. Data & Knowledge Engineering\u00a069(8), 737\u2013762 (2010)","journal-title":"Data & Knowledge Engineering"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T06:43:23Z","timestamp":1743230603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}