Concepedia

Ulrich Furbach

UF

15

Publications

305

Citations

11

H-Index

1984

Active since

Affiliations

University of Koblenz and Landau(Current)

Universität Koblenz

Koblenz University of Applied Sciences

University of Hagen

Universität der Bundeswehr München

Ulrich Furbach is an author at University of Koblenz and Landau specializing in automated reasoning, engineering, and computer science.

Top concepts

Automated ReasoningEngineeringComputer ScienceSemanticsFormal MethodsVerificationFormal VerificationLanguageLogic ProgrammingQuestion Answering

Publications per year

1984–2019

15

Publications

15

An application of automated reasoning in natural language question answering

Ulrich Furbach, Ingo Glöckner, Björn Pelzer · AI Communications · 2010 · 44 citations

Engineering, Knowledge-based Reasoning, Semantics +16

Semantically Guided Theorem Proving for Diagnosis Applications.

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach et al. · 1997 · 36 citations

Engineering, Tableau Calculus, Data Science +15

Model elimination without contrapositives and its application to PTTP

Peter Baumgartner, Ulrich Furbach · Journal of Automated Reasoning · 1994 · 34 citations

Computational Logic, Engineering, Formal Modeling +8

Computing answers with model elimination

Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg · Artificial Intelligence · 1997 · 29 citations

Mathematical Programming, Engineering, Automated Reasoning +5

Automated Deduction Techniques for the Management of Personalized Documents

Peter Baumgartner, Ulrich Furbach · Annals of Mathematics and Artificial Intelligence · 2003 · 22 citations

Rows per page

1–5 of 15