thumbnail

Journal of Automated Reasoning

SCOPUS (1985-2023)SCIE-ISI

  1573-0670

  0168-7433

 

 

Cơ quản chủ quản:  SPRINGER , Springer Netherlands

Lĩnh vực:
Computational Theory and MathematicsSoftwareArtificial Intelligence

Các bài báo tiêu biểu

Automated deduction by theory resolution
Tập 1 Số 4 - 1985
Mark E. Stickel
Seventy-five problems for testing automatic theorem provers
- 1986
Francis Jeffry Pelletier
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
- 2007
Ian Horrocks, Ulrike Sattler
Answer Set Programming Based on Propositional Satisfiability
- 2007
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
Closed-Form Upper Bounds in Static Cost Analysis
Tập 46 Số 2 - Trang 161-203 - 2011
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
- 2007
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Embedding defaults into terminological knowledge representation formalisms
Tập 14 Số 1 - Trang 149-180 - 1995
Franz Baader, Bernhard Hollunder
An approach to systems verification
- 1989
William R. Bevier, Warren A. Hunt, J. Strother Moore, William D. Young
Extending Sledgehammer with SMT Solvers
- 2013
Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
Tập 15 Số 1 - Trang 41-68 - 1995
Franz Baader, Bernhard Hollunder
Chỉ mục cơ sở dữ liệu
Scopus - Elsevier

Index Years: 1985-2023

Xem chi tiết

ISI/SCIE - Science Citation Index Expanded

Xem chi tiết

Các tạp chí khác
Tạp chí Khoa học Đào tạo & Huấn luyện thể thao
Tạp chí Khoa học Xã hội, Nhân văn và Giáo dục Trường Đại học Sư phạm - Đại học Đà Nẵng
Nuclear Science and Technology
Tạp chí Khoa học Đại học Tây Nguyên
Tạp chí Dầu khí
Tạp chí Khoa học Đại học Huế: Khoa học Trái đất và Môi trường
Tạp chí Khoa học Đại học Huế: Kinh tế và Phát triển
Tạp chí Truyền nhiễm Việt Nam
Tạp chí Nông nghiệp và Phát triển
Tạp chí Khoa học và Công nghệ Nông nghiệp