中文簡介

《自動推理跨學(xué)科雜志》平衡了理論、實現(xiàn)和應(yīng)用。覆蓋范圍從提出一個新的推理規(guī)則及其邏輯特性的證明，到詳細(xì)的計算機(jī)程序設(shè)計，以解決工業(yè)中的各種問題。主題包括自動定理證明、邏輯編程、專家系統(tǒng)、程序合成和驗證、人工智能、計算邏輯、機(jī)器人和各種工業(yè)應(yīng)用。內(nèi)容集中在自動推理的幾個方面，這個領(lǐng)域的目標(biāo)是設(shè)計和實現(xiàn)一個計算機(jī)程序，作為解決問題和回答需要推理的問題的助手。《自動推理雜志》為那些純粹對理論感興趣的人、那些主要對實施感興趣的人以及那些對具體研究和工業(yè)應(yīng)用感興趣的人提供了一個論壇和一種交換信息的方法。

　　英文簡介

The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

　　近年期刊影響因子趨勢圖

　　相關(guān)工程技術(shù)SCI期刊推薦

• SemimonthlyADVANCED MATERIALS
• Journal of Materials Chemistry A
• MonthlyADVANCED FUNCTIONAL MATERIALS
• SemimonthlyAPPLIED CATALYSIS B-ENVIRONMENTAL
• SemimonthlyJOURNAL OF HAZARDOUS MATERIALS
• SemimonthlyJOURNAL OF ALLOYS AND COMPOUNDS
• MonthlyBiotechnology for Biofuels
• Materials Science & Engineering C-Materials for Biological Applications
• MonthlySmall
• MonthlyJOURNAL OF THE ELECTROCHEMICAL SOCIETY