External Links

    Journal: Inf. Sci.

    Volume 116, Issue 1

    1 -- 2Grigoris Antoniou, Neil V. Murray. Logical Methods for Computational Intelligence (Guest Editorial)
    3 -- 23Detlef Fehrer, Helmut Horacek. Presenting Inequations in Mathematical Proofs
    25 -- 54Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi. Integrating Induction and Abduction in Logic Programming
    55 -- 81David Billington. Proving Quantified Literals in Defeasible Logic
    83 -- 95R. D. Dormer, Craig MacNish. The PAC-Learnability of Planning Algorithms: Investigating Simple Planning Domains
    runs on