Björn Pelzer

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
j4		Peter Baumgartner, Björn Pelzer, Cesare Tinelli: Model Evolution with equality - Revised and implemented. J. Symb. Comput. 47(9): 1011-1045 (2012)
c12		Ingo Glöckner, Björn Pelzer: The LogAnswer Project at QA4MRE 2012. CLEF (Online Working Notes/Labs/Workshop) 2012
	2011
c11		Ingo Glöckner, Björn Pelzer, Tiansi Dong: The LogAnswer Project at QA4MRE 2011. CLEF (Notebook Papers/Labs/Workshop) 2011
c10		Björn Pelzer, Ingo Glöckner, Tiansi Dong: LogAnswer in Question Answering Forums. ICAART (1) 2011: 492-497
c9		Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer: A Natural Language Question Answering System as a Participant in Human Q&A Portals. IJCAI 2011: 2430-2435
	2010
j3		Ulrich Furbach, Ingo Glöckner, Björn Pelzer: An application of automated reasoning in natural language question answering. AI Commun. 23(2-3): 241-265 (2010)
j2		Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer: Logic-Based Question Answering. KI 24(1): 51-55 (2010)
j1		Peter Baumgartner, Ulrich Furbach, Björn Pelzer: The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. J. Log. Comput. 20(1): 77-109 (2010)
c8		Ingo Glöckner, Björn Pelzer: The LogAnswer Project at ResPubliQA 2010. CLEF (Notebook Papers/LABs/Workshops) 2010
	2009
c7		Ingo Glöckner, Björn Pelzer: Extending a Logic-Based Question Answering System for Administrative Texts. CLEF (1) 2009: 265-272
	2008
c6		Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer: LogAnswer - A Deduction-Based Question Answering System (System Description). IJCAR 2008: 139-146
c5		Björn Pelzer, Ingo Glöckner: Combining Theorem Proving with Natural Language Processing. PAAR/ESHOL 2008
c4		Ingo Glöckner, Björn Pelzer: Combining Logic and Machine Learning for Answering Questions. CLEF 2008: 401-408
c3		Ingo Glöckner, Björn Pelzer: Exploring Robustness Enhancements for Logic-Based Passage Filtering. KES (1) 2008: 606-614
	2007
c2		Peter Baumgartner, Ulrich Furbach, Björn Pelzer: Hyper Tableaux with Equality. CADE 2007: 492-507
c1		Björn Pelzer, Christoph Wernhard: System Description: E-KRHyper. CADE 2007: 508-513

Coauthor Index

1	Peter Baumgartner	[j4] [j1] [c2]
2	Tiansi Dong	[c11] [c10] [c9]
3	Ulrich Furbach	[c9] [j3] [j2] [j1] [c6] [c2]
4	Ingo Glöckner	[c12] [c11] [c10] [c9] [j3] [j2] [c8] [c7] [c6] [c5] [c4] [c3]
5	Hermann Helbig	[j2] [c6]
6	Cesare Tinelli	[j4]
7	Christoph Wernhard	[c1]

Last update Sun May 19 08:44:27 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page