{"id":"https://openalex.org/W2404001454","doi":"https://doi.org/10.29007/tmt3","title":"Answer Set Programming in a Nutshell","display_name":"Answer Set Programming in a Nutshell","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2404001454","doi":"https://doi.org/10.29007/tmt3","mag":"2404001454"},"language":"en","primary_location":{"id":"doi:10.29007/tmt3","is_oa":true,"landing_page_url":"https://doi.org/10.29007/tmt3","pdf_url":"https://easychair.org/publications/open/jB","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/jB","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082178480","display_name":"Thomas Eiter","orcid":"https://orcid.org/0000-0001-6003-6345"},"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":true,"raw_author_name":"Thomas Eiter","raw_affiliation_strings":["Institut fr Informationsssysteme, Technische Universitt Wien","Institut f\u00fcr Informationsssysteme, Technische Universit\u00e4t Wien"],"affiliations":[{"raw_affiliation_string":"Institut fr Informationsssysteme, Technische Universitt Wien","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institut f\u00fcr Informationsssysteme, Technische Universit\u00e4t Wien","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082178480"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00278395,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":null,"first_page":"1","last_page":""},"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.9973000288009644,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.991100013256073,"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.9193041324615479},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.8084374666213989},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6984304785728455},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.5889701843261719},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5477893948554993},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5382034778594971},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.5326387882232666},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5077060461044312},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.4970262348651886},{"id":"https://openalex.org/keywords/transitive-closure","display_name":"Transitive closure","score":0.49686506390571594},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47590741515159607},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.455951988697052},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.44799724221229553},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2649567425251007},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18582811951637268}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.9193041324615479},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.8084374666213989},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6984304785728455},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.5889701843261719},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5477893948554993},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5382034778594971},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5326387882232666},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5077060461044312},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4970262348651886},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.49686506390571594},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47590741515159607},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.455951988697052},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.44799724221229553},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2649567425251007},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18582811951637268},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/tmt3","is_oa":true,"landing_page_url":"https://doi.org/10.29007/tmt3","pdf_url":"https://easychair.org/publications/open/jB","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/tmt3","is_oa":true,"landing_page_url":"https://doi.org/10.29007/tmt3","pdf_url":"https://easychair.org/publications/open/jB","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2404001454.pdf","grobid_xml":"https://content.openalex.org/works/W2404001454.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1501758783","https://openalex.org/W1511336005","https://openalex.org/W1557663601","https://openalex.org/W1584248945","https://openalex.org/W1639901403","https://openalex.org/W1672891595","https://openalex.org/W1968513265","https://openalex.org/W1976055110","https://openalex.org/W1985274317","https://openalex.org/W1992673035","https://openalex.org/W2005465900","https://openalex.org/W2076698873","https://openalex.org/W2092211394","https://openalex.org/W2096472861","https://openalex.org/W2106354297","https://openalex.org/W2108736148","https://openalex.org/W2141407569","https://openalex.org/W2154996176","https://openalex.org/W2611318084"],"related_works":["https://openalex.org/W2964256304","https://openalex.org/W4297895951","https://openalex.org/W4301141272","https://openalex.org/W1536514011","https://openalex.org/W2034589153","https://openalex.org/W2142826315","https://openalex.org/W4225342794","https://openalex.org/W2792614959","https://openalex.org/W2021763726","https://openalex.org/W1491423131"],"abstract_inverted_index":{"Answer":[0],"Set":[1],"Programming":[2],"(ASP)":[3],"has":[4,19,79],"emerged":[5],"in":[6,22,43,95,137,145],"the":[7,33,44,59,90,121,138],"recent":[8,143],"years":[9],"as":[10],"a":[11,41,47,84,115],"powerful":[12],"paradigm":[13],"for":[14,65,99],"declarative":[15],"problem":[16,42],"solving,":[17,32],"which":[18,51,70,100,147],"its":[20,126],"roots":[21],"knowledge":[23],"representation":[24],"and":[25,67,78,97,128,130,142,154],"non-monotonic":[26,48],"logic":[27,49],"programming.":[28],"Similar":[29],"to":[30,37,40,83,118,151],"SAT":[31],"basic":[34,122],"idea":[35],"is":[36,62],"encode":[38],"solutions":[39],"models":[45],"of":[46,87,104,125,140],"program,":[50],"can":[52],"be":[53],"computed":[54],"by":[55],"reasoning":[56,74],"engines":[57],"off":[58],"shelf.":[60],"ASP":[61,105],"particularly":[63],"well-suited":[64],"modeling":[66],"solving":[68],"problems":[69,94],"involve":[71],"common":[72],"sense":[73],"or":[75],"transitive":[76],"closure,":[77],"been":[80,110],"fruitfully":[81],"applied":[82],"growing":[85],"range":[86],"applications.":[88],"Among":[89],"latter":[91],"are":[92],"also":[93],"testing":[96],"verfication,":[98],"efficient":[101],"core":[102],"fragments":[103],"that":[106],"embrace":[107],"Datalog":[108],"haven":[109],"exploited.":[111],"This":[112],"talk":[113],"gives":[114],"brief":[116],"introduction":[117],"ASP,":[119,146],"covering":[120],"concepts,":[123],"some":[124,135],"properties":[127],"features,":[129],"solvers.":[131],"It":[132],"further":[133],"addresses":[134],"applications":[136],"context":[139],"verification":[141],"developments":[144],"bring":[148],"evaluation":[149],"closer":[150],"other":[152],"formalisms":[153],"logics.":[155]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}