Peter Idestam-Almquist

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Publications

Henrik Boström, Peter Idestam-Almquist
Induction of Logic Programs by Example-Guided Unfolding. J. Log. Program. 40 (2-3) (1999)
Luc De Raedt, Peter Idestam-Almquist, Gunther Sablon
Theta-Subsumption for Structural Matching. ECML (1997)
Peter Idestam-Almquist
Generalization of Clauses Relative to a Theory. Mach. Learn. 26 (2-3) (1997)
Peter Idestam-Almquist
Generalization of Clauses under Implication. CoRR (1995)
Peter Idestam-Almquist
Generalization of Clauses under Implication. J. Artif. Intell. Res. 3 (1995)
Peter Idestam-Almquist
Generalization under Implication: Expansions of Clauses for Indirect Roots. SCAI (1993)
Peter Idestam-Almquist
Generalization under Implication by using Or-Introduction. ECML (1993)
Peter Idestam-Almquist
Generalization under Implication by Recursive Anti-unification. ICML (1993)
Peter Idestam-Almquist
Learning Missing Clauses by Inverse Resolution. FGCS (1992)
Carl Gustaf Jansson, Henrik Boström, Peter Idestam-Almquist
Optimizing Horn Clause Logic Programs for Particular Modes of Use: An Analysis of Explanation-Based Learning and Partial Evaluation. SCAI (1991)