{"id":"https://openalex.org/W89291972","doi":null,"title":"An abstract machine for computing the well-founded semantics","display_name":"An abstract machine for computing the well-founded semantics","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W89291972","mag":"89291972"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.92.6592","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.6592","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.umbc.edu/771/papers/wfswam.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/123456789/33760","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009640372","display_name":"Konstantinos Sagonas","orcid":"https://orcid.org/0000-0001-9657-0179","observed_orcids":["https://orcid.org/0000-0001-9657-0179"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Konstantinos Sagonas","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-9657-0179","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113464756","display_name":"Terrance Swift","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Terrance Swift","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5055338447","display_name":"David Scott Warren","orcid":"https://orcid.org/0000-0001-7567-8156","observed_orcids":["https://orcid.org/0000-0001-7567-8156"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David S. Warren","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-7567-8156","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.6846,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.95803074,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"274","last_page":"288"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9717000126838684,"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.9717000126838684,"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.01860000006854534,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.000699999975040555,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/well-founded-semantics","display_name":"well-founded semantics","score":0.9990000128746033},{"id":"https://openalex.org/keywords/abstract-machines","display_name":"abstract machines","score":0.8600000143051147},{"id":"https://openalex.org/keywords/xsb","display_name":"XSB","score":0.8949999809265137},{"id":"https://openalex.org/keywords/tabling","display_name":"tabling","score":0.925000011920929},{"id":"https://openalex.org/keywords/delay","display_name":"delay","score":0.7789999842643738},{"id":"https://openalex.org/keywords/simplification","display_name":"simplification","score":0.9509999752044678},{"id":"https://openalex.org/keywords/non-monotonic-reasoning","display_name":"nonmonotonic reasoning","score":0.8980000019073486},{"id":"https://openalex.org/keywords/stable-models","display_name":"stable models","score":0.7319999933242798}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8086243867874146},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6299788951873779},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6285171508789062},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4147578775882721},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34956568479537964}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.92.6592","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.6592","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.umbc.edu/771/papers/wfswam.pdf","raw_type":"text"},{"id":"pmh:oai:dspace.lib.ntua.gr:123456789/33760","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/123456789/33760","pdf_url":null,"source":{"id":"https://openalex.org/S4377196837","display_name":"DSpace - NTUA (National Technical University of Athens)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I174458059","host_organization_name":"National Technical University of Athens","host_organization_lineage":["https://openalex.org/I174458059"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"mag:89291972","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/iclp/iclp96.html#SagonasSW96","pdf_url":null,"source":{"id":"https://openalex.org/S4306419642","display_name":"International Conference on Logic Programming","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Logic Programming","raw_type":null}],"best_oa_location":{"id":"pmh:oai:dspace.lib.ntua.gr:123456789/33760","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/123456789/33760","pdf_url":null,"source":{"id":"https://openalex.org/S4377196837","display_name":"DSpace - NTUA (National Technical University of Athens)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I174458059","host_organization_name":"National Technical University of Athens","host_organization_lineage":["https://openalex.org/I174458059"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1994977110","https://openalex.org/W1774324140","https://openalex.org/W1497544880","https://openalex.org/W2545154520","https://openalex.org/W7096135862","https://openalex.org/W2553417806","https://openalex.org/W7098129623","https://openalex.org/W88836778","https://openalex.org/W2115128204","https://openalex.org/W2026433347"],"abstract_inverted_index":{"The":[0],"well-founded":[1,17,40,82,91,101],"semantics":[2,92],"has":[3],"gained":[4],"wide":[5],"acceptance":[6],"partly":[7],"because":[8],"it":[9],"is":[10,205],"a":[11,51,164,181],"skeptical":[12],"semantics.":[13],"That":[14],"is,":[15],"the":[16,39,69,81,90,94,100,103,142,153,168,192],"model":[18,41],"posits":[19],"as":[20,33,50],"unknown":[21],"atoms":[22,70],"which":[23,120,175],"are":[24,67,176],"deemed":[25],"true":[26],"or":[27,201],"false":[28],"in":[29,45,80,93,135,158],"other":[30,54],"formalisms":[31],"such":[32],"stable":[34,65],"models.":[35],"This":[36,84],"skepticism":[37],"makes":[38],"not":[42,177],"only":[43],"useful":[44],"itself,":[46],"but":[47],"also":[48],"suitable":[49],"basis":[52],"for":[53,170,180],"forms":[55],"of":[56,89,96,144,155,194],"non-monotonic":[57],"reasoning.":[58],"For":[59],"instance,":[60],"since":[61],"algorithms":[62,73],"to":[63,77,108,122,124,127,147,172,198],"compute":[64,99],"models":[66],"intractable,":[68],"relevant":[71],"tosuch":[72],"can":[74],"be":[75],"limited":[76],"those":[78,173],"undefined":[79],"model.":[83],"paper":[85],"presents":[86],"an":[87],"implementation":[88,157],"SLG-WAM":[95,104],"XSB.":[97],"To":[98],"semantics,":[102],"adds":[105],"three":[106],"operations":[107,146],"its":[109],"tabling":[110,149],"engine":[111],"--":[112,119,200,203],"negative":[113],"loop":[114],"detection,":[115],"delay":[116,171,195],"and":[117,126,151,196],"simplification":[118,197],"serve":[121],"detect,":[123],"break":[125],"resolve":[128],"cycles":[129],"through":[130],"negation":[131],"that":[132,166,189,191],"may":[133],"arise":[134],"evaluating":[136],"normal":[137],"programs.":[138],"We":[139],"describe":[140],"fully":[141],"addition":[143],"these":[145],"our":[148,156],"engine,":[150],"demonstrate":[152],"efficiency":[154],"two":[159],"ways.":[160],"First,":[161],"we":[162,185],"present":[163,186],"theorem":[165],"bounds":[167],"need":[169],"literals":[174],"dynamically":[178],"stratified":[179],"fixed-order":[182],"computation.":[183],"Secondly,":[184],"performance":[187],"results":[188],"indicate":[190],"overhead":[193],"Prolog":[199],"tabled":[202],"evaluations":[204],"minimal.":[206]},"counts_by_year":[],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}