{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:53:17Z","timestamp":1725565997879},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_13","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"121-133","source":"Crossref","is-referenced-by-count":3,"title":["An Implementation of Statistical Default Logic"],"prefix":"10.1007","author":[{"given":"Gregory R.","family":"Wheeler","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Bacchus, F., Grove, A., Halpern, J., Koller, D.: Statistical Foundations for Default Reasoning. In: Proceedings of The International Joint Conference on Artificial Intelligence 1993 (IJCAI 1993), pp. 563\u2013569 (1993)"},{"key":"13_CR2","volume-title":"Mathematical Methods of Statistics","author":"H. Cram\u00e9r","year":"1946","unstructured":"Cram\u00e9r, H.: Mathematical Methods of Statistics. Princeton University Press, Princeton (1946)"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0743-1066(99)00059-X","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"Dekhtyar, A., Subrahmanian, V.S.: Hybrid Probabilistic Programs. Journal of Logic Programming\u00a043(3), 187\u2013250 (2000)","journal-title":"Journal of Logic Programming"},{"key":"13_CR4","volume-title":"KR 1998: Principles of Knowledge Representation and Reasoning","author":"T. Eiter","year":"1998","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR system: Progress Report, Comparisons and Benchmarks. In: Cohen, A., Schubert, L., Shaprio, S. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco (1998)"},{"key":"13_CR5","first-page":"1070","volume-title":"Proceedings of the 5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"13_CR6","first-page":"579","volume-title":"Proceedings of the 7th International Conference on Logic Programming","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic Programs with Classical Negation. In: Warren, D., Szeredi, P. (eds.) Proceedings of the 7th International Conference on Logic Programming, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"issue":"2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1142\/S021800149900015X","volume":"13","author":"H.E. Kyburg Jr.","year":"1999","unstructured":"Kyburg Jr., H.E., Teng, C.M.: Statistical Inference as Default Logic. International Journal of Pattern Recognition and Artificial Intelligence\u00a013(2), 267\u2013283 (1999)","journal-title":"International Journal of Pattern Recognition and Artificial Intelligence"},{"key":"13_CR8","volume-title":"An Introduction to Mathematical Statistics","author":"R.J. Larsen","year":"2001","unstructured":"Larsen, R.J., Marx, M.L.: An Introduction to Mathematical Statistics. Prentice Hall, Upper Saddle River (2001)"},{"key":"13_CR9","series-title":"Lecture Notes in Artificial Intelligence","first-page":"336","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 336\u2013350. Springer, Heidelberg (2001)"},{"issue":"1-3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1014445017537","volume":"34","author":"T. Lukasiewicz","year":"2002","unstructured":"Lukasiewicz, T.: Probabilistic Default Reasoning with Conditional Constraints. Annals of Mathematics and Artificial Intelligence\u00a034(1-3), 35\u201388 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"13_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic","author":"Marek","year":"1993","unstructured":"Marek, Truszczy\u0144ski: Nonmonotonic Logic. Springer, Berlin (1993)"},{"key":"13_CR12","volume-title":"Statistics","author":"Moore","year":"1979","unstructured":"Moore: Statistics. W. H. Freeman Press, San Francisco (1979)"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1006\/inco.1994.1023","volume":"110","author":"R. Ng","year":"1994","unstructured":"Ng, R., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Information and Computation\u00a0110(1), 42\u201383 (1994)","journal-title":"Information and Computation"},{"key":"13_CR14","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I., Simons, P.: Efficient Implementation of the Well-founded and Stable Model Semantics. In: Maher, M. (ed.) Proceedings of the Joint International Conference and Symposium on Logic Programming, MIT Press, Cambridge (1996)"},{"key":"13_CR15","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, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"13_CR16","unstructured":"Wheeler, G.R.: A Resource Bounded Default Logic. In: Delgrande, J., Schuaub, T. (eds.) Proceedings of the 10th International Workshop on Non-monotonic Reasoning (NMR 2004), Whistler, British Columbia, pp. 416\u2013422 (2004)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:58:01Z","timestamp":1620014281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}