logo
Preface
Subjective Situations and Logical Omniscience
Simultaneous Rigid Sorted Unification for Tableaux*
A General Approach to Multi-Agent Minimal Knowledge
Satisfiability Testing for Boolean Formulas Using Δ-trees*
Hybrid Probabilistic Logic Programs as Residuated Logic Programs