Ulrich Furbach
22 publications
8 venues
H Index 11
Affiliation
University of Koblenz and Landau, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection.
|
CADE | 2019 | 8 |
| Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?
|
Cognitive Science | 2017 | 0 |
| Automated Reasoning in the Wild.
|
CADE | 2015 | 1 |
| Semantically Guided Evolution of ABoxes.
|
TABLEAUX | 2013 | 5 |
| NUI-Based Floor Navigation - A Case Study.
|
HCI | 2013 | 0 |
| First-Order Tableaux in Applications (Extended Abstract).
|
TABLEAUX | 2011 | 0 |
| A Natural Language Question Answering System as a Participant in Human Q&A Portals.
|
IJCAI | 2011 | 22 |
| Hyper Tableaux with Equality.
|
CADE | 2007 | 60 |
| AI--A multiple book review.
|
Artificial Intelligence | 2003 | 9 |
| 'Living Book': -'Deduction', 'Slicing', 'Interaction'.
|
CADE | 2003 | 4 |
| A Confluent Connection Calculus.
|
CADE | 1999 | 57 |
| Disjunctive Logic Program = Horn Program + Control Program.
|
JELIA | 1998 | 22 |
| Computing Answers with Model Elimination.
|
Artificial Intelligence | 1997 | 35 |
| Tableaux for Diagnosis Applications.
|
TABLEAUX | 1997 | 47 |
| Calculi for Disjunctive Logic Programming.
|
ICLP | 1997 | 1 |
| Semantically Guided Theorem Proving for Diagnosis Applications.
|
IJCAI | 1997 | 43 |
| Hyper Tableaux.
|
JELIA | 1996 | 188 |
| Model Elimination, Logic Programming and Computing Answers.
|
IJCAI | 1995 | 64 |
| Model Elimination Without Contrapositives.
|
CADE | 1994 | 31 |
| PROTEIN: A PROver with a Theory Extension INterface.
|
CADE | 1994 | 79 |
| Computing Answers for Disjunctive Logic Programs.
|
JELIA | 1992 | 9 |
| Consolution as a Framework for Comparing Calculi.
|
TABLEAUX | 1992 | 0 |