1. OWL Reasoning: Subsumption Test Hardness and Modularity

   • Nicolas Matentzoglu
   • Bijan Parsia
   • Uli Sattler

   OriginalPaper Open access 08 June 2017 Pages: 385 - 419

   

2. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

   • Luis Aguirre
   • Narciso Martí-Oliet
   • Isabel Pita

   OriginalPaper 06 June 2017 Pages: 421 - 463

   

3. Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories

   • Salvador Lucas
   • Raúl Gutiérrez

   OriginalPaper 12 July 2017 Pages: 465 - 501

   

4. Generalizing Morley’s and Other Theorems with Automated Realization

   • Eric Braude
   • Satbek Abdyldayev

   OriginalPaper 27 September 2017 Pages: 503 - 526

   

5. Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning

   • John Slaney
   • Bruno Woltzenlogel Paleo

   Erratum 25 September 2017 Pages: 527 - 527