{"id":"https://openalex.org/W1978930043","doi":"https://doi.org/10.1145/800055.802049","title":"TABLOG","display_name":"TABLOG","publication_year":1984,"publication_date":"1984-01-01","ids":{"openalex":"https://openalex.org/W1978930043","doi":"https://doi.org/10.1145/800055.802049","mag":"1978930043"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/800055.802049","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5025981856","display_name":"Yonathan Malachi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yonathan Malachi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034436241","display_name":"Zohar Manna","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zohar Manna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5048556134","display_name":"Richard Waldinger","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard Waldinger","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.207,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":19,"citation_normalized_percentile":{"value":0.708271,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9999,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9999,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9992,"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/T10142","display_name":"Formal Methods in Verification","score":0.9943,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.51858664}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/800055.802049","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":10,"referenced_works":["https://openalex.org/W1480298537","https://openalex.org/W1559996602","https://openalex.org/W1573806080","https://openalex.org/W1576020708","https://openalex.org/W1823940342","https://openalex.org/W19647984","https://openalex.org/W2012436850","https://openalex.org/W2053547980","https://openalex.org/W2100738443","https://openalex.org/W2212036697"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W1596801655"],"abstract_inverted_index":{"TABLOG":[0,20,29,61,83],"(Tableau":[1],"Logic":[2],"Programming":[3],"Language)":[4],"is":[5,30,45],"a":[6,31,36,75,79],"language":[7],"combining":[8],"functional":[9],"and":[10,25,42,48,88],"logic":[11,17,38],"programming":[12],"using":[13],"first-order":[14,37],"(quantifier-free)":[15],"predicate":[16],"with":[18],"equality.":[19],"incorporates":[21],"advantages":[22],"of":[23,33,74],"LISP":[24,70],"PROLOG.A":[26],"program":[27],"in":[28,35],"list":[32],"formulas":[34],"(including":[39],"equality,":[40],"negation,":[41],"equivalence)":[43],"that":[44],"more":[46,49],"general":[47],"expressive":[50],"than":[51],"PROLOG'S":[52],"Horn":[53],"clauses.":[54],"Whereas":[55],"PROLOG":[56],"programs":[57,62,71,84],"must":[58],"be":[59,86],"relational,":[60],"may":[63],"define":[64],"either":[65],"relations":[66,87],"or":[67],"functions.":[68],"While":[69],"yield":[72],"results":[73,92],"computation":[76],"by":[77],"returning":[78],"single":[80],"output":[81],"value,":[82],"can":[85,89],"produce":[90],"several":[91],"simultaneously":[93],"through":[94],"their":[95],"arguments.":[96]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1978930043","counts_by_year":[],"updated_date":"2024-12-16T20:21:12.446579","created_date":"2016-06-24"}