{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T10:39:40Z","timestamp":1756809580501},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664086"},{"type":"electronic","value":"9783540483403"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48340-3_27","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T13:04:52Z","timestamp":1184591092000},"page":"299-309","source":"Crossref","is-referenced-by-count":3,"title":["An Algebraic Approach to Knowledge Representation"],"prefix":"10.1007","author":[{"given":"J\u0101nis","family":"C\u012brulis","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","first-page":"512","volume":"50","author":"C.E. Alchaurr\u00f3n","year":"1985","unstructured":"Alchaurr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Logic 50 (1985) 512\u2013530","journal-title":"J. Symb. Logic"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Amadio, R.M., Curien, P.-L.: Domains and lambda calculi. Cambridge University Press 1998","DOI":"10.1017\/CBO9780511983504"},{"key":"27_CR3","unstructured":"Birkhoff, G.: Lattice theory. Providence, Rhode Island 1967"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0304-3975(91)90266-5","volume":"91","author":"P. Buneman","year":"1991","unstructured":"Buneman, P., Jung, A., Ohori, A.: Using powerdomains to generalize relational databases. Theoret. Comput. Sci. 91 (1991) 23\u201355","journal-title":"Theoret. Comput. Sci."},{"key":"27_CR5","volume-title":"A Model Theoretic Approach to Partial Algebras","author":"P. Burmeister","year":"1986","unstructured":"Burmeister, P.: A Model Theoretic Approach to Partial Algebras. Akademie-Verlag, Berlin 1986"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1017\/S0960129500000049","volume":"1","author":"L. Cardeli","year":"1991","unstructured":"Cardeli, L., Mitchell, J.C.: Operations on records. Math. Structures in Computer Sci. 1 (1991) 3\u201348","journal-title":"Math. Structures in Computer Sci."},{"key":"27_CR7","unstructured":"C\u012brulis, J.: Dynamic logic out of database updating. 10-th Int. Congr. Logic, Methodol. and Philos. Sci (Florence, 1995). Abstracts 197"},{"key":"27_CR8","first-page":"228","volume":"52","author":"J. C\u012brulis","year":"1998","unstructured":"C\u012brulis, J.: Subtractive nearlattices. Proc. Latvian Acad. Sci., Sect. B 52 (1998) 228\u2013233","journal-title":"Proc. Latvian Acad. Sci., Sect. B"},{"key":"27_CR9","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press 1990"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P. (ed.): Belief revision. Cambridge University Press 1992","DOI":"10.1017\/CBO9780511526664"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P.: Belief revision: an introduction. In [10], 1\u201328","DOI":"10.1017\/CBO9780511526664.001"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory. Birkh\u00e4user Verl., 1978","DOI":"10.1007\/978-3-0348-7633-9"},{"key":"27_CR13","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3-540-54009-1_3","volume":"495","author":"L. Libkin","year":"1991","unstructured":"Libkin, L.: A relational algebra for complex objects based on partial information. MFDBS\u201991, Lect. Notes Comput. Sci. 495 (1991) 29\u201343","journal-title":"Lect. Notes Comput. Sci."},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: Prepositional knowledge base revision and minimal change. Artificial Intelligence 52 (1991) 263\u2013294","journal-title":"Artificial Intelligence"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In [10], 183\u2013203","DOI":"10.1017\/CBO9780511526664.007"},{"key":"27_CR16","unstructured":"N\u00e9meti, I., Andr\u00e9ka, H.: General Algebraic Logic: A Perspective on \u2018What is Logic\u2019. In: Gabbay D.M. (ed.), What Is a Logical System? Oxford Univ. Press 1994, 393\u2013443"},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0304-3975(90)90012-7","volume":"76","author":"A. Ohori","year":"1990","unstructured":"Ohori, A.: Semantics of types for database objects. Theoret. Comput. Sci. 76 (1990) 53\u201391","journal-title":"Theoret. Comput. Sci."},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/BF00370685","volume":"51","author":"W. Pratt","year":"1991","unstructured":"Pratt, W.: Dynamic Algebras: Examples, Constructions, Applications. Studia Logica 51 (1991) 571\u2013605","journal-title":"Studia Logica"},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/logcom\/5.1.27","volume":"5","author":"P. Spruit","year":"1995","unstructured":"Spruit, P., Wieringa, R., Meyer, J.-J.: Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases. J. Logic Computat. 5 (1995) 27\u201370","journal-title":"J. Logic Computat."},{"key":"27_CR20","unstructured":"Tsirulis, Ya. P.: Formal logic system for describing databases (in Russian). TV All-Union Conf. Appl. Math. Logic (Tallin, 1986), Sect. Logic of Interactive Processes. Abstracts 74\u201377"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48340-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:55:29Z","timestamp":1556668529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48340-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664086","9783540483403"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48340-3_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}