{"id":"https://openalex.org/W2156962871","doi":"https://doi.org/10.48550/arxiv.1301.1390","title":"Eliminating Unfounded Set Checking for HEX-Programs","display_name":"Eliminating Unfounded Set Checking for HEX-Programs","publication_year":2013,"publication_date":"2013-01-08","ids":{"openalex":"https://openalex.org/W2156962871","doi":"https://doi.org/10.48550/arxiv.1301.1390","mag":"2156962871"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1301.1390","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1301.1390","pdf_url":"https://arxiv.org/pdf/1301.1390","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1301.1390","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082178480","display_name":"Thomas Eiter","orcid":"https://orcid.org/0000-0001-6003-6345","observed_orcids":["https://orcid.org/0000-0001-6003-6345","https://orcid.org/0000-0002-7807-1349","https://orcid.org/0000-0003-3177-5792"]},"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":"Eiter, Thomas","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme , Technische Universit\u00e4t Wien Favoritenstra\u00dfe 9-11 , A-1040 Vienna , Austria","Vienna University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme , Technische Universit\u00e4t Wien Favoritenstra\u00dfe 9-11 , A-1040 Vienna , Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101971147","display_name":"Michael Fink","orcid":"https://orcid.org/0000-0003-1166-9343","observed_orcids":["https://orcid.org/0000-0003-1166-9343"]},"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":"Fink, Michael","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme , Technische Universit\u00e4t Wien Favoritenstra\u00dfe 9-11 , A-1040 Vienna , Austria","Vienna University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme , Technische Universit\u00e4t Wien Favoritenstra\u00dfe 9-11 , A-1040 Vienna , Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090016107","display_name":"Thomas Krennwallner","orcid":"https://orcid.org/0000-0001-7523-3202","observed_orcids":["https://orcid.org/0000-0001-7523-3202"]},"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":"Krennwallner, Thomas","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme , Technische Universit\u00e4t Wien Favoritenstra\u00dfe 9-11 , A-1040 Vienna , Austria","Vienna University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme , Technische Universit\u00e4t Wien Favoritenstra\u00dfe 9-11 , A-1040 Vienna , Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065193177","display_name":"Christoph Redl","orcid":null,"observed_orcids":[]},"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":"Redl, Christoph","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme , Technische Universit\u00e4t Wien Favoritenstra\u00dfe 9-11 , A-1040 Vienna , Austria","Vienna University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme , Technische Universit\u00e4t Wien Favoritenstra\u00dfe 9-11 , A-1040 Vienna , Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074339594","display_name":"Peter Sch\u00fcller","orcid":"https://orcid.org/0000-0002-1837-126X","observed_orcids":["https://orcid.org/0000-0002-1837-126X"]},"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":"Sch\u00fcller, Peter","raw_affiliation_strings":["Vienna University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.98580002784729,"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.98580002784729,"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.0017000000225380063,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.001500000013038516,"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/answer-set-programming","display_name":"answer set programming","score":0.7720000147819519},{"id":"https://openalex.org/keywords/program-decomposition","display_name":"program decomposition","score":0.722000002861023},{"id":"https://openalex.org/keywords/minimal-models","display_name":"minimal models","score":0.652999997138977}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.8106949329376221},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7717651128768921},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6845985054969788},{"id":"https://openalex.org/C69177213","wikidata":"https://www.wikidata.org/wiki/Q12880812","display_name":"Reduct","level":3,"score":0.6339687705039978},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.5699487328529358},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5687786340713501},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5461687445640564},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5386530756950378},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.52816241979599},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.48813948035240173},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4604393541812897},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3735553026199341},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2702896296977997},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.10511031746864319},{"id":"https://openalex.org/C111012933","wikidata":"https://www.wikidata.org/wiki/Q3137210","display_name":"Rough set","level":2,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:1301.1390","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1301.1390","pdf_url":"https://arxiv.org/pdf/1301.1390","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.378.4231","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.378.4231","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://publik.tuwien.ac.at/files/PubDat_209142.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.764.8688","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.764.8688","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1301.1390.pdf","raw_type":"text"},{"id":"doi:10.48550/arxiv.1301.1390","doi":"https://doi.org/10.48550/arxiv.1301.1390","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1301.1390","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1301.1390","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1301.1390","pdf_url":"https://arxiv.org/pdf/1301.1390","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2340670542","display_name":"Inconsistency Management for Knowledge-Integration Systems","funder_award_id":"ICT08-020","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G3414221522","display_name":"Reasoning in Hybrid Knowledge Bases","funder_award_id":"P20840","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4960161501","display_name":"Evaluation of ASP Programs with External Source Access","funder_award_id":"P24090","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8286511987","display_name":"Modular HEX-Programs","funder_award_id":"P20841","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2156962871.pdf","grobid_xml":"https://content.openalex.org/works/W2156962871.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W89175885","https://openalex.org/W129056281","https://openalex.org/W1498546115","https://openalex.org/W1725632631","https://openalex.org/W1862558385","https://openalex.org/W1872506843","https://openalex.org/W1976055110","https://openalex.org/W2000353554","https://openalex.org/W2011124182","https://openalex.org/W2023346713","https://openalex.org/W2049791401","https://openalex.org/W2064864283","https://openalex.org/W2076698873","https://openalex.org/W2091138122","https://openalex.org/W2100699693","https://openalex.org/W2104126268","https://openalex.org/W2126745921","https://openalex.org/W2130987249","https://openalex.org/W2141740710"],"related_works":["https://openalex.org/W2153361264","https://openalex.org/W7099361421","https://openalex.org/W129056281","https://openalex.org/W7097432605","https://openalex.org/W1498546115","https://openalex.org/W6964854259","https://openalex.org/W7098494344","https://openalex.org/W7095286796","https://openalex.org/W2805845253","https://openalex.org/W2289854974"],"abstract_inverted_index":{"HEX-programs":[0,43],"are":[1],"an":[2,46,67],"extension":[3],"of":[4,14,31,34,49,60,101,153,163],"the":[5,17,35,74,113,128,149],"Answer":[6],"Set":[7],"Programming":[8],"(ASP)":[9],"paradigm":[10],"incorporating":[11],"external":[12,23],"means":[13],"computation":[15],"into":[16,124],"declarative":[18],"programming":[19],"language":[20],"through":[21],"so-called":[22],"atoms.":[24],"Their":[25],"semantics":[26],"is":[27,157],"defined":[28],"in":[29,93],"terms":[30],"minimal":[32],"models":[33],"Faber-Leone-Pfeifer":[36],"(FLP)":[37],"reduct.":[38],"Developing":[39],"native":[40],"solvers":[41],"for":[42,58,78,120,130,148],"based":[44],"on":[45,90],"appropriate":[47],"notion":[48],"unfounded":[50,131],"sets":[51,132],"has":[52,64],"been":[53],"subject":[54],"to":[55,66,110,141],"recent":[56],"research":[57],"reasons":[59],"efficiency.":[61],"Although":[62],"this":[63,86,94],"lead":[65],"improvement":[68],"over":[69],"naive":[70],"minimality":[71],"checking":[72],"using":[73],"FLP":[75],"reduct,":[76],"testing":[77],"foundedness":[79,114],"remains":[80],"a":[81,98,122,160],"computationally":[82],"expensive":[83],"task.":[84],"In":[85],"work":[87],"we":[88,117],"improve":[89],"HEX-program":[91,143],"evaluation":[92],"respect":[95],"by":[96,159],"identifying":[97],"syntactic":[99],"class":[100],"programs,":[102],"that":[103,127,137],"can":[104,133],"be":[105,134],"efficiently":[106],"recognized":[107],"and":[108,151],"allows":[109],"entirely":[111],"skip":[112],"check.":[115],"Moreover,":[116],"develop":[118],"criteria":[119],"decomposing":[121],"program":[123],"components,":[125],"such":[126],"search":[129],"restricted.":[135],"Observing":[136],"our":[138,154],"results":[139],"apply":[140],"many":[142],"applications":[144],"provides":[145],"analytic":[146],"evidence":[147],"significance":[150],"effectiveness":[152],"approach,":[155],"which":[156],"complemented":[158],"brief":[161],"discussion":[162],"preliminary":[164],"experimental":[165],"validation.":[166]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}