{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,27]],"date-time":"2025-12-27T15:10:33Z","timestamp":1766848233215},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_30","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T20:29:36Z","timestamp":1284582576000},"page":"431-445","source":"Crossref","is-referenced-by-count":94,"title":["Logic Programs with Annotated Disjunctions"],"prefix":"10.1007","author":[{"given":"Joost","family":"Vennekens","sequence":"first","affiliation":[]},{"given":"Sofie","family":"Verbaeten","sequence":"additional","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF03037168","volume":"9","author":"K.R. Apt","year":"1991","unstructured":"Apt, K.R., Bezem, M.: Acyclic programs. New Generation Computing\u00a09, 335\u2013363 (1991)","journal-title":"New Generation Computing"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Bacchus, F.: Using first-order probability logic for the construction of bayesian networks. In: Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence, pp. 219\u2013226 (1993)","DOI":"10.1016\/B978-1-4832-1451-1.50031-7"},{"key":"30_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-24609-1_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Baral","year":"2003","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 21\u201333. Springer, Heidelberg (2003)"},{"issue":"11","key":"30_CR4","first-page":"1577","volume":"24","author":"J.S. Breese","year":"1994","unstructured":"Breese, J.S., Goldman, R.P., Wellman, M.P.: Introduction to the special section on knowledge-based construction of probabilistic and decision models. IEEE Transactions on Systems, Man, and Cybernetics\u00a024(11), 1577\u20131579 (1994)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"30_CR5","first-page":"100","volume-title":"Proceedings of the 18th National Conference on Artificial Intelligence, AAAI 2002","author":"G. Brewka","year":"2002","unstructured":"Brewka, G.: Logic programming with ordered disjunction. In: Proceedings of the 18th National Conference on Artificial Intelligence, AAAI 2002, pp. 100\u2013105. Morgan Kaufmann, San Francisco (2002)"},{"key":"30_CR6","unstructured":"Cussens, J.: Stochastic logic programs: Sampling, inference and applications. In: Proceedings of the Sixteenth Annual Conference on Uncertainty in Artificial Intelligence, pp. 115\u2013122. MK (2000)"},{"issue":"3","key":"30_CR7","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":"30_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New generation computing\u00a09, 365\u2013385 (1991)","journal-title":"New generation computing"},{"key":"30_CR9","first-page":"7","volume-title":"Relational Data Mining","author":"L. Getoor","year":"2001","unstructured":"Getoor, L., Friedman, N., Koller, D., Pfeffer, A.: Learning Probabilistic Relational Models. In: Dzeroski, S., Lavrac, N. (eds.) Relational Data Mining, pp. 7\u201334. Springer, Heidelberg (2001) (to appear)"},{"key":"30_CR10","volume-title":"Reasoning about uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning about uncertainty. MIT Press, Cambridge (2003)"},{"key":"30_CR11","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"J.Y. Halpern","year":"1989","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. Artificial Intelligence\u00a046, 311\u2013350 (1989)","journal-title":"Artificial Intelligence"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Kersting, K., De Raedt, L.: Bayesian logic programs. In: Cussens, J., Frisch, A. (eds.) Work-in-Progress Reports of the Tenth International Conference on Inductive Logic Programming, ILP 2000 (2000)","DOI":"10.1007\/3-540-44797-0_9"},{"key":"30_CR13","first-page":"254","volume-title":"Proceedings of the International Symposium on Logic Programming","author":"L.V.S. Lakshmanan","year":"1994","unstructured":"Lakshmanan, L.V.S., Sadri, F.: Probabilistic deductive databases. In: Bruynooghe, M. (ed.) Proceedings of the International Symposium on Logic Programming, pp. 254\u2013268. MIT Press, Cambridge (1994)"},{"key":"30_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"30_CR15","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge (1992)"},{"key":"30_CR16","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. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 336\u2013350. Springer, Heidelberg (2001)"},{"key":"30_CR17","unstructured":"Muggleton, S.: Learning stochastic logic programs. Electronic Transactions in Artificial Intelligence\u00a05(041) (2000)"},{"issue":"2","key":"30_CR18","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R.T. Ng","year":"1992","unstructured":"Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Information and Computation\u00a0101(2), 150\u2013201 (1992)","journal-title":"Information and Computation"},{"issue":"1-2","key":"30_CR19","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0304-3975(96)00128-4","volume":"171","author":"L. Ngo","year":"1997","unstructured":"Ngo, L., Haddawy, P.: Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science\u00a0171(1-2), 147\u2013177 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"30_CR20","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"Poole, D.: The Independent Choice Logic for modelling multiple agents under uncertainty. Artificial Intelligence\u00a094(1-2), 7\u201356 (1997)","journal-title":"Artificial Intelligence"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"Sakama, C.: Possible model semantics for disjunctive databases II (extended abstract). In: Logic Programming and Non-monotonic Reasoning, pp. 107\u2013114 (1990)","DOI":"10.1016\/B978-0-444-88433-6.50028-9"},{"key":"30_CR22","unstructured":"Sakama, C., Inoue, K.: On the equivalence between disjunctive and abductive logic programs. In: International Conference on Logic Programming, pp. 489\u2013503 (1994)"},{"key":"30_CR23","unstructured":"Sato, T., Kameya, Y.: PRISM: A language for symbolic-statistical modeling. In: Proceedings of IJCAI 1997, pp. 1330\u20131335 (1997)"},{"issue":"3","key":"30_CR24","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"30_CR25","unstructured":"Vennekens, J., Verbaeten, S.: A general view on probabilistic logic programming. In: Proceedings of the 15th Belgian-Dutch Conference on Artificial Intelligence, pp. 299\u2013306 (2003), http:\/\/www.cs.kuleuven.ac.be\/~joost\/bnaic.ps"},{"key":"30_CR26","doi-asserted-by":"crossref","unstructured":"Vennekens, J., Verbaeten, S.: Logic programs with annotated disjunctions. Technical Report CW386, K.U. Leuven (2003), http:\/\/www.cs.kuleuven.ac.be\/~joost\/techrep.ps","DOI":"10.1007\/978-3-540-27775-0_30"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T01:17:25Z","timestamp":1636507045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}