首页>外文会议>其他>International conference on model-based reasoning: Scientific discovery, technological innovation, values

International conference on model-based reasoning: Scientific discovery, technological innovation, values

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.ENCODING AND USING DOMAIN KNOWLEDGE ON POPULATION DYNAMICS FOR EQUATION DISCOVERY

机译：对等式发现人口动态的编码和使用域知识
- 作者：Saso Dzeroski;Ljupco Todorovski
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
2.DEGREES OF ABDUCTIVE BOLDNESS

机译：令人痛苦的大胆程度
- 作者：Isabella C. Burger;Johannes Heidema
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
3.COMBINING STRATEGY AND SUB-MODELS FOR THE OBJECTIFIED COMMUNICATION OF RESEARCH PROGRAMS

机译：结合研究计划的客观通信的策略和子模型
- 作者：Ekkehard Finkeissen
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
4.A LOGICAL ANALYSIS OF GRAPHICAL CONSISTENCY PROOFS

机译：图形一致性证明的逻辑分析
- 作者：Atsushi Shimojima
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
5.AMPLIATIVE ADAPTIVE LOGICS AND THE FOUNDATION OF LOGIC-BASED APPROACHES TO ABDUCTION

机译：放大的自适应逻辑和基于逻辑的绑架方法的基础
- 作者：Joke Meheus;Liza Verhoeven;Maarten Van Dyck;Dagmar Provijn
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
6.A LOGICAL APPROACH TO THE ANALYSIS OF METAPHORS

机译：隐喻分析的逻辑方法
- 作者：Isabel DHarris
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
7.SCIENTIFIC EXPLANATION AND MODIFIED SEMANTIC TABLEAUX

机译：科学解释和修饰的语义表
- 作者：Angel Nepomuceno-Fernandez
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
8.MODEL-BASED DIAGNOSIS OF DYNAMIC SYSTEMS: SYSTEMATIC CONFLICT GENERATION

机译：基于模型的动态系统诊断：系统冲突
- 作者：Bartlomiej Gorny;Antoni Ligeza
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
9.MODEL-GUIDED PROOF PLANNING

机译：模型引导规划
- 作者：Seungyeob Choi;Manfred Kerber
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
10.MODELING THROUGH HUMAN-COMPUTER INTERACTIONS AND MATHEMATICAL DISCOURSE

机译：通过人机互动和数学话语建模
- 作者：Germana Menezes da Nobrega;Philippe Malbos;Jean Sallantin
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
11.COMPUTATIONAL DISCOVERY OF COMMUNICABLE SCIENTIFIC KNOWLEDGE

机译：可传染科学知识的计算发现
- 作者：Pat Langley;Jeff Shrager;Kazumi Saito
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
12.ADAPTIVE LOGICS FOR NON-EXPLANATORY AND EXPLANATORY DIAGNOSTIC REASONING

机译：非解释性和解释性诊断推理的自适应逻辑
- 作者：Dagmar Provijn;Erik Weber
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
13.A CASE STUDY OF THE DESIGN AND IMPLEMENTATION OF HETEROGENEOUS REASONING SYSTEMS

机译：异构推理系统的设计与实现案例研究
- 作者：Nik Swoboda;Gerard Allwein
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
14.DIAGRAMMATIC INFERENCE AND GRAPHICAL PROOF

机译：图解推理和图形证明
- 作者：Luis A. Pineda
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年
15.REASONING ABOUT MODELS OF NONLINEAR SYSTEMS

机译：关于非线性系统模型的推理
- 作者：Reinhard Stolle;Matthew Easley;Elizabeth Bradley
- 会议名称：《International conference on model-based reasoning: Scientific discovery, technological innovation, values》 | 2002年