{"id":"https://openalex.org/W1981948868","doi":"https://doi.org/10.1007/bf00881954","title":"Tableaux for logic programming","display_name":"Tableaux for logic programming","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W1981948868","doi":"https://doi.org/10.1007/bf00881954","mag":"1981948868"},"language":"en","primary_location":{"id":"doi:10.1007/bf00881954","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00881954","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","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/A5086117892","display_name":"Melvin Fitting","orcid":"https://orcid.org/0000-0003-0229-114X"},"institutions":[{"id":"https://openalex.org/I161301626","display_name":"Lehman College","ror":"https://ror.org/03m908832","country_code":"US","type":"education","lineage":["https://openalex.org/I161301626"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Melvin Fitting","raw_affiliation_strings":["Department Mathematics and Computer Science, Lehman College (CUNY), 10468, Bronx, NY","Depts. Computer Science, Philosophy, Mathematics, Graduate Center (CUNY), 33 West 42nd Street, NYC, 10036, NY, U.S.A","Department Mathematics and Computer Science, Lehman College (CUNY), Bronx","Depts. Computer Science, Philosophy, Mathematics, Graduate Center (CUNY), U.S.A"],"affiliations":[{"raw_affiliation_string":"Department Mathematics and Computer Science, Lehman College (CUNY), 10468, Bronx, NY","institution_ids":["https://openalex.org/I161301626"]},{"raw_affiliation_string":"Depts. Computer Science, Philosophy, Mathematics, Graduate Center (CUNY), 33 West 42nd Street, NYC, 10036, NY, U.S.A","institution_ids":[]},{"raw_affiliation_string":"Department Mathematics and Computer Science, Lehman College (CUNY), Bronx","institution_ids":["https://openalex.org/I161301626"]},{"raw_affiliation_string":"Depts. Computer Science, Philosophy, Mathematics, Graduate Center (CUNY), U.S.A","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5086117892"],"corresponding_institution_ids":["https://openalex.org/I161301626"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.5647,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.73275862,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"13","issue":"2","first_page":"175","last_page":"188"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":1.0,"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":1.0,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9984999895095825,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9983000159263611,"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.767513632774353},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.7648959159851074},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6718829870223999},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6158238649368286},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.5169462561607361},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4886372685432434},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.45423761010169983},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4541971981525421},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.430902361869812},{"id":"https://openalex.org/keywords/denotational-semantics-of-the-actor-model","display_name":"Denotational semantics of the Actor model","score":0.42750197649002075},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.42320287227630615},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38471662998199463},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2839685082435608}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.767513632774353},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7648959159851074},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6718829870223999},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6158238649368286},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.5169462561607361},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4886372685432434},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.45423761010169983},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4541971981525421},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.430902361869812},{"id":"https://openalex.org/C89448276","wikidata":"https://www.wikidata.org/wiki/Q5259284","display_name":"Denotational semantics of the Actor model","level":5,"score":0.42750197649002075},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.42320287227630615},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38471662998199463},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2839685082435608},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf00881954","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00881954","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","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":15,"referenced_works":["https://openalex.org/W6204907","https://openalex.org/W159279589","https://openalex.org/W1536217426","https://openalex.org/W1554618854","https://openalex.org/W1591825827","https://openalex.org/W1672891595","https://openalex.org/W1964113811","https://openalex.org/W1968513265","https://openalex.org/W2003531456","https://openalex.org/W2010104109","https://openalex.org/W2069972706","https://openalex.org/W2085592760","https://openalex.org/W4233253115","https://openalex.org/W4301968143","https://openalex.org/W6634202767"],"related_works":["https://openalex.org/W3036972880","https://openalex.org/W2072493788","https://openalex.org/W1768718906","https://openalex.org/W2066556632","https://openalex.org/W2000726331","https://openalex.org/W1929699059","https://openalex.org/W2257517306","https://openalex.org/W2154982982","https://openalex.org/W1968765218","https://openalex.org/W1860761177"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}