Systems Problem Solving by Automated Reasoning Approach

机译：通过自动推理方法解决系统问题

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Masahiro Kurihara; Azuma Ouchi; Ikuo Kaji;
展开▼
作者单位

展开▼
年度 1987
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Hypothetical reasoning approach for Automated Guided Vehicle action decision in Autonomous Decentralised Flexible Manufacturing Systems [J] . Rizauddin Ramli, Hidehiko Yamamoto, Jaber Abu Qudeiri International Journal of Intelligent Systems Technologies and Applications . 2009,第2期

机译：自主分散柔性制造系统中的自动引导车辆行动决策的假设推理方法
2. Leveraging XML-based electronic medical records to extract experiential clinical knowledge An automated approach to generate cases for medical case-based reasoning systems [J] . Syed Sibte Raza Abidi, Selvakumar Manickam International journal of medical informatics . 2002,第1a3期

机译：利用基于XML的电子病历来提取经验性临床知识一种为基于医疗案例的推理系统生成案例的自动化方法
3. A monadic approach to automated reasoning for Bluespec SystemVerilog [J] . Dominic Richards, David Lester Innovations in Systems and Software Engineering . 2011,第2期

机译：Bluespec SystemVerilog的自动推理的单子方法
4. An agent approach to flexible automated production systems based on discrete and continuous reasoning [C] . Sebastian Rehberger, Lucas Spreiter, Birgit Vogel-Heuser IEEE International Conference on Automation Science and Engineering . 2016

机译：基于离散和连续推理的灵活自动化生产系统的代理方法
5. Distributed automated reasoning: The role of knowledge in distributed problem solving [D] . MacIntosh, Douglas John. 1990

机译：分布式自动推理：知识在分布式问题解决中的作用
6. Describing complex clinical scenarios at the bed-side: Is a systems science approach useful? Exploring a novel diagrammatic approach to facilitate clinical reasoning [O] . Saroj Jayasinghe 2016

机译：在床边描述复杂的临床情况：系统科学方法有用吗？探索一种新颖的图解方法以促进临床推理
7. Knowledge representation and commonsense reasoning: Reviews of four books Ronald J.BrachmanHector J.LevesqueKnowledge Representation and Reasoning2004Morgan Kaufmann1558609326381 pagesRaymondReiterKnowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems2001MIT Press0262182181448 pagesErik T.MuellerCommonsense Reasoning2006Morgan Kaufmann0123693888432 pagesChittaBaralKnowledge Representation, Reasoning and Declarative Problem Solving2003Cambridge University Press0521818028544 pages [O] . Morgenstern Leora 2006

机译：知识表示和常识推理：对四本书的评论Ronald J.BrachmanHector J.Levesque知识表示和推理2004Morgan Kaufmann1558609326381页RaymondReiter行动知识：指定和实现动态系统的逻辑基础2001MIT Press0262182181448页Erik T.MuellerCommons理性200320060523CaelKalymann123香客机密页数
8. Approach to the Verification of a Fault-Tolerant, Computer-Based Reactor Safety System: A Case Study Using Automated Reasoning: Volume 1: Interim Report [R] . Chisholm, G. H. , Kljaich, J. , Smith, B. T. , 1987

机译：验证容错，基于计算机的反应堆安全系统的方法：使用自动推理的案例研究：第1卷：中期报告

Systems Problem Solving by Automated Reasoning Approach

著录项

引文网络

相似文献

相关主题

期刊订阅