{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:03Z","timestamp":1725489483367},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414131"},{"type":"electronic","value":"9783540444503"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44450-5_18","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:26:08Z","timestamp":1187252768000},"page":"227-239","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Dynamically Ordered Probabilistic Choice Logic Programming"],"prefix":"10.1007","author":[{"given":"Marina","family":"De Vos","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,11,24]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1111\/j.1467-8640.1990.tb00296.x","volume":"6","author":"L.P. Fahiem Bacchus","year":"1990","unstructured":"Fahiem Bacchus. LP, a Logic for Representing and Reasoning with Statistical Knowledge. Computational Intelligence, 6:209\u2013231, 1990.","journal-title":"Computational Intelligence"},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1613\/jair.284","volume":"4","author":"G. Brewka","year":"1996","unstructured":"Gerhard Brewka. Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences. Journal of Articficial Intelligence Research, 4:19\u201336, 1996.","journal-title":"Journal of Articficial Intelligence Research"},{"key":"18_CR3","unstructured":"Francesco Buccafurri, Wolfgang Faber, and Nicola Leone. Disjunctive Logic Programs with Inheritance. In Danny De Schreye, editor, International Conference on Logic Pro-gramming (ICLP), pages 79\u201393, Las Cruces, New Mexico, USA, 1999. The MIT Press."},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-48168-0_19","volume-title":"Computer Science Logic (CSL\u201999)","author":"M. Vos De","year":"1999","unstructured":"Marina De Vos and Dirk Vermeir. Choice Logic Programs and Nash Equilibria in Strategic Games. In J\u00f6rg Flum and Mario Rodr\u00edguez-Artalejo, editors, Computer Science Logic (CSL\u201999), volume 1683 of Lecture Notes in Computer Science, pages 266\u2013276, Madrid, Spain, 1999. Springer Verslag."},{"key":"18_CR5","unstructured":"Marina De Vos and Dirk Vermeir. On the Role of Negation in Choice Logic Programs. In Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, Logic Programming and Non-Monotonic Reasoning Conference (LPNMR\u201999), volume 1730 of Lecture Notes in Artificial Intelligence, pages 236\u2013246, El Paso, Texas, USA, 1999. Springer Verslag."},{"key":"18_CR6","unstructured":"Marina De Vos and Dirk Vermeir. A Logic for Modelling Decision Making with Dynamic Preferences. Accepted at Jelia 2000. Lecture Notes in Artificial Intelligence. Springer Ver-slag."},{"issue":"2","key":"18_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P. Minh Dung","year":"1995","unstructured":"Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmono-tonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321\u2013358, 1995.","journal-title":"Artificial Intelligence"},{"key":"18_CR8","unstructured":"D. Gabbay, E. Laenens, and D. Vermeir. Credulous vs. Sceptical Semantics for Ordered Logic Programs. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the 2nd In-ternational Conference on Principles of Knowledge Representation and Reasoning, pages 208\u2013217, Cambridge, Mass, 1991. Morgan Kaufmann."},{"key":"18_CR9","unstructured":"Raymond Ng and V.S. Subrahmanian. A semantical framework for supporting subjective and conditional probabilities in deductive databases. In Koichi Furukawa, editor, Proceed-ings of the 8th International Conference on Logic Programming, pages 565\u2013580. MIT, June 1991."},{"key":"18_CR10","unstructured":"Liem Ngo. Probabilistic Disjunctive Logic Programming. In Eric Horvitz and Finn Jensen, editors, Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (AI-96), pages 387\u2013404, San Francisco, aug 1996. Morgan Kaufmann Publishers."},{"key":"18_CR11","volume-title":"A Course in Game Theory","author":"M. J. Osborne","year":"1996","unstructured":"Martin J. Osborne and Ariel Rubinstein. A Course in Game Theory. The MIT Press, Cambridge, Massachusets, London, Engeland, third edition, 1996.","edition":"third edition"},{"key":"18_CR12","unstructured":"David Poole. Logic programming, abduction and probability. In Institute for New Gener-ation Computer Technology (ICOT), editor, Proceedings for the International Conference on Fifth Generation Computer Systems, pages 530\u2013538. IOS Press, 1992."},{"issue":"1\u20132","key":"18_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"David Poole. The independent choice logic for modeling multiple agents under uncertainty. Artificial Intelligence, 94(1\u20132):7\u201356, 1997.","journal-title":"Artificial Intelligence"},{"key":"18_CR14","unstructured":"Chiaki Sakama and Katsumi Inoue. Representing Priorities in Logic Programs. In Michael Maher, editor, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 82\u201396, Cambridge, September2-6 1996. MIT Press."}],"container-title":["Lecture Notes in Computer Science","FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44450-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T00:40:18Z","timestamp":1558485618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44450-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414131","9783540444503"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44450-5_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"24 November 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}