{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:18:24Z","timestamp":1742937504079,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_2","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"14-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Algorithmic Decision Theory Meets Logic"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00f4me","family":"Lang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"2_CR1","unstructured":"Lang, J., Xia, L.: Voting in combinatorial domains. In: Brandt, F., Conitzer, V., Endriss, U., Lang, J., Procaccia, A.D. (eds.) Handbook of Computational Social Choice. Cambridge University Press (2015, in Press)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1002\/9780470611876.ch7","volume-title":"Decision Making Process: Concepts and Methods","author":"J Lang","year":"2009","unstructured":"Lang, J.: Logical representation of preferences. In: Bouyssou, D., Dubois, D., Prade, H., Pirlot, M. (eds.) Decision Making Process: Concepts and Methods, pp. 321\u2013364. Wiley-ISTE, London (2009)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1111\/j.0824-7935.2004.00240.x","volume":"20","author":"JP Delgrande","year":"2004","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Wang, K.: A classification and survey of preference handling approaches in nonmonotonic reasoning. Comput. Intell. 20, 308\u2013334 (2004)","journal-title":"Comput. Intell."},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11881216_1","volume-title":"Current Topics in Artificial Intelligence","author":"G Brewka","year":"2006","unstructured":"Brewka, G.: Preferences in answer set programming. In: Mar\u00edn, R., Onaind\u00eda, E., Bugar\u00edn, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol. 4177, pp. 1\u201310. Springer, Heidelberg (2006)"},{"key":"2_CR5","first-page":"69","volume":"29","author":"G Brewka","year":"2008","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczynski, M.: Preferences and nonmonotonic reasoning. AI Mag. 29, 69\u201378 (2008)","journal-title":"AI Mag."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Brewka, G., Delgrande, J.P., Romero, J., Schaub, T.: asprin: customizing answer set preferences without a headache. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA, 25\u201330 January 2015, pp. 1467\u20131474 (2015)","DOI":"10.1609\/aaai.v29i1.9398"},{"key":"2_CR7","volume-title":"The Logic of Preference","author":"G von Wright","year":"1963","unstructured":"von Wright, G.: The Logic of Preference. Edinburgh University Press, Edinburgh (1963)"},{"key":"2_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511498466","volume-title":"The Structure of Values and Norms","author":"SO Hansson","year":"2001","unstructured":"Hansson, S.O.: The Structure of Values and Norms. Cambridge University Press, Cambridge (2001)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","volume":"38","author":"J van Benthem","year":"2009","unstructured":"van Benthem, J., Girard, P., Roy, O.: Everything else being equal: a modal logic for Ceteris Paribus preferences. J. Philos. Logic 38, 83\u2013125 (2009)","journal-title":"J. Philos. Logic"},{"key":"2_CR10","unstructured":"Bienvenu, M., Lang, J., Wilson, N.: From preference logics to preference languages, and back. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, 9\u201313 May 2010"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Boutilier, C.: Toward a logic for qualitative decision theory. In: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR 1994), Bonn, Germany, 24\u201327 May 1994, pp. 75\u201386 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50104-4"},{"key":"2_CR12","unstructured":"Lang, J.: Conditional desires and utilities: an alternative logical approach to qualitative decision theory. In: Proceedings of the 12th European Conference on Artificial Intelligence, Budapest, Hungary, 11\u201316 August 1996, pp. 318\u2013322 (1996)"},{"key":"2_CR13","unstructured":"Lang, J., van der Torre, L.W.N., Weydert, E.: Hidden uncertainty in the logical representation of desires. In: IJCAI 2003, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 9\u201315 August 2003, pp. 685\u2013690 (2003)"},{"key":"2_CR14","unstructured":"Konczak, K., Lang, J.: Voting procedures with incomplete preferences. In: Multidisciplinary Workshop on Advances in Preference Handling, pp. 124\u2013129 (2005)"},{"key":"2_CR15","unstructured":"Boutilier, C., Rosenschein, J.: Incomplete information and communication in voting. In: Brandt, F., Conitzer, V., Endriss, U., Lang, J., Procaccia, A.D. (eds.) Handbook of Computational Social Choice. Cambridge University Press (2015, in Press)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-30227-8_5","volume-title":"Logics in Artificial Intelligence","author":"S Chopra","year":"2004","unstructured":"Chopra, S., Pacuit, E., Parikh, R.: Knowledge-theoretic properties of strategic voting. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 18\u201330. Springer, Heidelberg (2004)"},{"key":"2_CR17","unstructured":"van Ditmarsch, H., Lang, J., Saffidine, A.: Strategic voting and the logic of knowledge. In: Proceedings of 14th TARK, ACM (2013)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Meir, R., Lev, O., Rosenschein, J.: A local-dominance theory of voting equilibria. In: ACM Conference on Economics and Computation, EC 2014, Stanford, CA, USA, 8\u201312 June 2014, pp. 313\u2013330 (2014)","DOI":"10.1145\/2600057.2602860"},{"key":"2_CR19","unstructured":"Conitzer, V., Walsh, T., Xia, L.: Dominating manipulations in voting with partial information. In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, 7\u201311 August 2011"},{"key":"2_CR20","unstructured":"Kautz, H., Selman, B.: Planning as satisfiability. In: ECAI, pp. 359\u2013363 (1992)"},{"key":"2_CR21","first-page":"483","volume-title":"Handbook of Satisfiability","author":"J Rintanen","year":"2009","unstructured":"Rintanen, J.: Planning and sat. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, pp. 483\u2013504. IOS Press, Amsterdam (2009)"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138, 39\u201354 (2002)","journal-title":"Artif. Intell."},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(02)00367-3","volume":"144","author":"T Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning, II: the DLV$${}^{\\text{ k }}$$ system. Artif. Intell. 144, 157\u2013211 (2003)","journal-title":"Artif. Intell."},{"key":"2_CR24","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-criteria optimization in answer set programming. In: Technical Communications of the 27th International Conference on Logic Programming, p. 1 (2011)"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s10817-009-9147-4","volume":"43","author":"T Nipkow","year":"2009","unstructured":"Nipkow, T.: Social choice theory in HOL: Arrow and Gibbard-Satterthwaite. J. Autom. Reasoning 43, 289\u2013304 (2009)","journal-title":"J. Autom. Reasoning"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1016\/j.artint.2009.02.005","volume":"173","author":"P Tang","year":"2009","unstructured":"Tang, P., Lin, F.: Computer-aided proofs of Arrow\u2019s and other impossibility theorems. Artif. Intell. 173, 1041\u20131053 (2009)","journal-title":"Artif. Intell."},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"2010","DOI":"10.1016\/j.artint.2011.07.001","volume":"175","author":"P Tang","year":"2011","unstructured":"Tang, P., Lin, F.: Discovering theorems in game theory: two-person games with unique pure nash equilibrium payoffs. Artif. Intell. 175, 2010\u20132020 (2011)","journal-title":"Artif. Intell."},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1613\/jair.3126","volume":"40","author":"C Geist","year":"2011","unstructured":"Geist, C., Endriss, U.: Automated search for impossibility theorems in social choice theory: ranking sets of objects. J. Artif. Intell. Res. 40, 143\u2013174 (2011)","journal-title":"J. Artif. Intell. Res."},{"key":"2_CR29","unstructured":"Brandt, F., Geist, C.: Finding strategyproof social choice functions via SAT solving. In: AAMAS 2014, pp. 1193\u20131200. IFAAMAS (2014)"},{"key":"2_CR30","unstructured":"Brandl, F., Brandt, F., Geist, C., Hofbauer, J.: Strategic abstention based on preference extensions: positive results and computer-generated impossibilities. In: IJCAI 2015 (2015)"},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s10458-009-9115-8","volume":"22","author":"T \u00c5gotnes","year":"2011","unstructured":"\u00c5gotnes, T., van der Hoek, W., Wooldridge, M.: On the logic of preference and judgment aggregation. Auton. Agents Multi-Agent Syst. 22, 4\u201330 (2011)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s10992-011-9189-z","volume":"40","author":"N Troquard","year":"2011","unstructured":"Troquard, N., van der Hoek, W., Wooldridge, M.: Reasoning about social choice functions. J. Philos. Logic 40, 473\u2013498 (2011)","journal-title":"J. Philos. Logic"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T15:41:10Z","timestamp":1676475670000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_2"}},"subtitle":["\u2014 Invited Talk \u2014"],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}