{"id":"https://openalex.org/W2152572412","doi":"https://doi.org/10.1109/coginf.2011.6016121","title":"The operational semantics of Concept Algebra for cognitive computing and machine learning","display_name":"The operational semantics of Concept Algebra for cognitive computing and machine learning","publication_year":2011,"publication_date":"2011-08-01","ids":{"openalex":"https://openalex.org/W2152572412","doi":"https://doi.org/10.1109/coginf.2011.6016121","mag":"2152572412"},"language":"en","primary_location":{"id":"doi:10.1109/coginf.2011.6016121","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2011.6016121","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11)","raw_type":"proceedings-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/A5012322217","display_name":"Yingxu Wang","orcid":"https://orcid.org/0000-0003-0445-3632"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Yingxu Wang","raw_affiliation_strings":["International Institute of Cognitive Informatics and Cognitive Computing (IICICC), Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, Schulich School of Engineering, University of Calgary, Calgary, AB, Canada"],"affiliations":[{"raw_affiliation_string":"International Institute of Cognitive Informatics and Cognitive Computing (IICICC), Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, Schulich School of Engineering, University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103344704","display_name":"Yousheng Tian","orcid":"https://orcid.org/0009-0004-3532-0941"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yousheng Tian","raw_affiliation_strings":["International Institute of Cognitive Informatics and Cognitive Computing (IICICC), Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, Schulich School of Engineering, University of Calgary, Calgary, AB, Canada"],"affiliations":[{"raw_affiliation_string":"International Institute of Cognitive Informatics and Cognitive Computing (IICICC), Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, Schulich School of Engineering, University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081839667","display_name":"Kendall Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kendall Hu","raw_affiliation_strings":["International Institute of Cognitive Informatics and Cognitive Computing (IICICC), Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, Schulich School of Engineering, University of Calgary, Calgary, AB, Canada"],"affiliations":[{"raw_affiliation_string":"International Institute of Cognitive Informatics and Cognitive Computing (IICICC), Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, Schulich School of Engineering, University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5012322217"],"corresponding_institution_ids":["https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":2.1379,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.8929812,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"2","issue":null,"first_page":"49","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9998999834060669,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.9998999834060669,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9556999802589417,"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/T12805","display_name":"Cognitive Science and Mapping","score":0.9212999939918518,"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/computer-science","display_name":"Computer science","score":0.7822678685188293},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6665624976158142},{"id":"https://openalex.org/keywords/cognitive-computing","display_name":"Cognitive computing","score":0.6403042674064636},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.6059513688087463},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5934470891952515},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.586923360824585},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5263237357139587},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46453529596328735},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46029719710350037},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4394729435443878},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4278357923030853},{"id":"https://openalex.org/keywords/computational-semantics","display_name":"Computational semantics","score":0.41708412766456604},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4101281464099884},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3927425444126129},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.39193084836006165}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7822678685188293},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6665624976158142},{"id":"https://openalex.org/C92298750","wikidata":"https://www.wikidata.org/wiki/Q17008161","display_name":"Cognitive computing","level":3,"score":0.6403042674064636},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.6059513688087463},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5934470891952515},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.586923360824585},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5263237357139587},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46453529596328735},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46029719710350037},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4394729435443878},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4278357923030853},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.41708412766456604},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4101281464099884},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3927425444126129},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.39193084836006165},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coginf.2011.6016121","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2011.6016121","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6299999952316284}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W139986479","https://openalex.org/W1480781989","https://openalex.org/W1483241283","https://openalex.org/W1540500137","https://openalex.org/W1560374531","https://openalex.org/W1596967103","https://openalex.org/W1597092345","https://openalex.org/W1599457040","https://openalex.org/W1851672339","https://openalex.org/W1874539085","https://openalex.org/W2001390679","https://openalex.org/W2027732084","https://openalex.org/W2033277483","https://openalex.org/W2034088070","https://openalex.org/W2040512820","https://openalex.org/W2046241767","https://openalex.org/W2049592515","https://openalex.org/W2070141931","https://openalex.org/W2071515776","https://openalex.org/W2081580037","https://openalex.org/W2093715626","https://openalex.org/W2102381086","https://openalex.org/W2103812576","https://openalex.org/W2116871211","https://openalex.org/W2126936154","https://openalex.org/W2134470215","https://openalex.org/W2312015575","https://openalex.org/W4231298442","https://openalex.org/W4234423219","https://openalex.org/W4236448544","https://openalex.org/W4255318870","https://openalex.org/W4299947740","https://openalex.org/W6605657769"],"related_works":["https://openalex.org/W1975908952","https://openalex.org/W4394639331","https://openalex.org/W2073736684","https://openalex.org/W2089938479","https://openalex.org/W3106373601","https://openalex.org/W2348616540","https://openalex.org/W1487472891","https://openalex.org/W4285217401","https://openalex.org/W1530733469","https://openalex.org/W1426476981"],"abstract_inverted_index":{"Concept":[0],"Algebra":[1],"(CA)":[2],"is":[3,48,65],"a":[4,22,52,93],"denotational":[5],"mathematical":[6],"structure":[7],"for":[8,43,100],"formal":[9],"knowledge":[10,26,83],"representation":[11],"and":[12,17,24,28,36,70,92,103,112],"manipulations":[13],"in":[14,57,105],"cognitive":[15,106],"computing":[16],"machine":[18,110],"learning.":[19],"CA":[20,47,99],"provides":[21],"rigorous":[23],"dynamic":[25],"modeling":[27],"processing":[29],"tool,":[30],"which":[31],"extends":[32],"the":[33,44,74,89],"informal,":[34],"static,":[35],"application-specific":[37],"ontological":[38],"technologies.":[39],"An":[40],"operational":[41],"semantics":[42],"calculus":[45],"of":[46,54,77,96,98],"formally":[49],"elaborated":[50],"using":[51,84],"set":[53],"computational":[55,113],"processes":[56],"real-time":[58],"process":[59],"algebra":[60],"(RTPA).":[61],"A":[62],"case":[63],"study":[64],"presented":[66],"on":[67],"how":[68],"machines":[69,104],"agents":[71],"may":[72],"mimic":[73],"key":[75],"ability":[76],"human":[78],"beings":[79],"to":[80],"autonomously":[81],"manipulate":[82],"CA.":[85],"This":[86],"work":[87],"demonstrates":[88],"expressive":[90],"power":[91],"wide":[94],"range":[95],"applications":[97],"both":[101],"humans":[102],"computing,":[107,109],"semantic":[108],"learning,":[111],"intelligence.":[114]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}