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 Kiến trúc và Xây dựng
Tạp chí Khoa học - Công nghệ trong lĩnh vực An toàn thông tin
Tạp chí Nghiên cứu Khoa học và Công nghệ quân sự
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í Nghiên cứu Chính sách và Quản lý
Tạp chí Khoa học Đại học Tây Nguyên
Tạp chí điện tử Khoa học và Công nghệ Giao thông
Tạp chí Y học Cộng đồng