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 × USA
2 × Germany
Collaborated with:
U.Furbach C.Schon C.Wernhard M.Bender P.Baumgartner I.Glöckner H.Helbig
Talks about:
descript (3) system (3) hyper (3) answer (2) tableaux (1) question (1) reason (1) extens (1) deduct (1) uniqu (1)

Person: Björn Pelzer

DBLP DBLP: Pelzer:Bj=ouml=rn

Contributed to:

CADE 20152015
CADE 20132013
IJCAR 20082008
CADE 20072007

Wrote 5 papers:

CADE-2015-FurbachPS #automation #reasoning
Automated Reasoning in the Wild (UF, BP, CS), pp. 55–72.
CADE-2013-BenderPS #logic
System Description: E-KRHyper 1.4 — Extensions for Unique Names and Description Logic (MB, BP, CS), pp. 126–134.
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.
System Description: E-KRHyper (BP, CW), pp. 508–513.

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.