{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:02Z","timestamp":1750306382412,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,5]],"date-time":"2016-09-05T00:00:00Z","timestamp":1473033600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union","award":["644564"],"award-info":[{"award-number":["644564"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,5]]},"DOI":"10.1145\/2967973.2968607","type":"proceedings-article","created":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T18:25:14Z","timestamp":1472754314000},"page":"24-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Higher-order logic programming"],"prefix":"10.1145","author":[{"given":"Angelos","family":"Charalambidis","sequence":"first","affiliation":[{"name":"University of Athens"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos","family":"Rondogiannis","sequence":"additional","affiliation":[{"name":"University of Athens"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonis","family":"Troumpoukis","sequence":"additional","affiliation":[{"name":"University of Athens"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/342009.335423"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/6012.15399"},{"key":"e_1_3_2_1_3_1","volume-title":"Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research (JAIR), 4:19--36","author":"Brewka G.","year":"1996","unstructured":"G. Brewka . Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research (JAIR), 4:19--36 , 1996 . G. Brewka. Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research (JAIR), 4:19--36, 1996."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499937.2499942"},{"key":"e_1_3_2_1_6_1","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014","author":"Charalambidis A.","year":"2014","unstructured":"A. Charalambidis and P. Rondogiannis . Constructive negation in extensional higher-order logic programming . In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014 , Vienna, Austria , July 20-24, 2014 , 2014. A. Charalambidis and P. Rondogiannis. Constructive negation in extensional higher-order logic programming. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90039-J"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/958942.958946"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00185-6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645705.663818"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.004"},{"key":"e_1_3_2_1_12_1","first-page":"731","volume-title":"Proceedings of the Twelfth International Conference on Logic Programming","author":"Govindarajan K.","year":"1995","unstructured":"K. Govindarajan , B. Jayaraman , and S. Mantha . Preference logic programming. In Logic Programming , Proceedings of the Twelfth International Conference on Logic Programming , Tokyo, Japan , June 13-16, 1995 , pages 731 -- 745 , 1995. K. Govindarajan, B. Jayaraman, and S. Mantha. Preference logic programming. In Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, pages 731--745, 1995."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2007.11.003"},{"key":"e_1_3_2_1_14_1","volume-title":"10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000","author":"Kersting K.","year":"2000","unstructured":"K. Kersting and L. D. Raedt . Bayesian logic programs. In Inductive Logic Programming , 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000 , Proceedings , 2000 . K. Kersting and L. D. Raedt. Bayesian logic programs. In Inductive Logic Programming, 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000, Proceedings, 2000."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1287369.1287397"},{"key":"e_1_3_2_1_16_1","first-page":"32","volume-title":"Information Age Economy: 5. Internationale Tagung Wirtschaftsinformatik","author":"Kie\u00dfling W.","year":"2001","unstructured":"W. Kie\u00dfling , B. Hafenrichter , S. Fischer , and S. Holland . Preference XPATH: A query language for e-commerce . In Information Age Economy: 5. Internationale Tagung Wirtschaftsinformatik 2001 , Augsburg , Germany , page 32 , 2001. W. Kie\u00dfling, B. Hafenrichter, S. Fischer, and S. Holland. Preference XPATH: A query language for e-commerce. In Information Age Economy: 5. Internationale Tagung Wirtschaftsinformatik 2001, Augsburg, Germany, page 32, 2001."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1287369.1287457"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/977401.978146"},{"key":"e_1_3_2_1_19_1","volume-title":"VLDB'87","author":"Lacroix M.","year":"1987","unstructured":"M. Lacroix and P. Lavency . Preferences; putting more knowledge into queries . In VLDB'87 , Proceedings of 13th International Conference on Very Large Data Bases , September 1-4, 1987 , Brighton, England, pages 217--225, 1987. M. Lacroix and P. Lavency. Preferences; putting more knowledge into queries. In VLDB'87, Proceedings of 13th International Conference on Very Large Data Bases, September 1-4, 1987, Brighton, England, pages 217--225, 1987."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2331097"},{"key":"e_1_3_2_1_21_1","first-page":"254","volume-title":"Advances in Inductive Logic Programming","author":"Muggleton S.","year":"1996","unstructured":"S. Muggleton . Stochastic logic programs. In L. D. Raedt, editor, Advances in Inductive Logic Programming , pages 254 -- 264 . IOS Press , 1996 . S. Muggleton. Stochastic logic programs. In L. D. Raedt, editor, Advances in Inductive Logic Programming, pages 254--264. IOS Press, 1996."},{"key":"e_1_3_2_1_22_1","first-page":"2462","volume-title":"IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence","author":"Raedt L. D.","year":"2007","unstructured":"L. D. Raedt , A. Kimmig , and H. Toivonen . Problog: A probabilistic prolog and its application in link discovery . In IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence , Hyderabad, India , January 6-12, 2007 , pages 2462 -- 2467 , 2007. L. D. Raedt, A. Kimmig, and H. Toivonen. Problog: A probabilistic prolog and its application in link discovery. In IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pages 2462--2467, 2007."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2790449.2790511"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00054-0"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000824.2000829"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/10731.10733"},{"key":"e_1_3_2_1_27_1","first-page":"289","volume-title":"Logic Programming, Proceedings of the 1991 International Symposium","author":"Wadge W. W.","year":"1991","unstructured":"W. W. Wadge . Higher-order horn logic programming . In V. A. Saraswat and K. Ueda, editors, Logic Programming, Proceedings of the 1991 International Symposium , San Diego , California, USA, Oct. 28-Nov 1, 1991 , pages 289 -- 303 . MIT Press , 1991. W. W. Wadge. Higher-order horn logic programming. In V. A. Saraswat and K. Ueda, editors, Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28-Nov 1, 1991, pages 289--303. MIT Press, 1991."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2011.5767866"},{"key":"e_1_3_2_1_29_1","first-page":"69","volume-title":"Proceedings of the 1997 International Symposium, Port Jefferson","author":"Zhang Y.","year":"1997","unstructured":"Y. Zhang and N. Y. Foo . Answer sets for prioritized logic programs. In Logic Programming , Proceedings of the 1997 International Symposium, Port Jefferson , Long Island, NY, USA , October 13-16, 1997 , pages 69 -- 83 , 1997. Y. Zhang and N. Y. Foo. Answer sets for prioritized logic programs. In Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997, pages 69--83, 1997."}],"event":{"name":"PPDP '16: 18th International Symposium on Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Edinburgh United Kingdom","acronym":"PPDP '16"},"container-title":["Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2967973.2968607","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2967973.2968607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:03Z","timestamp":1750223223000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2967973.2968607"}},"subtitle":["an expressive language for representing qualitative preferences"],"short-title":[],"issued":{"date-parts":[[2016,9,5]]},"references-count":29,"alternative-id":["10.1145\/2967973.2968607","10.1145\/2967973"],"URL":"https:\/\/doi.org\/10.1145\/2967973.2968607","relation":{},"subject":[],"published":{"date-parts":[[2016,9,5]]},"assertion":[{"value":"2016-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}