{"id":"https://openalex.org/W2174235632","doi":"https://doi.org/10.1017/s1471068402001539","title":"A framework for compiling preferences in logic programs","display_name":"A framework for compiling preferences in logic programs","publication_year":2003,"publication_date":"2003-03-01","ids":{"openalex":"https://openalex.org/W2174235632","doi":"https://doi.org/10.1017/s1471068402001539","mag":"2174235632"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068402001539","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068402001539","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002046734","display_name":"James P. Delgrande","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"JAMES P. DELGRANDE","raw_affiliation_strings":["School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 (e-mail:","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058467603","display_name":"Torsten Schaub","orcid":"https://orcid.org/0000-0002-7456-041X"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"TORSTEN SCHAUB","raw_affiliation_strings":["Institut f\u00fcr Informatik, Universit\u00e4t Potsdam, Postfach 90 03 27, D\u201314439 Potsdam, Germany (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Universit\u00e4t Potsdam, Postfach 90 03 27, D\u201314439 Potsdam, Germany (e-mail:","institution_ids":["https://openalex.org/I176453806"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073662063","display_name":"Hans Tompits","orcid":"https://orcid.org/0000-0001-5673-2460"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"HANS TOMPITS","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme 184/3, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9\u201311, A\u20131040 Vienna, Austria (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme 184/3, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9\u201311, A\u20131040 Vienna, Austria (e-mail:","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":13.1274,"has_fulltext":false,"cited_by_count":129,"citation_normalized_percentile":{"value":0.98738262,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"3","issue":"2","first_page":"129","last_page":"187"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7897251844406128},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.7090976238250732},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.7064624428749084},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7062859535217285},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6887160539627075},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5716477632522583},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.5596200227737427},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5563051700592041},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5148372054100037},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5001122951507568},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4636780917644501},{"id":"https://openalex.org/keywords/preference","display_name":"Preference","score":0.44751712679862976},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4466795027256012},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.4126681685447693},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.17899304628372192},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13392886519432068}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7897251844406128},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.7090976238250732},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.7064624428749084},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7062859535217285},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6887160539627075},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5716477632522583},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.5596200227737427},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5563051700592041},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5148372054100037},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5001122951507568},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4636780917644501},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.44751712679862976},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4466795027256012},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.4126681685447693},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.17899304628372192},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13392886519432068},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1017/s1471068402001539","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068402001539","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.16.6052","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.6052","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.sfu.ca/~jim/publications/TPLP02.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.4.5799","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.5799","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.uni-potsdam.de/wv/pdfformat/descto02a.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.88.5333","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.5333","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.kr.tuwien.ac.at/staff/tompits/papers/tplp-04.pdf","raw_type":"text"},{"id":"pmh:oai:kobv.de-opus4-uni-potsdam:15477","is_oa":false,"landing_page_url":"https://publishup.uni-potsdam.de/frontdoor/index/index/docId/15477","pdf_url":null,"source":{"id":"https://openalex.org/S4306400594","display_name":"publish.UP (University of Potsdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I176453806","host_organization_name":"University of Potsdam","host_organization_lineage":["https://openalex.org/I176453806"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doc-type:article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W28175566","https://openalex.org/W48425311","https://openalex.org/W63004849","https://openalex.org/W1482502297","https://openalex.org/W1488084414","https://openalex.org/W1492736196","https://openalex.org/W1501348379","https://openalex.org/W1503579182","https://openalex.org/W1518249528","https://openalex.org/W1520957705","https://openalex.org/W1534361892","https://openalex.org/W1545002266","https://openalex.org/W1552604813","https://openalex.org/W1562911371","https://openalex.org/W1563695708","https://openalex.org/W1563821244","https://openalex.org/W1577410338","https://openalex.org/W1599133695","https://openalex.org/W1605586974","https://openalex.org/W1632267699","https://openalex.org/W1672891595","https://openalex.org/W1749135959","https://openalex.org/W1750970660","https://openalex.org/W1787956099","https://openalex.org/W1847820984","https://openalex.org/W1915454031","https://openalex.org/W1976639815","https://openalex.org/W1985377638","https://openalex.org/W1988194176","https://openalex.org/W1988650943","https://openalex.org/W1998363560","https://openalex.org/W2008294142","https://openalex.org/W2035416838","https://openalex.org/W2048746006","https://openalex.org/W2100657934","https://openalex.org/W2124620840","https://openalex.org/W2124627636","https://openalex.org/W2126664699","https://openalex.org/W2148105490","https://openalex.org/W2152764793","https://openalex.org/W2155322595","https://openalex.org/W2165394462","https://openalex.org/W3204705986"],"related_works":["https://openalex.org/W2728676088","https://openalex.org/W2176973685","https://openalex.org/W1575307414","https://openalex.org/W4231236017","https://openalex.org/W1627528933","https://openalex.org/W1556363336","https://openalex.org/W2076569795","https://openalex.org/W3088092049","https://openalex.org/W2611359631","https://openalex.org/W3048361371"],"abstract_inverted_index":{"We":[0,160],"introduce":[1],"a":[2,45,68,114,124,128,139,221,226],"methodology":[3],"and":[4,36,57,181,212],"framework":[5,170],"for":[6,228],"expressing":[7],"general":[8,133],"preference":[9,148],"information":[10],"in":[11,28,37,79,85,107,153],"logic":[12,21,26,63,72,125,200],"programming":[13,230],"under":[14],"the":[15,75,81,86,91,96,102,132,147,151,163,190],"answer":[16,82,93],"set":[17,46],"semantics.":[18],"An":[19,61],"ordered":[20,62],"program":[22,27,64,73,88],"is":[23,65,197],"an":[24,198],"extended":[25,71,199],"which":[29,38,108,119,154],"rules":[30,41,155],"are":[31,42,59,77,121,127,156],"named":[32],"by":[33,44,171],"unique":[34],"terms,":[35],"preferences":[39,76,109,120],"among":[40,176],"given":[43],"of":[47,49,95,104,131,166,168,179,192,194,206],"atoms":[48],"form":[50],"s":[51,56],"[pr":[52],"]":[53],"t":[54,58],"where":[55],"names.":[60],"transformed":[66,87],"into":[67],"second,":[69],"regular,":[70],"wherein":[74,146],"respected,":[78],"that":[80,178],"sets":[83,94],"obtained":[84],"correspond":[89],"with":[90,144],"preferred":[92],"original":[97],"program.":[98,115],"Our":[99],"approach":[100,141],"allows":[101],"specification":[103],"dynamic":[105,134],"orderings,":[106],"can":[110,183,203],"appear":[111],"arbitrarily":[112],"within":[113,186],"Static":[116],"orderings":[117],"(in":[118],"external":[122],"to":[123,142,157],"program)":[126],"trivial":[129],"restriction":[130],"case.":[135],"First,":[136],"we":[137,202,218],"develop":[138],"specific":[140],"reasoning":[143],"preferences,":[145],"ordering":[149],"specifies":[150],"order":[152],"be":[158,184],"applied.":[159],"then":[161],"demonstrate":[162],"wide":[164],"range":[165],"applicability":[167],"our":[169,187],"showing":[172],"how":[173],"other":[174],"approaches,":[175],"them":[177],"Brewka":[180],"Eiter,":[182],"captured":[185],"framework.":[188],"Since":[189],"result":[191],"each":[193],"these":[195,229],"transformations":[196],"program,":[201],"make":[204],"use":[205],"existing":[207],"implementations,":[208],"such":[209],"as":[210,225],"dlv":[211],"smodels":[213],".":[214],"To":[215],"this":[216],"end,":[217],"have":[219],"developed":[220],"publicly":[222],"available":[223],"compiler":[224],"front-end":[227],"systems.":[231]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}