Ulrich Furbach

From MaRDI portal
Person:1322771

Available identifiers

zbMath Open furbach.ulrichWikidataQ102332699 ScholiaQ102332699MaRDI QIDQ1322771

List of research outcomes





PublicationDate of PublicationType
Names are not just sound and smoke: word embeddings for axiom selection2020-03-10Paper
Model elimination without contrapositives2020-01-21Paper
Hyper tableaux2019-10-08Paper
Tableaux for diagnosis applications2019-01-15Paper
Automated Reasoning in the Wild2015-12-02Paper
On First-Order Model-Based Reasoning2015-09-14Paper
Deontic Logic for Human Reasoning2015-02-04Paper
Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes2013-10-04Paper
First-Order Tableaux in Applications (Extended Abstract)2011-07-01Paper
An application of automated reasoning in natural language question answering2010-06-17Paper
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation2010-02-19Paper
Hyper Tableaux with Equality2009-03-06Paper
LogAnswer - A Deduction-Based Question Answering System (System Description)2008-11-27Paper
KI 2004: Advances in Artificial Intelligence2008-03-14Paper
Mechanizing Mathematical Reasoning2006-01-10Paper
Computing answers with model elimination2003-08-28Paper
Automated deduction techniques for the management of personalized documents2003-06-09Paper
Nonmonotonic reasoning: Towards efficient calculi and implementations2002-08-29Paper
https://portal.mardi4nfdi.de/entity/Q45304552002-06-03Paper
https://portal.mardi4nfdi.de/entity/Q45247842001-07-29Paper
https://portal.mardi4nfdi.de/entity/Q42631682000-06-13Paper
https://portal.mardi4nfdi.de/entity/Q49409342000-03-27Paper
https://portal.mardi4nfdi.de/entity/Q42469581999-06-16Paper
https://portal.mardi4nfdi.de/entity/Q42442961999-05-27Paper
Consolution as a framework for comparing calculi1994-05-05Paper
https://portal.mardi4nfdi.de/entity/Q39997591993-01-23Paper
Horn equational theories and paramodulation1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37652641987-01-01Paper
Modelling the combination of functional and logic programming languages1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41447841978-01-01Paper

Research outcomes over time

This page was built for person: Ulrich Furbach