{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:18:53Z","timestamp":1737436733291,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747819"},{"type":"electronic","value":"9783540747826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74782-6_11","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T14:51:49Z","timestamp":1188053509000},"page":"109-120","source":"Crossref","is-referenced-by-count":11,"title":["A Top Down Interpreter for LPAD and CP-Logic"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Riguzzi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.N.: Logic programming and negation: A survey. J. Log. Program\u00a019\/20, 9\u201371 (1994)","journal-title":"J. Log. Program"},{"issue":"8","key":"11_CR2","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. on Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. on Computers"},{"key":"11_CR3","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Logic and Databases, Plenum Press, New York (1978)"},{"key":"11_CR4","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: Problog: A probabilistic prolog and its application in link discovery. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 2462\u20132467 (2007)"},{"issue":"2","key":"11_CR5","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","volume":"50","author":"S. Lauritzen","year":"1988","unstructured":"Lauritzen, S., Spiegelhalter, D.J.: Local computations with probabilities on graphical structures and their application to expert systems. Journal of the Royal Statistical Society, B\u00a050(2), 157\u2013224 (1988)","journal-title":"Journal of the Royal Statistical Society, B"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1109\/ISMVL.2002.1011095","volume-title":"Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic","author":"D.M. Miller","year":"2002","unstructured":"Miller, D.M., Drechsler, R.: On the construction of multiple-valued decision diagrams. In: Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic, pp. 245\u2013253. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"3","key":"11_CR7","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 the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"11_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_37","volume-title":"Logics in Artificial Intelligence","author":"J. Vennekens","year":"2006","unstructured":"Vennekens, J., Denecker, M., Bruynooghe, M.: Representing causal information about a probabilistic process. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, Springer, Heidelberg (2006)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","author":"J. Vennekens","year":"2004","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2007: Artificial Intelligence and Human-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74782-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T17:14:23Z","timestamp":1737393263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74782-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540747819","9783540747826"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74782-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}