相关期刊:《Wuhan University Journal of Natural Sciences》《Progress in Natural Science:Materials International》《International Journal of Intelligence Science》《Frontiers of Information Technology & Electronic Engineering》更多>>
Supported by the Sao Paulo Research Foundation(FAPESP),CPE SMARTNESS(2021/00199-8)and CEPID/BRAINN(2013/07559-3).
The Multipurpose Enhanced Cognitive Architecture(MECA)is a cognitive framework designed to model complex,human-like processes across multiple domains.Originally focusing on implementing a Dual Process Theory approach ...
Whether what we call the avant-garde in literature ended sometime in the last century or,conversely,persists to this day is an open question.But rather than coming down on one side or another of the issue,this essay c...
the Capacity Development Fund of Southwest University,China(No.SWU116007);the National Natural Science Foundation of China(Nos.61732019,61672435,and 61811530327)。
Cyber-physical systems(CPSs)are distributed assemblages of computing,communicating,and physical components that sense their environment,algorithmically assess the incoming information,and affect their physical environ...
Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object queries over DL ontologies, instance checki...
Supported by the National Natural Sciences Foundation of China(60373066 ,60425206 ,90412003) , National Grand Fundamental Research 973 Pro-gramof China(2002CB312000) , National Research Foundation for the Doctoral Pro-gramof Higher Education of China (20020286004)
This paper proposes a checking method based on mutual instances and discusses three key problems in the method: how to deal with mistakes in the mutual instances and how to deal with too many or too few mutual instan...
Generalized subsumption is a kind of partial ordering relations used in the comparison of clausesbased on background knowledge.It decreases the search space by merging all the hypotheseswith redundant constraints into...