Hans Jürgen Ohlbach

Available identifiers

zbMath Open ohlbach.hans-jurgenMaRDI QIDQ1097715

List of research outcomes

Publication	Date of Publication	Type
SCAN -- elimination of predicate quantifiers	2019-01-15	Paper
Design patterns for mathematical proofs. A guide, in particular for computer scientists	2017-12-04	Paper
Modelling periodic temporal notions by labelled partitionings -- the PartLib library	2011-07-06	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4781247	2002-11-13	Paper
Encoding two-valued nonclassical logics in classical logic	2002-09-16	Paper
The Possibility of Generating True Conjectures	2002-06-23	Paper
Functional translation and second-order frame properties of modal logics	2001-11-25	Paper
How to augment a formal system with a Boolean algebra component	2001-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4946227	2000-12-26	Paper
https://portal.mardi4nfdi.de/entity/Q4952317	2000-05-09	Paper
Calendar Logic	2000-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4268478	1999-10-28	Paper
Modal logics, description logics and arithmetic reasoning	1999-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4249899	1999-06-17	Paper
Elimination of self-resolving clauses	1998-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q5688814	1997-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4877443	1997-03-31	Paper
A multi-dimensional terminological knowledge representation language	1996-03-06	Paper
A note on assumptions about Skolem functions	1995-12-20	Paper
Towards automating duality	1995-02-02	Paper
Translation Methods for Non-Classical Logics: An Overview	1994-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4282526	1994-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4012252	1992-09-27	Paper
Reduction rules for resolution-based systems	1992-06-28	Paper
Semantics-Based Translation Methods for Modal Logics	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3791114	1988-01-01	Paper
Link inheritance in abstract clause graphs	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750139	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753517	1986-01-01	Paper
Problem corner: The Lion and the Unicorn	1985-01-01	Paper
Problem corner: Predicate logic hacker tricks	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3338217	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3326884	1983-01-01	Paper

Research outcomes over time

This page was built for person: Hans Jürgen Ohlbach