{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:32:13Z","timestamp":1725892333374},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540754077"},{"type":"electronic","value":"9783540754107"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75410-7_1","type":"book-chapter","created":{"date-parts":[[2007,9,19]],"date-time":"2007-09-19T09:29:20Z","timestamp":1190194160000},"page":"1-15","source":"Crossref","is-referenced-by-count":6,"title":["Probabilistic Planning in Hybrid Probabilistic Logic Programs"],"prefix":"10.1007","author":[{"given":"Emad","family":"Saad","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning, and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR2","volume-title":"Logic Programming and Non-monotonic Reasoning","author":"C. Baral","year":"2004","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. In: Logic Programming and Non-monotonic Reasoning. Springer, Heidelberg (2004)"},{"key":"1_CR3","first-page":"1","volume":"11","author":"C. Boutilier","year":"1999","unstructured":"Boutilier, C., Dean, T., Hanks, S.: Decision-theoretic planning: structural assumptions and computational leverage. Journal of AI Research\u00a011, 1\u201394 (1999)","journal-title":"Journal of AI Research"},{"issue":"1-2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A. Blum","year":"1997","unstructured":"Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence\u00a090(1-2), 297\u2013298 (1997)","journal-title":"Artificial Intelligence"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Blum, A., Langford, J.: Probabilistic planning in the Graphplan framework. In: Proc. of the 5th European Conference on Planning (1999)","DOI":"10.1007\/10720246_25"},{"issue":"3","key":"1_CR6","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 program. Journal of Logic Programming\u00a043(3), 187\u2013250 (2000)","journal-title":"Journal of Logic Programming"},{"key":"1_CR7","unstructured":"Dekhtyar, M., Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs: algorithms and complexity. In: Proc. of UAI Conference, pp. 160\u2013169 (1999)"},{"key":"1_CR8","unstructured":"Draper, D., Hanks, S., Weld, D.: Probabilistic planning with information gathering and contingent execution. In: Proc. of the 2nd International Conference on Artificial Intelligence Planning Systems, pp. 31\u201337 (1994)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Eiter, T., et al.: Declarative problem solving in dlv. In: Logic Based Artificial Intelligence (2000)","DOI":"10.1007\/978-1-4615-1567-8_4"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","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 ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of ACM"},{"key":"1_CR11","volume-title":"ICSLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICSLP. MIT Press, Cambridge (1988)"},{"issue":"3-4","key":"1_CR12","doi-asserted-by":"publisher","first-page":"363","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(3-4), 363\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming\u00a017, 301\u2013321 (1993)","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10817-006-9033-2","volume":"36","author":"E. Giunchiglia","year":"2006","unstructured":"Giunchiglia, E., Lierler, Y., Maratea, M.: Answer set programming based on propositional satisfiability. Journal of Automated Reasoning\u00a036(4), 345\u2013377 (2006)","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR15","unstructured":"Kautz, H., Selman, B.: Pushing the envelope: planning, propositional logic, and stochastic search. In: Proc. of 13th National Conference on Artificial Intelligence (1996)"},{"issue":"1-2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0004-3702(94)00087-H","volume":"76","author":"N. Kushmerick","year":"1995","unstructured":"Kushmerick, N., Hanks, S., Weld, D.: An algorithm for probabilistic planning. Artificial Intelligence\u00a076(1-2), 239\u2013286 (1995)","journal-title":"Artificial Intelligence"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer set planning. In: Proceedings of ICLP (1999)","DOI":"10.1007\/3-540-46767-X_28"},{"issue":"1-2","key":"1_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence\u00a0157(1-2), 115\u2013137 (2004)","journal-title":"Artificial Intelligence"},{"key":"1_CR19","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: 13th European Conference on Artificial Intelligence, pp. 388\u2013392 (1998)"},{"key":"1_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.505","volume":"9","author":"M. Littman","year":"1998","unstructured":"Littman, M., Goldsmith, J., Mundhenk, M.: The computational complexity of probabilistic planning. Journal of Artificial Intelligence Research\u00a09, 1\u201336 (1998)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"1_CR21","unstructured":"Littman, M., Majercik, S.: Large-scale planning under uncertainty: A survey. In: NASA Workshop on Planning and Scheduling in Space (1997)"},{"key":"1_CR22","unstructured":"Majercik, S., Littman, M.: MAXPLAN: A new approach to probabilistic planning. In: Proc. of the 4th International Conference on Artificial Intelligence Planning, pp. 86\u201393 (1998)"},{"issue":"1-2","key":"1_CR23","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0004-3702(02)00379-X","volume":"147","author":"S. Majercik","year":"2003","unstructured":"Majercik, S., Littman, M.: Contingent planning under uncertainty via stochastic satisfiability. Artificial Intelligence\u00a0147(1-2), 119\u2013162 (2003)","journal-title":"Artificial Intelligence"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Information & Computation\u00a0101(2) (1992)","DOI":"10.1016\/0890-5401(92)90061-J"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Information & Computation\u00a0110(1) (1994)","DOI":"10.1006\/inco.1994.1023"},{"key":"1_CR26","unstructured":"Niemela, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Joint International Conference and Symposium on Logic Programming, pp. 289\u2013303 (1996)"},{"issue":"1-2","key":"1_CR27","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":"1_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_33","volume-title":"Logics in Artificial Intelligence","author":"E. Saad","year":"2006","unstructured":"Saad, E.: Incomplete knowlege in hybrid probabilistic logic programs. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, Springer, Heidelberg (2006)"},{"key":"1_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69912-5_12","volume-title":"KI 2006: Advances in Artificial Intelligence","author":"E. Saad","year":"2007","unstructured":"Saad, E.: Towards the computation of the stable probabilistic model semantics. In: Freksa, C., Kohlhase, M., Schill, K. (eds.) KI 2006. LNCS (LNAI), vol.\u00a04314, Springer, Heidelberg (2007)"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Saad, E.: A logical approach to qualitative and quantitative reasoning. In: 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007) (2007)","DOI":"10.1007\/978-3-540-75256-1_18"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Saad, E., Pontelli, E.: Towards a more practical hybrid probabilistic logic programming framework. Practical Aspects of Declarative Languages (2005)","DOI":"10.1007\/978-3-540-30557-6_7"},{"key":"1_CR32","volume-title":"International Conference of Logic Programming","author":"E. Saad","year":"2005","unstructured":"Saad, E., Pontelli, E.: Hybrid probabilistic logic programs with non-monotonic negation. In: International Conference of Logic Programming, Springer, Heidelberg (2005)"},{"issue":"3-4","key":"1_CR33","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10472-007-9048-3","volume":"48","author":"E. Saad","year":"2006","unstructured":"Saad, E., Pontelli, E.: A new approach to hybrid probabilistic logic programs. Annals of Mathematics and Artificial Intelligence Journal\u00a048(3-4), 187\u2013243 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence Journal"},{"issue":"4","key":"1_CR34","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/1183278.1183279","volume":"7","author":"T. Son","year":"2006","unstructured":"Son, T., Baral, C., Nam, T., McIlraith, S.: Domain-dependent knowledge in answer set planning. ACM Transactions on Computational Logic\u00a07(4), 613\u2013657 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"1_CR35","unstructured":"Subrahmanian, V.S., Zaniolo, C.: Relating stable models and AI planning domains. In: International Conference of Logic Programming, pp. 233\u2013247 (1995)"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75410-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:00:44Z","timestamp":1619506844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75410-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540754077","9783540754107"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75410-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}