cerebral
发表于 2025-3-21 20:08:17
书目名称KI-96: Advances in Artificial Intelligence影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0541665<br><br> <br><br>书目名称KI-96: Advances in Artificial Intelligence影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0541665<br><br> <br><br>书目名称KI-96: Advances in Artificial Intelligence网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0541665<br><br> <br><br>书目名称KI-96: Advances in Artificial Intelligence网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0541665<br><br> <br><br>书目名称KI-96: Advances in Artificial Intelligence被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0541665<br><br> <br><br>书目名称KI-96: Advances in Artificial Intelligence被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0541665<br><br> <br><br>书目名称KI-96: Advances in Artificial Intelligence年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0541665<br><br> <br><br>书目名称KI-96: Advances in Artificial Intelligence年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0541665<br><br> <br><br>书目名称KI-96: Advances in Artificial Intelligence读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0541665<br><br> <br><br>书目名称KI-96: Advances in Artificial Intelligence读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0541665<br><br> <br><br>
细颈瓶
发表于 2025-3-21 20:18:52
DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover,nding this further to minimal model reasoning and query processing wrt normal disjunctive logic programming too. The first phase of the project is complete and DisLoP can now perform minimal model reasoning with positive disjunctive logic programs, using both bottom-up and top-down strategies.
沙草纸
发表于 2025-3-22 01:56:42
http://reply.papertrans.cn/55/5417/541665/541665_3.png
慢跑鞋
发表于 2025-3-22 07:34:32
Reasoning about action and change: Defeasible observations and actions with abnormal effects,rmalities, what allows us to prefer some actions and/or observations while resolving conflicts..To represent actions, we use Dijkstra‘s methodology, originally developed for reasoning about programs. To deal with abnormalities, Dijkstra‘s approach is combined with Reiter‘s version of default logic with priorities.
CHARM
发表于 2025-3-22 10:22:57
http://reply.papertrans.cn/55/5417/541665/541665_5.png
闲荡
发表于 2025-3-22 16:37:10
0302-9743 road. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.978-3-540-61708-2978-3-540-70669-4Series ISSN 0302-9743 Series E-ISSN 1611-3349
使隔离
发表于 2025-3-22 19:34:18
A revision of Dependency-Directed Backtracking for JTMS, contradiction foundations that allows to use the premises as added justifications. Our revised DDB allows to resolve more inconsistencies than Petrie‘s DDB. Moreover, a preference ordering over the assumption justifications can be integrated; this order gives the problem solver some control over the choice of electives.
Dawdle
发表于 2025-3-22 21:58:04
http://reply.papertrans.cn/55/5417/541665/541665_8.png
mortgage
发表于 2025-3-23 04:53:19
,Solving hard combinatorial problems with GSAT — A case study,ch are responsible for GSAT‘s poor performance on this problem class. An empirical analysis indicates that several methods which have been designed to improve GSAT on structured problems are not effective for SAT-transformed HCP-instances.
惊惶
发表于 2025-3-23 06:11:44
http://reply.papertrans.cn/55/5417/541665/541665_10.png