{"id":"https://openalex.org/W4244450180","doi":"https://doi.org/10.3233/fi-2009-179","title":"Normal Form Nested Programs","display_name":"Normal Form Nested Programs","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W4244450180","doi":"https://doi.org/10.3233/fi-2009-179"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2009-179","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-179","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5049683683","display_name":"Annamaria Bria","orcid":null},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Annamaria Bria","raw_affiliation_strings":["Department of Mathematics University of Calabria,\r\t\t\t Italy. E-mail: {a.bria,faber,leone}@mat.unical.it","Department of Mathematics University of Calabria, Italy. E-mail: {a.bria,faber,leone}@mat.unical.it"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics University of Calabria,\r\t\t\t Italy. E-mail: {a.bria,faber,leone}@mat.unical.it","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Department of Mathematics University of Calabria, Italy. E-mail: {a.bria,faber,leone}@mat.unical.it","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017101409","display_name":"Wolfgang Faber","orcid":"https://orcid.org/0000-0002-0330-5868"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Wolfgang Faber","raw_affiliation_strings":["Department of Mathematics University of Calabria,\r\t\t\t Italy. E-mail: {a.bria,faber,leone}@mat.unical.it","Department of Mathematics University of Calabria, Italy. E-mail: {a.bria,faber,leone}@mat.unical.it"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics University of Calabria,\r\t\t\t Italy. E-mail: {a.bria,faber,leone}@mat.unical.it","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Department of Mathematics University of Calabria, Italy. E-mail: {a.bria,faber,leone}@mat.unical.it","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002604860","display_name":"Nicola Leone","orcid":"https://orcid.org/0000-0002-9742-1252"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Leone","raw_affiliation_strings":["Department of Mathematics University of Calabria,\r\t\t\t Italy. E-mail: {a.bria,faber,leone}@mat.unical.it","Department of Mathematics University of Calabria, Italy. E-mail: {a.bria,faber,leone}@mat.unical.it"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics University of Calabria,\r\t\t\t Italy. E-mail: {a.bria,faber,leone}@mat.unical.it","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Department of Mathematics University of Calabria, Italy. E-mail: {a.bria,faber,leone}@mat.unical.it","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049683683"],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":null,"apc_paid":null,"fwci":0.66830751,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78884423,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"96","issue":"3","first_page":"271","last_page":"295"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.4878999888896942,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.4878999888896942,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.4293999969959259,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.4169999957084656,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.4790250360965729},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37200668454170227}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4790250360965729},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37200668454170227}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2009-179","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-179","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644"],"abstract_inverted_index":{"Disjunctive":[0],"logic":[1],"programming":[2],"under":[3],"the":[4,23,76,103,109,119,123,131,155,178,198,227,233,294],"answer":[5,237],"set":[6],"semantics":[7,124,156,224,249],"(DLP,":[8],"ASP)":[9],"has":[10],"been":[11],"acknowledged":[12],"as":[13,255,301],"a":[14,54,85,126,278,302],"versatile":[15],"formalism":[16],"for":[17,48,72,99,144,215],"knowledge":[18],"representation":[19],"and":[20,28,60,67,101,105,164,196,280],"reasoning":[21],"during":[22],"last":[24],"decades.":[25],"Lifschitz,":[26],"Tang,":[27],"Turner":[29],"have":[30,284],"introduced":[31],"an":[32,113,268,290],"extended":[33],"language":[34,64,86],"of":[35,75,78,111,121,125,130,168,180,200,229,236,259,293],"DLP,":[36],"called":[37,90],"Nested":[38,93],"Logic":[39],"Programming":[40],"(NLP),":[41],"in":[42,57,184,194,257,277],"1999":[43],"[12].":[44],"It":[45],"often":[46],"allows":[47],"more":[49],"concise":[50],"representations":[51],"by":[52],"permitting":[53],"richer":[55],"syntax":[56,104],"rule":[58],"heads":[59],"bodies.":[61],"However,":[62,107],"that":[63,135,154,214,247],"is":[65,128,137,149,162],"propositional":[66],"thus":[68],"does":[69,97],"not":[70,187],"allow":[71,98],"variables,":[73,100,181],"one":[74,228],"strengths":[77],"DLP.":[79],"In":[80],"this":[81,192,286],"paper,":[82],"we":[83,212,266],"introduce":[84],"similar":[87],"to":[88,207,262],"NLP,":[89],"Normal":[91],"Form":[92],"(NFN)":[94],"programs,":[95,203,218],"which":[96,204,219,270,288],"present":[102],"semantics.":[106],"with":[108,226,242,251],"introduction":[110],"variables":[112],"important":[114],"issue":[115,193],"arises:":[116],"domain":[117,133,188,209],"independence,":[118,141],"question":[120],"whether":[122],"program":[127],"independent":[129],"considered":[132],"(given":[134],"it":[136,152],"sufficiently":[138],"rich).":[139],"Domain":[140],"originally":[142],"studied":[143],"logic-based":[145],"database":[146],"query":[147],"languages,":[148],"desirable":[150],"because":[151],"guarantees":[153],"remains":[157],"equal":[158],"if":[159,172],"unrelated":[160],"information":[161],"added":[163],"also":[165,221,245],"ensures":[166],"finiteness":[167],"intended":[169],"models":[170,254],"even":[171],"infinite":[173],"domains":[174],"are":[175,186,205,220],"considered.":[176],"With":[177],"presence":[179],"NFN":[182,202,217,263,272,295],"programs":[183,241,273,276],"general":[185],"independent.":[189,210],"We":[190,244,283],"study":[191],"depth":[195],"define":[197],"class":[199],"safe":[201],"guaranteed":[206],"be":[208],"Moreover,":[211],"show":[213,246],"those":[216],"NLPs,":[222],"our":[223,248],"coincides":[225,250],"[12],":[230],"while":[231],"keeping":[232],"standard":[234],"meaning":[235],"sets":[238],"on":[239],"DLP":[240,275,299],"variables.":[243],"Herbrand":[252],"stable":[253],"defined":[256],"[6]":[258],"formulas":[260],"corresponding":[261],"programs.":[264],"Finally,":[265],"provide":[267],"algorithm":[269],"transforms":[271],"into":[274],"correct":[279],"efficient":[281],"way.":[282],"implemented":[285],"algorithm,":[287],"provides":[289],"effective":[291],"implementation":[292],"language,":[296],"using":[297],"existing":[298],"systems":[300],"back-end.":[303]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}