thumbnail

Journal of Automated Reasoning

  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
Các tạp chí khác
Tạp chí tin học và điều khiển học
Tạp chí Phụ Sản
Y Dược học cổ truyền Quân sự
Tạp chí Khoa học Xã hội và Nhân văn
Journal of International Economics and Management
Tạp chí Dinh dưỡng và Thực phẩm
Tạp chí Khoa học Đại học Đồng Tháp
Tạp chí Khoa học Tự nhiên Đại học Quốc gia Thành phố Hồ Chí Minh
Tạp chí Khoa học Kiểm sát
Tạp chí Khoa học Kiến trúc và Xây dựng