Optimizing Horn Clause Logic Programs for Particular Modes of Use: An Analysis of Explanation-Based Learning and Partial Evaluation. - Carl Gustaf Jansson; Henrik Boström; Peter Idestam-Almquist (SCAI, 1991)

Learning Missing Clauses by Inverse Resolution. - Peter Idestam-Almquist (FGCS, 1992)

Generalization under Implication by using Or-Introduction. - Peter Idestam-Almquist (ECML, 1993)

Generalization under Implication by Recursive Anti-unification. - Peter Idestam-Almquist (ICML, 1993)

Generalization under Implication: Expansions of Clauses for Indirect Roots. - Peter Idestam-Almquist (SCAI, 1993)

Generalization of Clauses under Implication. - Peter Idestam-Almquist (J. Artif. Intell. Res., 1995)

Theta-Subsumption for Structural Matching. - Luc De Raedt; Peter Idestam-Almquist; Gunther Sablon (ECML, 1997)

Generalization of Clauses Relative to a Theory. - Peter Idestam-Almquist (Mach. Learn., 1997)

Induction of Logic Programs by Example-Guided Unfolding. - Henrik Boström; Peter Idestam-Almquist (J. Log. Program., 1999)

Reducing Workload in Short Answer Grading Using Machine Learning. - Rebecka Weegar; Peter Idestam-Almquist (Int. J. Artif. Intell. Educ., 2024)