1. Preface

   • Manuel Ojeda-Aciego
   • Gerhard Brewka
   • Luís Moniz Pereira

   Preface Pages: 3 - 5

2. Subjective Situations and Logical Omniscience

   • Antonio Moreno
   • Ulises Cortés
   • Ton Sales

   OriginalPaper Pages: 7 - 29

3. Simultaneous Rigid Sorted Unification for Tableaux

   • P. J. Martín
   • A. Gavilanes

   OriginalPaper Pages: 31 - 59

4. A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples

   • Wiebe van der Hoek
   • Elias Thijsse

   OriginalPaper Pages: 61 - 84

5. Satisfiability Testing for Boolean Formulas Using Δ-trees

   • G. Gutiérrez
   • I. P. de Guzmán
   • A. Valverde

   OriginalPaper Pages: 85 - 112

6. Hybrid Probabilistic Logic Programs as Residuated Logic Programs

   • Carlos Viegas Damásio
   • Luís Moniz Pereira

   OriginalPaper Pages: 113 - 138