{"id":"https://openalex.org/W1897890462","doi":"https://doi.org/10.3233/aic-1996-9402","title":"Slalom tree computing \u2013 a tree computing theory for artificial intelligence","display_name":"Slalom tree computing \u2013 a tree computing theory for artificial intelligence","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W1897890462","doi":"https://doi.org/10.3233/aic-1996-9402","mag":"1897890462"},"language":"en","primary_location":{"id":"doi:10.3233/aic-1996-9402","is_oa":false,"landing_page_url":"https://doi.org/10.3233/aic-1996-9402","pdf_url":null,"source":{"id":"https://openalex.org/S176303223","display_name":"AI Communications","issn_l":"0921-7126","issn":["0921-7126","1875-8452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AI Communications","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/A5045418207","display_name":"Cyrus F. Nourani","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Cyrus F. Nourani","raw_affiliation_strings":["Project METAAI and The University of California, Santa Barbara, USA. E-mail: [email\u00a0protected], [email\u00a0protected]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Project METAAI and The University of California, Santa Barbara, USA. E-mail: [email\u00a0protected], [email\u00a0protected]","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5045418207"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":2.2655,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.89014408,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"9","issue":"4","first_page":"207","last_page":"213"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9922000169754028,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9886999726295471,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8606175780296326},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.6001414060592651},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5252037644386292},{"id":"https://openalex.org/keywords/computational-intelligence","display_name":"Computational intelligence","score":0.4242815375328064},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37360820174217224},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.35963159799575806},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07684290409088135}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8606175780296326},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.6001414060592651},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5252037644386292},{"id":"https://openalex.org/C139502532","wikidata":"https://www.wikidata.org/wiki/Q1122090","display_name":"Computational intelligence","level":2,"score":0.4242815375328064},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37360820174217224},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.35963159799575806},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07684290409088135},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/aic-1996-9402","is_oa":false,"landing_page_url":"https://doi.org/10.3233/aic-1996-9402","pdf_url":null,"source":{"id":"https://openalex.org/S176303223","display_name":"AI Communications","issn_l":"0921-7126","issn":["0921-7126","1875-8452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AI Communications","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.838.3445","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.838.3445","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://content.iospress.com/download/ai-communications/aic9-4-02?id%3Dai-communications/aic9-4-02","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2054164849","https://openalex.org/W2337392266"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W3046775127","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W4313488044","https://openalex.org/W3209574120","https://openalex.org/W3107602296","https://openalex.org/W4312192474","https://openalex.org/W4210805261"],"abstract_inverted_index":{"A":[0],"basis":[1,37],"for":[2,38,54,59,71],"a":[3],"parallel":[4,39],"tree":[5,14,26,41,73,88],"computing":[6,43,61,74],"theory":[7],"with":[8,44],"intelligent":[9,12,20,45,57],"languages":[10],"and":[11,22,52,68,76,81],"algebraic":[13,40],"rewriting":[15],"is":[16],"presented.":[17],"We":[18,64],"present":[19],"syntax":[21],"put":[23],"forth":[24],"slalom":[25,60,72,87],"rewriting.":[27],"The":[28],"formulation":[29],"leads":[30],"to":[31,86],"theoretical":[32],"results":[33],"that":[34],"provide":[35],"the":[36],"rewrite":[42],"trees.":[46],"Tree":[47],"completion":[48],"theorems":[49,70,82],"are":[50,62],"presented,":[51],"techniques":[53],"generating":[55],"initial":[56],"models":[58],"developed.":[63],"also":[65],"have":[66],"soundness":[67],"completeness":[69],"logic":[75],"its":[77],"preliminary":[78],"model":[79],"theory,":[80],"relating":[83],"Reason":[84],"Slalom":[85],"computing.":[89]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-01-15T23:16:33.117629","created_date":"2025-10-10T00:00:00"}