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
https://portal.mardi4nfdi.de/entity/Q2751371	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ulrich Furbach