BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Belgium
1 × France
1 × Italy
2 × Germany
2 × USA
Collaborated with:
P.Baumgartner B.Pelzer C.Schon M.Maron N.Eisinger T.Krämer I.Glöckner H.Helbig M.Groß-Hardt A.Sinner
Talks about:
disjunct (2) program (2) calculi (2) deduct (2) answer (2) logic (2) base (2) contraposit (1) confluent (1) tableaux (1)

Person: Ulrich Furbach

DBLP DBLP: Furbach:Ulrich

Facilitated 2 volumes:

IJCAR 2006Ed
CL 2000Ed

Contributed to:

CADE 20152015
HCI/DUXU p3 20132013
IJCAR 20082008
CADE 20072007
CADE 20032003
CADE 19991999
ICLP 19971997
ILPS 19971997
CADE 19941994
CADE 20192019

Wrote 12 papers:

CADE-2015-FurbachPS #automation #reasoning
Automated Reasoning in the Wild (UF, BP, CS), pp. 55–72.
DUXU-NTE-2013-FurbachM #case study #navigation
NUI-Based Floor Navigation — A Case Study (UF, MM), pp. 270–279.
IJCAR-2008-FurbachGHP #named
LogAnswer — A Deduction-Based Question Answering System (UF, IG, HH, BP), pp. 139–146.
CADE-2007-BaumgartnerFP #similarity
Hyper Tableaux with Equality (PB, UF, BP), pp. 492–507.
CADE-2003-BaumgartnerFGS #deduction #interactive #quote #slicing
“Living Book” :- “Deduction”, “Slicing”, “Interaction” (PB, UF, MGH, AS), pp. 284–288.
CADE-1999-BaumgartnerEF #calculus #confluence
A Confluent Connection Calculus (PB, NE, UF), pp. 329–343.
ICLP-1997-BaumgartnerF #calculus #logic programming
Calculi for Disjunctive Logic Programming (PB, UF), p. 409.
ILPS-1997-BaumgartnerF #calculus #logic programming
Calculi for Disjunctive Logic Programming (PB, UF), pp. 229–243.
Model Elimination Without Contrapositives (PB, UF), pp. 87–101.
CADE-1994-BaumgartnerF94a #interface #named #proving
PROTEIN: A PROver with a Theory Extension INterface (PB, UF), pp. 769–773.
CADE-2019-FurbachKS #axiom #word
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection (UF, TK, CS), pp. 250–268.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.