Ulrich Furbach

Available identifiers

zbMath Open furbach.ulrichWikidataQ102332699 ScholiaQ102332699MaRDI QIDQ1322771

List of research outcomes

Publication	Date of Publication	Type
Names are not just sound and smoke: word embeddings for axiom selection	2020-03-10	Paper
Model elimination without contrapositives	2020-01-21	Paper
Hyper tableaux	2019-10-08	Paper
Tableaux for diagnosis applications	2019-01-15	Paper
Automated Reasoning in the Wild	2015-12-02	Paper
On First-Order Model-Based Reasoning	2015-09-14	Paper
Deontic Logic for Human Reasoning	2015-02-04	Paper
Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes	2013-10-04	Paper
First-Order Tableaux in Applications (Extended Abstract)	2011-07-01	Paper
An application of automated reasoning in natural language question answering	2010-06-17	Paper
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation	2010-02-19	Paper
Hyper Tableaux with Equality	2009-03-06	Paper
LogAnswer - A Deduction-Based Question Answering System (System Description)	2008-11-27	Paper
KI 2004: Advances in Artificial Intelligence	2008-03-14	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Computing answers with model elimination	2003-08-28	Paper
Automated deduction techniques for the management of personalized documents	2003-06-09	Paper
Nonmonotonic reasoning: Towards efficient calculi and implementations	2002-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4530455	2002-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4524784	2001-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4263168	2000-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4940934	2000-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4246958	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4244296	1999-05-27	Paper
Consolution as a framework for comparing calculi	1994-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q3999759	1993-01-23	Paper
Horn equational theories and paramodulation	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3765264	1987-01-01	Paper
Modelling the combination of functional and logic programming languages	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4144784	1978-01-01	Paper

Research outcomes over time

This page was built for person: Ulrich Furbach