Steffen Hölldobler

Available identifiers

zbMath Open holldobler.steffenDBLP48/415WikidataQ54803386 ScholiaQ54803386MaRDI QIDQ918540

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6156535	2023-06-13	Paper
Conditional Reasoning and Relevance	2023-03-29	Paper
Do humans reason with \(\mathcal{E} \)-matchers?	2020-06-04	Paper
The weak completion semantics and equality	2019-07-04	Paper
A core method for the weak completion semantics with skeptical abduction	2018-11-01	Paper
Modeling the suppression task under weak completion and well-founded semantics	2018-08-28	Paper
Contextual reasoning: usually birds can abductively fly	2017-09-05	Paper
A new computational logic approach to reason with conditionals	2015-11-04	Paper
Contextual abductive reasoning with side-effects	2014-11-25	Paper
Representative encodings to translate finite CSPs into SAT	2014-05-27	Paper
Improving resource-unaware SAT solvers	2010-10-12	Paper
Logic and logic programming. Vol. 1: Foundations	2010-01-21	Paper
Logic Programs under Three-Valued Łukasiewicz Semantics	2009-07-24	Paper
KI 2004: Advances in Artificial Intelligence	2008-03-14	Paper
Logic programs and connectionist networks	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4412234	2003-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q2767036	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4530466	2002-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q2767101	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4524778	2001-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4264713	1999-10-07	Paper
Linear deductive planning	1996-06-09	Paper
Foundations of equational logic programming	1993-06-05	Paper
Combining Logic Programming and Equation Solving	1991-01-01	Paper
A new deductive approach to planning	1990-01-01	Paper
Conditional equational theories and complete sets of transformations	1990-01-01	Paper
Horn equational theories and paramodulation	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783622	1987-01-01	Paper
The undecidability of the unification and matching problem for canonical theories	1987-01-01	Paper
Modelling the combination of functional and logic programming languages	1986-01-01	Paper

Research outcomes over time

This page was built for person: Steffen Hölldobler