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í Nhi khoa
Vietnam Journal of Science, Technology and Engineering
Journal of International Economics and Management
Tạp chí Nghiên cứu Y học
Tạp chí Khoa học Đại học Đông Á
Nuclear Science and Technology
Tạp chí Phẫu thuật Tim mạch và Lồng ngực Việt Nam
Vietnam Journal of Mechanics
Dalat University Journal of Science
Tạp chí Y học Việt Nam