External Links

    Journal: Journal of Automated Reasoning

    Volume 14, Issue 1

    1 -- 0Vladimir Lifschitz. Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning
    3 -- 42Ilkka Niemelä. A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning
    43 -- 91Matthew L. Ginsberg. Modality and Interrupts
    93 -- 147José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira. A Logic Programming System for Nonmonotonic Reasoning
    149 -- 180Franz Baader, Bernhard Hollunder. Embedding Defaults into Terminological Knowledge Representation Formalisms
    runs on