External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 18, Issue 2-4

    95 -- 131Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux. On Skolemization in Constrained Logics
    133 -- 157Bernhard Hollunder. Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems
    159 -- 174Robert F. Stärk. Multi-Valued Autoepistemic Logic
    175 -- 219Franz Baader. Using Automata Theory for Characterizing the Semantics of Terminological Cycles
    221 -- 241Manfred Kerber, Axel Präcklein. Using Tactics to Reformulate Formulae for Resolution Theorem Proving
    243 -- 260Michael Buro, Hans Kleine Büning. On Resolution with Short Clauses
    261 -- 293Christoph Weidenbach. Unification in Sort Theories and Its Applications

    Volume 18, Issue 1

    3 -- 27Rachel Ben-Eliyahu, Rina Dechter. On Computing Minimal Models
    29 -- 50Marco Cadoli, Marco Schaerf. On the complexity of Entailment in Propositional Multivalued Logics
    51 -- 67James P. Delgrande, Arvind Gupta. The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae
    69 -- 93Kutluhan Erol, James A. Hendler, Dana S. Nau. Complexity Results for HTN Planning
    runs on