{"id":"https://openalex.org/W2051741066","doi":"https://doi.org/10.1145/1656242.1656249","title":"FDNC","display_name":"FDNC","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2051741066","doi":"https://doi.org/10.1145/1656242.1656249","mag":"2051741066"},"language":"en","primary_location":{"id":"doi:10.1145/1656242.1656249","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1656242.1656249","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","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/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":["Technische Universit\u00e4t Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079813467","display_name":"Mantas \u0160imkus","orcid":"https://orcid.org/0000-0003-0632-0294"},"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":"Mantas \u0160imkus","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082178480"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":9.0481,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":{"value":0.97823544,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"11","issue":"2","first_page":"1","last_page":"50"},"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.9972000122070312,"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/decidability","display_name":"Decidability","score":0.8141639232635498},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.5843212008476257},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5497791767120361},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.5459595322608948},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5439519882202148},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5219376087188721},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5152733325958252},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.4901729226112366},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.48394182324409485},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47537556290626526},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4520573019981384},{"id":"https://openalex.org/keywords/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.43822330236434937},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.43093204498291016},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4295317232608795},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.41615673899650574},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.354422390460968},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35143280029296875},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3372374176979065},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.27057865262031555}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8141639232635498},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.5843212008476257},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5497791767120361},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.5459595322608948},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5439519882202148},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5219376087188721},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5152733325958252},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.4901729226112366},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.48394182324409485},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47537556290626526},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4520573019981384},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.43822330236434937},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.43093204498291016},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4295317232608795},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.41615673899650574},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.354422390460968},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35143280029296875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3372374176979065},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.27057865262031555},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1656242.1656249","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1656242.1656249","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6562488515","display_name":null,"funder_award_id":"IST-2003-506779","funder_id":"https://openalex.org/F4320334962","funder_display_name":"Sixth Framework Programme"},{"id":"https://openalex.org/G970423597","display_name":null,"funder_award_id":"P17212P21840","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334962","display_name":"Sixth Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W14163227","https://openalex.org/W24256479","https://openalex.org/W62327733","https://openalex.org/W80737574","https://openalex.org/W110865114","https://openalex.org/W138414955","https://openalex.org/W185400028","https://openalex.org/W1482090628","https://openalex.org/W1488953560","https://openalex.org/W1498546115","https://openalex.org/W1503579182","https://openalex.org/W1511336005","https://openalex.org/W1513230022","https://openalex.org/W1520957705","https://openalex.org/W1541623506","https://openalex.org/W1555563750","https://openalex.org/W1572651397","https://openalex.org/W1589170163","https://openalex.org/W1597862920","https://openalex.org/W1598515570","https://openalex.org/W1606891084","https://openalex.org/W1639901403","https://openalex.org/W1647879466","https://openalex.org/W1663140555","https://openalex.org/W1721757222","https://openalex.org/W1774117686","https://openalex.org/W1965483956","https://openalex.org/W1969965298","https://openalex.org/W1971297231","https://openalex.org/W1976055110","https://openalex.org/W1982129592","https://openalex.org/W1987080413","https://openalex.org/W1987742978","https://openalex.org/W1990406816","https://openalex.org/W2011124182","https://openalex.org/W2021929022","https://openalex.org/W2026352889","https://openalex.org/W2036900631","https://openalex.org/W2039034441","https://openalex.org/W2047885920","https://openalex.org/W2065555531","https://openalex.org/W2066734765","https://openalex.org/W2076698873","https://openalex.org/W2087432892","https://openalex.org/W2092211394","https://openalex.org/W2105197521","https://openalex.org/W2115221987","https://openalex.org/W2118823189","https://openalex.org/W2141407569","https://openalex.org/W2141740710","https://openalex.org/W2152131859","https://openalex.org/W2154595228","https://openalex.org/W2172201672","https://openalex.org/W2295882966","https://openalex.org/W2531563875","https://openalex.org/W2608239929","https://openalex.org/W2899766884","https://openalex.org/W2937456179","https://openalex.org/W2999916861","https://openalex.org/W3099451540","https://openalex.org/W4247726461","https://openalex.org/W6635326540","https://openalex.org/W6635924541"],"related_works":["https://openalex.org/W3033115193","https://openalex.org/W4286796590","https://openalex.org/W3088199683","https://openalex.org/W1630259549","https://openalex.org/W2293271593","https://openalex.org/W1587265115","https://openalex.org/W2952279096","https://openalex.org/W217570602","https://openalex.org/W2113913457","https://openalex.org/W2184746485"],"abstract_inverted_index":{"We":[0],"present":[1,169],"the":[2,19,30,33,89,144,189,239,260,276],"class":[3],"FDNC":[4,41,86,109,194,226],"of":[5,32,50,92,137,146,181,188,192,201,207],"logic":[6],"programs":[7,42,87,227],"that":[8,113,131,175,196],"allows":[9,60],"for":[10,47,62,71,106,153,171,241,287,291],"function":[11],"symbols":[12],"(F),":[13],"disjunction":[14],"(D),":[15],"nonmonotonic":[16],"negation":[17],"under":[18,128,164],"answer":[20,151],"set":[21],"semantics":[22],"(N),":[23],"and":[24,56,58,79,82,95,116,263],"constraints":[25],"(C),":[26],"while":[27],"still":[28],"retaining":[29],"decidability":[31],"standard":[34],"reasoning":[35,64,76,107,118,173,224,235,252,283],"tasks.":[36],"Thanks":[37],"to":[38,134,160,184,221,234,278],"these":[39],"features,":[40],"are":[43,120,176,204,254,265],"a":[44,135,185,242],"powerful":[45],"formalism":[46],"rule-based":[48],"modeling":[49],"applications":[51],"with":[52,150],"potentially":[53,279],"infinite":[54],"processes":[55],"objects,":[57],"which":[59,154,203,213],"also":[61,142,290],"common-sense":[63],"in":[65,75,101,122,229,259,268],"this":[66,222],"context.":[67],"This":[68,271],"is":[69,158,244],"evidenced,":[70],"instance,":[72],"by":[73],"tasks":[74,119,174,253],"about":[77],"actions":[78,103],"planning:":[80],"brave":[81],"open":[83,147],"queries":[84,148],"over":[85,225],"capture":[88],"well-known":[90],"problems":[91],"plan":[93,98],"existence":[94],"secure":[96],"(conformant)":[97],"existence,":[99],"respectively,":[100],"transition-based":[102],"domains.":[104],"As":[105],"from":[108,212,236],"programs,":[110],"we":[111,141,168],"show":[112],"consistency":[114],"checking":[115],"brave/cautious":[117],"ExpTime-complete":[121],"general,":[123],"but":[124,289],"have":[125],"lower":[126],"complexity":[127,145],"syntactic":[129],"restrictions":[130],"give":[132],"rise":[133],"family":[136],"program":[138,195,243],"classes.":[139],"Furthermore,":[140,167],"determine":[143],"(i.e.,":[149],"variables),":[152],"deciding":[155],"non-empty":[156],"answers":[157],"shown":[159],"be":[161,218,232,248],"ExpSpace":[162],"-complete":[163],"cautious":[165],"entailment.":[166],"algorithms":[170],"all":[172],"worst-case":[177],"optimal.":[178],"The":[179],"majority":[180],"them":[182],"resorts":[183],"finite":[186],"representation":[187],"stable":[190,215],"models":[191],"an":[193],"employs":[197],"maximal":[198],"founded":[199],"sets":[200],"knots,":[202],"labeled":[205],"trees":[206],"depth":[208],"at":[209],"most":[210],"1":[211],"each":[214],"model":[216],"can":[217,228,247],"reconstructed.":[219],"Due":[220],"property,":[223],"many":[230],"cases":[231],"reduced":[233],"knots.":[237],"Once":[238],"knot-representation":[240],"derived":[245],"(which":[246],"done":[249],"off-line),":[250],"several":[251],"not":[255,285],"more":[256,280],"expensive":[257],"than":[258],"function-free":[261],"case,":[262],"some":[264],"even":[266],"feasible":[267],"polynomial":[269],"time.":[270],"knowledge":[272],"compilation":[273],"technique":[274],"paves":[275],"way":[277],"efficient":[281],"online":[282],"methods":[284],"only":[286],"FDNC,":[288],"other":[292],"formalisms.":[293]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":7}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}