Jörg H. Siekmann

Available identifiers

zbMath Open siekmann.jorg-hMaRDI QIDQ1124374

List of research outcomes

Publication	Date of Publication	Type
Ωmega: Towards a mathematical assistant	2019-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4619815	2019-02-07	Paper
a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution	2015-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q3012544	2011-07-06	Paper
Proof planning with multiple strategies	2009-07-17	Paper
KI 2004: Advances in Artificial Intelligence	2008-03-14	Paper
Computer supported mathematics with \(\Omega\)MEGA	2007-02-20	Paper
Artificial Intelligence and Soft Computing - ICAISC 2004	2005-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4664927	2005-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4809051	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4428312	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4707767	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4707731	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4530469	2003-04-10	Paper
Formal software development in the Verification Support Environment (VSE)	2002-12-04	Paper
An open research problem: strong completeness of R Kowalski's connection graph proof procedure	2002-06-04	Paper
Knowledge-based proof planning	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4247688	2000-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4013978	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3484383	1990-01-01	Paper
Unification theory	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3804235	1988-01-01	Paper
Unification in abelian semigroups	1987-01-01	Paper
On unification: Equational theories are not bounded	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4720795	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4723704	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3338215	1984-01-01	Paper
Paramodulated connection graphs	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883563	1979-01-01	Paper

Research outcomes over time

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