{"id":"https://openalex.org/W1965575251","doi":"https://doi.org/10.1007/bf03037436","title":"Linear logic for deductive databases","display_name":"Linear logic for deductive databases","publication_year":1999,"publication_date":"1999-06-01","ids":{"openalex":"https://openalex.org/W1965575251","doi":"https://doi.org/10.1007/bf03037436","mag":"1965575251"},"language":"en","primary_location":{"id":"doi:10.1007/bf03037436","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf03037436","pdf_url":null,"source":{"id":"https://openalex.org/S165364243","display_name":"New Generation Computing","issn_l":"0288-3635","issn":["0288-3635","1882-7055"],"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":"New Generation Computing","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/A5024787296","display_name":"Dong-Tsan Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I177877127","display_name":"University of Western Australia","ror":"https://ror.org/047272k79","country_code":"AU","type":"education","lineage":["https://openalex.org/I177877127"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Dong-Tsan Lee","raw_affiliation_strings":["Logic and AI Lab., Department of Computer Science, The University of Western Australia, Nedlands, Perth, Western Australia, Australia","Logic and AI Lab., Department of Computer Science, The University of Western Australia, Perth, Australia"],"affiliations":[{"raw_affiliation_string":"Logic and AI Lab., Department of Computer Science, The University of Western Australia, Nedlands, Perth, Western Australia, Australia","institution_ids":["https://openalex.org/I177877127"]},{"raw_affiliation_string":"Logic and AI Lab., Department of Computer Science, The University of Western Australia, Perth, Australia","institution_ids":["https://openalex.org/I177877127"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108373597","display_name":"C.P. Tsang","orcid":null},"institutions":[{"id":"https://openalex.org/I177877127","display_name":"University of Western Australia","ror":"https://ror.org/047272k79","country_code":"AU","type":"education","lineage":["https://openalex.org/I177877127"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"C. P. Tsang","raw_affiliation_strings":["Logic and AI Lab., Department of Computer Science, The University of Western Australia, Nedlands, Perth, Western Australia, Australia","School of Computer Science and Software Engineering"],"affiliations":[{"raw_affiliation_string":"Logic and AI Lab., Department of Computer Science, The University of Western Australia, Nedlands, Perth, Western Australia, Australia","institution_ids":["https://openalex.org/I177877127"]},{"raw_affiliation_string":"School of Computer Science and Software Engineering","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024787296"],"corresponding_institution_ids":["https://openalex.org/I177877127"],"apc_list":{"value":2490,"currency":"EUR","value_usd":3090},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.15763907,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"2","first_page":"201","last_page":"228"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9907000064849854,"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/T11106","display_name":"Data Management and Algorithms","score":0.9822999835014343,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.9137906432151794},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.7399444580078125},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.5729472637176514},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.52872234582901},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.46467146277427673},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.4535863697528839},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.41877004504203796},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.41190534830093384},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21144893765449524}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9137906432151794},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.7399444580078125},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.5729472637176514},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.52872234582901},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.46467146277427673},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4535863697528839},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.41877004504203796},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.41190534830093384},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21144893765449524}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bf03037436","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf03037436","pdf_url":null,"source":{"id":"https://openalex.org/S165364243","display_name":"New Generation Computing","issn_l":"0288-3635","issn":["0288-3635","1882-7055"],"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":"New Generation Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/cd5a8994-425f-4efa-8ef2-5c5f90da81f0","is_oa":false,"landing_page_url":"https://research-repository.uwa.edu.au/en/publications/cd5a8994-425f-4efa-8ef2-5c5f90da81f0","pdf_url":null,"source":{"id":"https://openalex.org/S4306402523","display_name":"UWA Profiles and Research Repository (University of Western Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177877127","host_organization_name":"The University of Western Australia","host_organization_lineage":["https://openalex.org/I177877127"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lee , D-T & Tsang , C-P 1999 , ' Linear Logic for Deductive Databases ' , New Generation Computing , vol. 17 , pp. 201-228 . https://doi.org/10.1007/BF03037436","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W71891286","https://openalex.org/W119570465","https://openalex.org/W147093031","https://openalex.org/W178865075","https://openalex.org/W1490893662","https://openalex.org/W1497998981","https://openalex.org/W1505165377","https://openalex.org/W1506952729","https://openalex.org/W1529787579","https://openalex.org/W1546133793","https://openalex.org/W1554041102","https://openalex.org/W1554548315","https://openalex.org/W1590029082","https://openalex.org/W1596105581","https://openalex.org/W1835518415","https://openalex.org/W1966447039","https://openalex.org/W1977898832","https://openalex.org/W1986329319","https://openalex.org/W1993041504","https://openalex.org/W2007034626","https://openalex.org/W2010669235","https://openalex.org/W2021289373","https://openalex.org/W2049762814","https://openalex.org/W2070382139","https://openalex.org/W2080492358","https://openalex.org/W2094047447","https://openalex.org/W2095436832","https://openalex.org/W2106458801","https://openalex.org/W2122866233","https://openalex.org/W2127889926","https://openalex.org/W2138709157","https://openalex.org/W2142191554","https://openalex.org/W2147092239","https://openalex.org/W2156950788","https://openalex.org/W2163355139","https://openalex.org/W2164449382","https://openalex.org/W2311572588","https://openalex.org/W2337476019","https://openalex.org/W2338576683","https://openalex.org/W2911497883","https://openalex.org/W2911865844","https://openalex.org/W2914967825","https://openalex.org/W3144368627","https://openalex.org/W3145063512","https://openalex.org/W4210304433","https://openalex.org/W4323966281","https://openalex.org/W6607311663","https://openalex.org/W6630596752","https://openalex.org/W6635422366","https://openalex.org/W6680854752"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W2140386967","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4205997139","https://openalex.org/W2222786788","https://openalex.org/W4206249920","https://openalex.org/W4255405881","https://openalex.org/W1534488117","https://openalex.org/W1532845068"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}