{"id":"https://openalex.org/W4232867903","doi":"https://doi.org/10.1007/978-0-387-09766-4_116","title":"Logic Languages","display_name":"Logic Languages","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W4232867903","doi":"https://doi.org/10.1007/978-0-387-09766-4_116"},"language":"en","primary_location":{"id":"doi:10.1007/978-0-387-09766-4_116","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-0-387-09766-4_116","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Encyclopedia of Parallel Computing","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://oa.upm.es/55451/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075517045","display_name":"Jack Dongarra","orcid":"https://orcid.org/0000-0003-3247-1782"},"institutions":[{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]}],"countries":["LU","US"],"is_corresponding":true,"raw_author_name":"Jack Dongarra","raw_affiliation_strings":["LBNL Climate Computer","\uf6dc The University of Texas at Austin, Austin, TX, USA","Yale University, New Haven, CT, USA","Luszczek University of Tennessee, Knoxville, TN, USA","LBNL Climate","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","University of Tennessee, Knoxville, TN, USA","David Padua","Yale University","ABL , /"],"affiliations":[{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073990539","display_name":"Piotr \u0141uszczek","orcid":"https://orcid.org/0000-0002-0089-6965"},"institutions":[{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]},{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Piotr Luszczek","raw_affiliation_strings":["University of Tennessee, Knoxville, TN, USA","\uf6dc The University of Texas at Austin, Austin, TX, USA","Yale University","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","Luszczek University of Tennessee, Knoxville, TN, USA","ABL , /","LBNL Climate","Yale University, New Haven, CT, USA","David Padua","LBNL Climate Computer"],"affiliations":[{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112773796","display_name":"Paul Feautrier","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paul Feautrier","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035211620","display_name":"Field G. Zee","orcid":"https://orcid.org/0009-0007-2498-9430"},"institutions":[{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Field G. Zee","raw_affiliation_strings":["David Padua","University of Tennessee, Knoxville, TN, USA","Yale University, New Haven, CT, USA","\uf6dc The University of Texas at Austin, Austin, TX, USA","LBNL Climate","ABL , /","Yale University","Luszczek University of Tennessee, Knoxville, TN, USA","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","LBNL Climate Computer"],"affiliations":[{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051174937","display_name":"Ernie Chan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Ernie Chan","raw_affiliation_strings":["LBNL Climate","Yale University, New Haven, CT, USA","University of Tennessee, Knoxville, TN, USA","David Padua","LBNL Climate Computer","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","Luszczek University of Tennessee, Knoxville, TN, USA","\uf6dc The University of Texas at Austin, Austin, TX, USA","Yale University","ABL , /"],"affiliations":[{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061722569","display_name":"Robert A. Geijn","orcid":"https://orcid.org/0009-0004-6434-8492"},"institutions":[{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Robert A. Geijn","raw_affiliation_strings":["University of Tennessee, Knoxville, TN, USA","LBNL Climate","ABL , /","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","Luszczek University of Tennessee, Knoxville, TN, USA","\uf6dc The University of Texas at Austin, Austin, TX, USA","LBNL Climate Computer","David Padua","Yale University, New Haven, CT, USA","Yale University"],"affiliations":[{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]},{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113469878","display_name":"Robert Bjornson","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]},{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Robert Bjornson","raw_affiliation_strings":["Yale University, New Haven, CT, USA","LBNL Climate Computer","Yale University","University of Tennessee, Knoxville, TN, USA","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","\uf6dc The University of Texas at Austin, Austin, TX, USA","David Padua","ABL , /","LBNL Climate","Luszczek University of Tennessee, Knoxville, TN, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075517045","display_name":"Jack Dongarra","orcid":"https://orcid.org/0000-0003-3247-1782"},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]},{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Jack Dongarra","raw_affiliation_strings":["Yale University","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","LBNL Climate","David Padua","Yale University, New Haven, CT, USA","Luszczek University of Tennessee, Knoxville, TN, USA","\uf6dc The University of Texas at Austin, Austin, TX, USA","University of Tennessee, Knoxville, TN, USA","LBNL Climate Computer","ABL , /"],"affiliations":[{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073990539","display_name":"Piotr \u0141uszczek","orcid":"https://orcid.org/0000-0002-0089-6965"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]},{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Piotr Luszczek","raw_affiliation_strings":["\uf63a NVIDIA Corporation, Santa Clara, CA, USA","Yale University","Yale University, New Haven, CT, USA","\uf6dc The University of Texas at Austin, Austin, TX, USA","ABL , /","University of Tennessee, Knoxville, TN, USA","David Padua","LBNL Climate Computer","LBNL Climate","Luszczek University of Tennessee, Knoxville, TN, USA"],"affiliations":[{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108104267","display_name":"Bernard Philippe","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bernard Philippe","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046544884","display_name":"Ahmed Sameh","orcid":"https://orcid.org/0000-0003-0158-6835"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ahmed Sameh","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108104267","display_name":"Bernard Philippe","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bernard Philippe","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046544884","display_name":"Ahmed Sameh","orcid":"https://orcid.org/0000-0003-0158-6835"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ahmed Sameh","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075517045","display_name":"Jack Dongarra","orcid":"https://orcid.org/0000-0003-3247-1782"},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]},{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Jack Dongarra","raw_affiliation_strings":["Yale University","David Padua","ABL , /","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","Yale University, New Haven, CT, USA","LBNL Climate","University of Tennessee, Knoxville, TN, USA","\uf6dc The University of Texas at Austin, Austin, TX, USA","Luszczek University of Tennessee, Knoxville, TN, USA","LBNL Climate Computer"],"affiliations":[{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073990539","display_name":"Piotr \u0141uszczek","orcid":"https://orcid.org/0000-0002-0089-6965"},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Piotr Luszczek","raw_affiliation_strings":["ABL , /","Luszczek University of Tennessee, Knoxville, TN, USA","Yale University, New Haven, CT, USA","David Padua","LBNL Climate","LBNL Climate Computer","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","\uf6dc The University of Texas at Austin, Austin, TX, USA","Yale University","University of Tennessee, Knoxville, TN, USA"],"affiliations":[{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"David Padua","institution_ids":[]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072653508","display_name":"Guy L. Steele","orcid":"https://orcid.org/0000-0002-1421-3811"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guy L. Steele","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056691858","display_name":"John L. Gustafson","orcid":"https://orcid.org/0000-0002-2957-1304"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John L. Gustafson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075517045","display_name":"Jack Dongarra","orcid":"https://orcid.org/0000-0003-3247-1782"},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]},{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Jack Dongarra","raw_affiliation_strings":["LBNL Climate","\uf6dc The University of Texas at Austin, Austin, TX, USA","LBNL Climate Computer","ABL , /","Yale University, New Haven, CT, USA","University of Tennessee, Knoxville, TN, USA","Luszczek University of Tennessee, Knoxville, TN, USA","Yale University","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","David Padua"],"affiliations":[{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"David Padua","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073990539","display_name":"Piotr \u0141uszczek","orcid":"https://orcid.org/0000-0002-0089-6965"},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]},{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]},{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]},{"id":"https://openalex.org/I4210120677","display_name":"Advanced Biological Laboratories (Luxembourg)","ror":"https://ror.org/02fhzax24","country_code":"LU","type":"company","lineage":["https://openalex.org/I4210120677"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["LU","US"],"is_corresponding":false,"raw_author_name":"Piotr Luszczek","raw_affiliation_strings":["LBNL Climate Computer","Yale University, New Haven, CT, USA","Yale University","Luszczek University of Tennessee, Knoxville, TN, USA","University of Tennessee, Knoxville, TN, USA","ABL , /","LBNL Climate","\uf6dc The University of Texas at Austin, Austin, TX, USA","\uf63a NVIDIA Corporation, Santa Clara, CA, USA","David Padua"],"affiliations":[{"raw_affiliation_string":"LBNL Climate Computer","institution_ids":[]},{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Yale University","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Luszczek University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"ABL , /","institution_ids":["https://openalex.org/I4210120677"]},{"raw_affiliation_string":"LBNL Climate","institution_ids":[]},{"raw_affiliation_string":"\uf6dc The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"\uf63a NVIDIA Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210127875"]},{"raw_affiliation_string":"David Padua","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062449649","display_name":"Aaron T. Becker","orcid":"https://orcid.org/0000-0001-7614-6282"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aaron Becker","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109069612","display_name":"Gengbin Zheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gengbin Zheng","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051465480","display_name":"Laxmikant V. Kal\u00e9","orcid":"https://orcid.org/0000-0001-9673-8445"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laxmikant V. Kal\u00e9","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013181067","display_name":"Keshav Pingali","orcid":"https://orcid.org/0000-0002-0484-4636"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Keshav Pingali","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030575094","display_name":"Manuel Carro","orcid":"https://orcid.org/0000-0001-5199-3135"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Manuel Carro","raw_affiliation_strings":["School of Computer Science, Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Manuel Hermenegildo","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047818597","display_name":"Utpal Banerjee","orcid":"https://orcid.org/0000-0001-6247-0284"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Utpal Banerjee","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5037426251","display_name":"Roland Wism\u00fcller","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roland Wism\u00fcller","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":27,"corresponding_author_ids":["https://openalex.org/A5075517045"],"corresponding_institution_ids":["https://openalex.org/I32971472","https://openalex.org/I4210120677","https://openalex.org/I4210127875","https://openalex.org/I75027704","https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38588235,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1057","last_page":"1068"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.7753000259399414,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.7753000259399414,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7511000037193298,"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/programming-language","display_name":"Programming language","score":0.4803779721260071},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4670490324497223},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.32486656308174133},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.20628145337104797}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4803779721260071},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4670490324497223},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.32486656308174133},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.20628145337104797}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-0-387-09766-4_116","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-0-387-09766-4_116","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Encyclopedia of Parallel Computing","raw_type":"book-chapter"},{"id":"pmh:oai:oa.upm.es:55451","is_oa":true,"landing_page_url":"https://oa.upm.es/55451/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logic languages | En: Encyclopedia of parallel computing | pag. 1057-1068 | Springer | 2011","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"pmh:oai:oa.upm.es:55451","is_oa":true,"landing_page_url":"https://oa.upm.es/55451/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logic languages | En: Encyclopedia of parallel computing | pag. 1057-1068 | Springer | 2011","raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}