Zimmer, Jürgen; Melis, Erica Constraint solving for proof planning. (English) Zbl 1071.68093 J. Autom. Reasoning 33, No. 1, 51-88 (2004). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Melis, Erica; Siekmann, Jörg H. Concepts in proof planning. (English) Zbl 1008.68119 Hölldobler, Steffen (ed.), Intellectics and computational logic. Papers in honor of Wolfgang Bibel. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 19, 263-276 (2000). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF
Melis, Erica; Whittle, Jon Analogy in inductive theorem proving. (English) Zbl 0929.03019 J. Autom. Reasoning 22, No. 2, 117-147 (1999). Reviewer: N.Ţăndăreanu (Craiova) MSC: 03B35 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Kerber, Manfred; Melis, Erica Two kinds of non-monotonic analogical inference. (English) Zbl 1419.68122 Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 361-374 (1996). MSC: 68T27 03B47 68T30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Hauschild, Kurt; Melis, Erica Zusammenhänge zwischen Definierbarkeit und Axiomatisierbarkeit in elementaren Theorien mit eingeschränktem Wohlordnungsschema. (German) Zbl 0215.04901 Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturwiss. Reihe 21, 519-521 (1972). MSC: 03C40 03B99 × Cite Format Result Cite Review PDF