Titlebook: KI-96: Advances in Artificial Intelligence; 20th Annual German C Günther Görz,Steffen Hölldobler Conference proceedings 1996 Springer-Verla

cerebral

书目名称KI-96: Advances in Artificial Intelligence影响因子(影响力)




书目名称KI-96: Advances in Artificial Intelligence影响因子(影响力)学科排名




书目名称KI-96: Advances in Artificial Intelligence网络公开度




书目名称KI-96: Advances in Artificial Intelligence网络公开度学科排名




书目名称KI-96: Advances in Artificial Intelligence被引频次




书目名称KI-96: Advances in Artificial Intelligence被引频次学科排名




书目名称KI-96: Advances in Artificial Intelligence年度引用




书目名称KI-96: Advances in Artificial Intelligence年度引用学科排名




书目名称KI-96: Advances in Artificial Intelligence读者反馈




书目名称KI-96: Advances in Artificial Intelligence读者反馈学科排名

细颈瓶

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.

沙草纸

慢跑鞋

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

闲荡

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

使隔离

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

mortgage

,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.

惊惶