{"id":"https://openalex.org/W145290699","doi":null,"title":"An almost perfect abstraction operator for partial deduction","display_name":"An almost perfect abstraction operator for partial deduction","publication_year":1994,"publication_date":"1994-12-01","ids":{"openalex":"https://openalex.org/W145290699","mag":"145290699"},"language":"en","primary_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/131815","doi":null,"is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/131815","pdf_url":"https://lirias.kuleuven.be/retrieve/5d4f24ab-2f64-4777-8249-714910d7cc96","source":{"id":"https://openalex.org/S7407055369","display_name":"Lirias","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CW Reports, Report No. CW199, (21-21)","raw_type":"info:eu-repo/semantics/report"},"volume":null,"type":"report","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lirias.kuleuven.be/retrieve/5d4f24ab-2f64-4777-8249-714910d7cc96","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058847017","display_name":"Micha\u00ebl Leuschel","orcid":"https://orcid.org/0000-0002-4595-1518","observed_orcids":["https://orcid.org/0000-0002-4595-1518"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Micha\u00ebl Leuschel","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-4595-1518","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5024311222","display_name":"Danny De Schreye","orcid":"https://orcid.org/0000-0002-8423-8598","observed_orcids":["https://orcid.org/0000-0002-8423-8598"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Danny De Schreye","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8423-8598","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":6,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9926999807357788,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9926999807357788,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.004100000020116568,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.00039999998989515007,"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/partial-deduction","display_name":"partial deduction","score":0.9950000047683716},{"id":"https://openalex.org/keywords/logic-programs","display_name":"logic programs","score":0.7559999823570251},{"id":"https://openalex.org/keywords/abstraction-operator","display_name":"abstraction operator","score":0.9350000023841858},{"id":"https://openalex.org/keywords/constraints","display_name":"constraints","score":0.421999990940094},{"id":"https://openalex.org/keywords/satisfiability","display_name":"satisfiability","score":0.6209999918937683},{"id":"https://openalex.org/keywords/termination","display_name":"termination","score":0.777999997138977}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5214982628822327},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5143900513648987},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.49876976013183594},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44360560178756714},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3823900818824768},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.32519108057022095},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.10244956612586975},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.09364765882492065},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/131815","doi":null,"is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/131815","pdf_url":"https://lirias.kuleuven.be/retrieve/5d4f24ab-2f64-4777-8249-714910d7cc96","source":{"id":"https://openalex.org/S7407055369","display_name":"Lirias","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CW Reports, Report No. CW199, (21-21)","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.21.4670","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.kuleuven.ac.be/~dtai/publications/files/14225.ps.gz","raw_type":"text"},{"id":"mag:145290699","doi":null,"is_oa":false,"landing_page_url":"https://lirias.kuleuven.be/bitstream/123456789/131815/1/14225.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/131815","doi":null,"is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/131815","pdf_url":"https://lirias.kuleuven.be/retrieve/5d4f24ab-2f64-4777-8249-714910d7cc96","source":{"id":"https://openalex.org/S7407055369","display_name":"Lirias","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CW Reports, Report No. CW199, (21-21)","raw_type":"info:eu-repo/semantics/report"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W145290699.pdf","grobid_xml":"https://content.openalex.org/works/W145290699.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7096163287","https://openalex.org/W2000782239","https://openalex.org/W1624796000","https://openalex.org/W2519558333","https://openalex.org/W7096402508","https://openalex.org/W1482061011","https://openalex.org/W2540532014","https://openalex.org/W2143044990","https://openalex.org/W7098056706","https://openalex.org/W1512183835"],"abstract_inverted_index":{"A":[0],"partial":[1,23,44,75,88,146,174],"deduction":[2,147,175],"strategy":[3,176],"for":[4,21,77,87],"logic":[5],"programs":[6],"usually":[7],"uses":[8],"an":[9,27,103,179],"abstraction":[10,28,60,106,109,182],"operator":[11,29,61],"to":[12,42,57,102,135,198],"guarantee":[13],"the":[14,17,43,59,70,73,84,96,108,128,140,145,191],"niteness":[15,32],"of":[16,19,72,91,142,153,167,186,201],"set":[18],"goals":[20],"which":[22,30,177],"deductions":[24],"are":[25],"produced.Finding":[26],"guarantees":[31],"and":[33,51,54,65,114,123,158,193],"still":[34],"does":[35],"not":[36,117,125,162],"loose":[37],"relevant":[38,85],"information":[39,86],"(with":[40],"respect":[41],"deduction)":[45],"is":[46,156],"a":[47,78,164,173],"dicult":[48],"problem.In":[49],"[4]":[50,113],"[7]":[52,115],"Gallagher":[53],"Bruynooghe":[55],"proposed":[56,111],"base":[58],"on":[62],"characteristic":[63,67,98,129],"paths":[64],"trees.A":[66],"tree":[68,99],"captures":[69,83],"structure":[71],"generated":[74],"SLDNF-tree":[76],"given":[79],"goal,":[80],"i.e.":[81],"it":[82],"deduction.The":[89],"generation":[90],"more":[92,120],"general":[93,121],"atoms":[94,122],"having":[95],"same":[97],"would":[100],"lead":[101],"almost":[104,180],"perfect":[105,181,184],"operator.Unfortunately":[107],"operators":[110],"in":[112,144],"do":[116,124,161],"always":[118,126],"produce":[119],"preserve":[127],"trees.In":[130],"this":[131,137],"paper":[132],"we":[133],"propose":[134],"solve":[136],"problem":[138,166],"through":[139],"use":[141],"constraints":[143,155],"process.We":[148],"show":[149],"that":[150,159],"satis":[151],"ability":[152],"these":[154],"decidable":[157],"they":[160],"introduce":[163],"termination":[165],"their":[168],"own.We":[169],"will":[170],"thus":[171],"present":[172],"has":[178],"operator.almost":[183],"control":[185],"polyvariance.always":[187],"terminates":[188],"while":[189],"ensuring":[190],"closedness":[192],"independence":[194],"conditions":[195],"(slightly":[196],"adapted":[197],"allow":[199],"constraints)":[200],"[12].":[202]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}