Jörg H. Siekmann

From MaRDI portal
Person:1124374

Available identifiers

zbMath Open siekmann.jorg-hMaRDI QIDQ1124374

List of research outcomes





PublicationDate of PublicationType
Ωmega: Towards a mathematical assistant2019-10-01Paper
https://portal.mardi4nfdi.de/entity/Q46198152019-02-07Paper
a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution2015-09-20Paper
https://portal.mardi4nfdi.de/entity/Q30125442011-07-06Paper
Proof planning with multiple strategies2009-07-17Paper
KI 2004: Advances in Artificial Intelligence2008-03-14Paper
Computer supported mathematics with \(\Omega\)MEGA2007-02-20Paper
Artificial Intelligence and Soft Computing - ICAISC 20042005-04-12Paper
https://portal.mardi4nfdi.de/entity/Q46649272005-04-09Paper
https://portal.mardi4nfdi.de/entity/Q48090512004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44283122003-09-15Paper
https://portal.mardi4nfdi.de/entity/Q47077672003-06-11Paper
https://portal.mardi4nfdi.de/entity/Q47077312003-06-11Paper
https://portal.mardi4nfdi.de/entity/Q45304692003-04-10Paper
Formal software development in the Verification Support Environment (VSE)2002-12-04Paper
An open research problem: strong completeness of R Kowalski's connection graph proof procedure2002-06-04Paper
Knowledge-based proof planning2000-06-04Paper
https://portal.mardi4nfdi.de/entity/Q42476882000-01-25Paper
https://portal.mardi4nfdi.de/entity/Q40139781992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q34843831990-01-01Paper
Unification theory1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38042351988-01-01Paper
Unification in abelian semigroups1987-01-01Paper
On unification: Equational theories are not bounded1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47207951986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47237041986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33382151984-01-01Paper
Paramodulated connection graphs1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38835631979-01-01Paper

Research outcomes over time

This page was built for person: Jörg H. Siekmann