{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:44:05Z","timestamp":1725551045334},"publisher-location":"Berlin, Heidelberg","reference-count":64,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644132"},{"type":"electronic","value":"9783540697800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64413-x_26","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T19:22:41Z","timestamp":1270495361000},"page":"9-44","source":"Crossref","is-referenced-by-count":0,"title":["Some approaches to reasoning with incomplete and changing information"],"prefix":"10.1007","author":[{"given":"Grigoris","family":"Antoniou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mary-Anne","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"C. Alchourr\u00f3n, P. G\u00e4xdenfors and D. Makinson. On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision, Journal of Symbolic Logic, 50 (1985): 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"J. Alferes and L.M. Pereira (1996). Reasoning with Logic Programming, LNAI 1111, Springer.","DOI":"10.1007\/3-540-61488-5"},{"key":"2_CR3","unstructured":"G. Antoniou and V. Sperschneider (1993). Computing Extensions of Nonmonotonic Logics. In Proc. 4th Scandinavian Conference on Artificial Intelligence, IOS Press."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF00851348","volume":"8","author":"G. Antoniou","year":"1994","unstructured":"G. Antoniou and V. Sperschneider (1994). Operational Concepts of Nonmonotonic Logics \u2014 Part 1: Default Logic. Artificial Intelligence Review 8: 3\u201316.","journal-title":"Artificial Intelligence Review"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"G. Antoniou (1997). Nonmonotonic Reasoning. The MIT Press.","DOI":"10.7551\/mitpress\/5040.001.0001"},{"key":"2_CR6","unstructured":"D.E. Appelt and K. Konolige (1988). A Nonmonotonic Logic for Reasoning about Speech Acts and Belief Revision. In Reinfrank et. al. (eds.), Nonmonotonic Reasoning, Proc. 2nd International Workshop, Springer LNAI 346."},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"K.R. Apt and M.H. van Emden (1982). Contributions to the theory of logic programming. Journal of the ACM 29: 841\u2013862.","journal-title":"Journal of the ACM"},{"issue":"20","key":"2_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"K.R. Apt","year":"1994","unstructured":"K.R. Apt and R.N. Bol (1994). Logic Programming and Negation: A Survey. Journal of Logic Programming 19,20: 9\u201371.","journal-title":"Journal of Logic Programming"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"P. Besnard (1989). An Introduction to Default Logic. Springer.","DOI":"10.1007\/978-3-662-05689-9"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0890-5401(91)90073-B","volume":"91","author":"N. Bidoit","year":"1991","unstructured":"N. Bidoit and C. Froidevaux (1991). General logic databases and programs: default logic semantics and stratification. Information and Computation 91: 85\u2013112.","journal-title":"Information and Computation"},{"key":"2_CR11","unstructured":"C. Boutilier. Revision Sequences and Nested Conditionals. In the Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, 519\u2013525, 1993."},{"key":"2_CR12","unstructured":"G. Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press."},{"key":"2_CR13","unstructured":"G. Brewka (1994). Reasoning about Priorities in Default Logic. In Proc. of the 12th National Conference on Artificial Intelligence (AAAI-94). AAAI\/MIT Press 1994,940\u2013945."},{"issue":"1994","key":"2_CR14","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(94)90106-6","volume":"70","author":"J.P. Delgrande","year":"1994","unstructured":"J.P. Delgrande, T. Schaub and W.K. Jackson (1994). Alternative approaches to default logic. Artificial Intelligence 70 (1994): 167\u2013237.","journal-title":"Artificial Intelligence"},{"key":"2_CR15","series-title":"Volume3, Nonmonotonic Reasoning and uncertain Reasoning","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Dubois","year":"1994","unstructured":"D. Dubois and H. Prade. Possibilistic Logic. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume3, Nonmonotonic Reasoning and uncertain Reasoning, Gabbay, D., Hogger, C., and Robinson, J. (eds), Claredon Press, Oxford, 1994."},{"issue":"1987","key":"2_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D. Etherington","year":"1987","unstructured":"D. Etherington (1987a). Formalizing Nonmonotonic Reasoning Systems. Artificial Intelligence 31 (1987): 41\u201385.","journal-title":"Artificial Intelligence"},{"key":"2_CR17","unstructured":"D. Etherington (1987b). Reasoning with Incomplete Information. Pitman 1987."},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A. Fuhrmann","year":"1991","unstructured":"A. Fuhrmann. Theory Contraction through Base Contraction. Journal of Philosophical Logic, 20 (1991): 175\u2013203.","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR19","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, The MIT Press, Cambridge Massachusetts, 1988."},{"key":"2_CR20","unstructured":"P. G\u00e4sdenfors and D. Makinson. Revisions of Knowledge Systems using Epistemic Entrenchment. In the Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, 83\u201396, 1988."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"P. G\u00e4rdenfors and H. Rott. Belief Revision.Handbook of Logic in Artificial Intelligence and Logic Programming Volume IV: Epistemic and Temporal Reasoning, Chapter 4.2, Gabbay, D., Hogger, C., and Robinson, J. (eds), Claredon Press, (in press).","DOI":"10.1017\/CBO9780511526664"},{"key":"2_CR22","unstructured":"M. Gelfond (1987). On Stratified Autoepistemic Theories. In Proc. American National Conference on Artificial Intelligence."},{"key":"2_CR23","unstructured":"M. Gelfond and V. Lifschitz (1988). The stable semantics for logic programs. In Proceedings of the 5th International Symposium on Logic Programming. MIT Press."},{"issue":"4","key":"2_CR24","doi-asserted-by":"crossref","first-page":"403","DOI":"10.3233\/FI-1990-13403","volume":"13","author":"M. Gelfond","year":"1989","unstructured":"M. Gelfond and H. Przymusinska (1989). Formalization of Inheritance Reasoning in Autoepistemic Logic. Fundamenta Informaticae 13(4): 403\u2013444.","journal-title":"Fundamenta Informaticae"},{"key":"2_CR25","unstructured":"M. Gelfond and V. Lifschitz (1990). Logic programs with classical negation. In Proceedings 7th International Conference on Logic Programming. MIT Press."},{"key":"2_CR26","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/FI-1992-16104","volume":"16","author":"M. Gelfond","year":"1992","unstructured":"M. Gelfond and H. Przymusinska (1992). On Consistency and Completeness of Autoepistemic Theories. Fundamenta Informaticae 16:59\u201392.","journal-title":"Fundamenta Informaticae"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"A. Grove. Two Modellings for Theory Change. Journal of Philosophical Logic, 17 (1988): 157\u2013170.","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1111\/j.1755-2567.1989.tb00725.x","volume":"55","author":"S.O. Hansson","year":"1989","unstructured":"S.O. Hansson. New Operators for Theory Change. Theoria, 55 (1989): 115\u2013132.","journal-title":"Theoria"},{"key":"2_CR29","volume-title":"Belief Revision","author":"H. Katsuno","year":"1992","unstructured":"H. Katsuno and A.O. Mendelzon. On the Difference between Updating a Knowledge Database and Revising it. In Belief Revision, G\u00e4rdenfors, P. (ed), Cambridge Press, Cambridge, 1992."},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"K. Konolige (1988a). On the relation between default and autoepistemic logic. Artificial Intelligence 35:343\u2013382; see also Errata, Artificial Intelligence 41:115, 1989.","journal-title":"Artificial Intelligence"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"K. Konolige (1988b). Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report. In Reinfrank et. al. (eds.), Nonmonotonic Reasoning, Proc. 2nd International Workshop, Springer LNAI 346.","DOI":"10.1007\/3-540-50701-9_19"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"K. Konolige (1991). Quantifying in Autoepistemic Logic. Fundamenta Informaticae 15(3\u20134).","DOI":"10.3233\/FI-1991-153-406"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann and M. Magidor (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44: 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"2_CR34","unstructured":"J. Lang (1997). Possibilistic Logic: Algorithms and Complexity. in J.Kohlas and S. Moral (eds), Handbook of Algorithms for Uncertainty and Defeasible Reasoning, Kluwer Academic Publishers."},{"key":"2_CR35","unstructured":"D. Lehmann. Belief Revision, Revised. In the Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995."},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"J. Lloyd (1987). Foundations of logic programming, 2nd ed., Springer.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"1988","key":"2_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W. Lukaszewicz","year":"1988","unstructured":"W. Lukaszewicz (1988). Considerations on Default Logic. Computational Intelligence 4 (1988): 1\u201316.","journal-title":"Computational Intelligence"},{"key":"2_CR38","unstructured":"W. Lukaszewicz (1990). Non-Monotonic Reasoning \u2014 Formalization of commonsense reasoning. Ellis Horwood."},{"key":"2_CR39","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BF00431184","volume":"16","author":"D. Makinson","year":"1987","unstructured":"D. Makinson. On the Status of the Postulate of Recovery in the Logic of Theory Change. Journal of Philosophical Logic, 16 (1987): 383\u2013394.","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"D. Makinson (1994). General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press, 35\u2013110.","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"2_CR41","doi-asserted-by":"crossref","first-page":"243","DOI":"10.3233\/FI-1989-12209","volume":"12","author":"W. Marek","year":"1989","unstructured":"W. Marek (1989). Stable Theories in Autoepistemic Logic. Fundamenta Informaticae 12:243\u2013254.","journal-title":"Fundamenta Informaticae"},{"key":"2_CR42","unstructured":"W. Marek and M. Truszczynski (1989). Relating Autoepistemic Logic and Default Logic. Proc. 1st International Conference on Knowledge Representation and Reasoning."},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczynski (1993). Nonmonotonic Logic \u2014 Context-Dependent Reasoning, Springer.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"2_CR44","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy (1980). Circumscription \u2014 A Form of Non-Monotonic Reasoning. Artificial Intelligence 13: 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"2_CR45","unstructured":"A. Mikitiuk and M. Truszczynski (1995). Constrained and rational default logics. In Proc. 14th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, 1509\u20131515."},{"key":"2_CR46","unstructured":"R.C. Moore (1984). Possible-world semantics for autoepistemic logic. In Proc. Non-monotonic reasoning Workshop, New Paltz."},{"key":"2_CR47","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"R.C. Moore (1985). Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence 25:75\u201394.","journal-title":"Artificial Intelligence"},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF01130759","volume":"4","author":"A. Nayak","year":"1994","unstructured":"A. Nayak. Iterated Belief Change Based on Epistemic Entrenchment. Erkenntnis 4 (1994): 353\u2013390.","journal-title":"Erkenntnis"},{"key":"2_CR49","first-page":"301","volume-title":"Principles of Knowledge epresentation and Reasoning: Proceedings of the First International Conference","author":"B. Nebel","year":"1989","unstructured":"B. Nebel. A Knowledge Level Analysis of Belief Revision. In Principles of Knowledge epresentation and Reasoning: Proceedings of the First International Conference, Morgan Kaufmann, San Mateo, CA, 301\u2013311, 1989."},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"D. Poole (1994). Default Logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press.","DOI":"10.1093\/oso\/9780198537472.003.0004"},{"key":"2_CR51","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter (1980). A Logic for Default Reasoning. Artificial Intelligence 13:81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"2_CR52","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(92)90019-Y","volume":"13","author":"K. Ross","year":"1992","unstructured":"K. Ross (1992). A procedural semantics for well-founded negationin logic programs. Journal of Logic Programming 13: 1\u201322.","journal-title":"Journal of Logic Programming"},{"key":"2_CR53","series-title":"LNAI 465","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0018420","volume-title":"The Logic of Theory Change","author":"H. Rott","year":"1991","unstructured":"H. Rott. A Nonmonotonic Conditional Logic for Belief Revision I. In A. Fuhrmann and M. Morreau (eds), The Logic of Theory Change, Springer-Verlag, LNAI 465, Berlin, 135\u2013183, 1991."},{"key":"2_CR54","unstructured":"T. Schaub (1992). On Constrained Default Theories. In Proc. 10th European Conference on Artificial Intelligence, Wiley 1992, 304\u2013308."},{"key":"2_CR55","unstructured":"V. Sperschneider and G. Antoniou (1991). Logic: A Foundation for Computer Science, Addison-Wesley."},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"W. Spohn. Ordinal Conditional Functions: A Dynamic Theory of Epistemic States. In Harper, W.L., and Skyrms, B. (eds), Causation in decision, belief change, and statistics, II, Kluwer Academic Publishers, p105\u2013134, 1988.","DOI":"10.1007\/978-94-009-2865-7_6"},{"key":"2_CR57","first-page":"98","volume-title":"Studies in Logical Theory","author":"R. Stalnaker","year":"1968","unstructured":"R. Stalnaker. A theory of conditionals. in Recher, N. (ed), Studies in Logical Theory, Blackwell, Oxford, 98\u2013112, 1968."},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"H. Tamaki and T. Sato (1986). OLD Resolution and Tabulation. In Proceedings of the Third International Conference on Logic Programming. Springer.","DOI":"10.1007\/3-540-16492-8_66"},{"issue":"3","key":"2_CR59","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"A. van Gelder, K.A. Ross and J.S. Schlipf (1991). The Well-Founded Semantics for General Logic Programs. Journal of the ACM 38,3: 620\u2013650.","journal-title":"Journal of the ACM"},{"key":"2_CR60","series-title":"Technical Report 91\/12","volume-title":"Computing the Well-Founded Semantics of Logic Programs","author":"D.S. Warren","year":"1991","unstructured":"D.S. Warren (1991). Computing the Well-Founded Semantics of Logic Programs. Technical Report 91\/12, Computer Science Department, SUNY at Stony Brook."},{"key":"2_CR61","doi-asserted-by":"crossref","unstructured":"M.A. Williams. On the Logic of Theory Base Change. In Logics in Artificial Intelligence, C. MacNish, D. Pearce and L.M. Pereira (eds), LNCS No 835, 86\u2013105, Springer Verlag, 1994.","DOI":"10.1007\/BFb0021966"},{"key":"2_CR62","unstructured":"M-A. Williams (1996). Towards a Practical Approach to Belief Revision: Reason-Based Change, Luigia Carlucci Aiello and C. Shapiro (eds), Proceedings of the Fifth International Joint Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, 412\u2013421."},{"key":"2_CR63","unstructured":"M-A. Williams (1997). Anytime Belief Revision, in the Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Morgan Kaufmann."},{"key":"2_CR64","unstructured":"M. Winslett. Reasoning about action using possible models approach. In the Proceedings of the National Conference on Artificial Intelligence (AAAI), 89\u201393, 1988."}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning with Complex Representations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64413-X_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T15:09:52Z","timestamp":1711379392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64413-X_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644132","9783540697800"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/3-540-64413-x_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}