LogAnswer Question Answering System


Wikipedia:

See also:

Question Answering Systems


Loganswer-a deduction-based question answering system (system description) U Furbach, I Glöckner, H Helbig, B Pelzer – Automated Reasoning, 2008 – Springer Abstract LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer operates on a large axiom set in first-order logic, representing a … Cited by 16 Related articles All 10 versions

The LogAnswer project at CLEF 2009 I Glöckner, B Pelzer – Working Notes for the CLEF 2009 Workshop, 2009 – clef.isti.cnr.it Abstract The LogAnswer system, a research prototype of a question answering (QA) system for German, participates in QA@ CLEF for the second time. The ResPubliQA task was chosen for evaluating the results of the general consolidation of the system and … Cited by 10 Related articles All 3 versions

The LogAnswer Project at ResPubliQA 2010. I Glöckner, B Pelzer – CLEF (notebook papers/labs/workshops), 2010 – clef-initiative.eu Abstract. The LogAnswer project investigates the potential of deep linguistic processing and logical reasoning for question answering. The paragraph selection task of ResPubliQA 2010 offered the opportunity to validate improvements of the LogAnswer QA system that reflect … Cited by 7 Related articles All 5 versions

LogAnswer in Question Answering Forums. B Pelzer, I Glöckner, T Dong – ICAART (1), 2011 – pi7.fernuni-hagen.de Abstract: LogAnswer is a question answering (QA) system for the German language. By providing concise answers to questions of the user, LogAnswer provides more natural access to document collections than conventional search engines do. QA forums provide … Cited by 3 Related articles

Combining logic and machine learning for answering questions I Glöckner, B Pelzer – Evaluating Systems for Multilingual and Multimodal …, 2009 – Springer … Abstract. LogAnswer is a logic-oriented question answering system de- veloped by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen. … 2 System Description The system architecture of the LogAnswer QA system is shown in Fig. … Cited by 7 Related articles All 5 versions

Logic-based question answering U Furbach, I Glöckner, H Helbig, B Pelzer – KI-Künstliche Intelligenz, 2010 – Springer … In the LogAnswer project the universities of Hagen and Koblenz cooperate to build a German language question answering system which combines computational linguistics and automated reason- ing to deduce answers from a knowledge base derived from Wikipedia. … Cited by 6 Related articles All 8 versions

The LogAnswer Project at QA4MRE 2011. I Glöckner, B Pelzer, T Dong – CLEF (Notebook Papers/Labs/ …, 2011 – pi7.fernuni-hagen.de Abstract. We present the prototype of a pure logic-based answer validation system that was developed for QA4MRE. While the prototype uses core functionality of the LogAnswer question answering (QA) system available on the web, it had to be designed from scratch … Cited by 1 Related articles All 4 versions

Combining theorem proving with natural language processing B Pelzer, I Glöckner – Proc. of the First Int. Workshop on …, 2008 – informatik.rwth-aachen.de … de Abstract. The LogAnswer system is an application of automated rea- soning to the field of open domain question answering, which aims at finding answers to natural language questions regarding arbitrary top- ics. … 71 Page 81. Fig. 1. Screenshot of the LogAnswer prototype. … Cited by 4 Related articles All 8 versions

Exploring robustness enhancements for logic-based passage filtering I Glöckner, B Pelzer – Knowledge-Based Intelligent Information and …, 2008 – Springer … In the paper, we explore the effectiveness of these techniques for logic-based passage filtering in the LogAnswer question answering system. … Section 2 introduces the LogAnswer QA system which provides the testbed for the experiments. … Cited by 9 Related articles All 4 versions

Extending a logic-based question answering system for administrative texts I Glöckner, B Pelzer – Multilingual Information Access Evaluation I. Text …, 2010 – Springer … 1, 56070 Koblenz bpelzer@uni-koblenz.de Abstract. LogAnswer is a question answering (QA) system for Ger- man that uses machine learning for integrating logic-based and shallow (lexical) validation features. For ResPubliQA … Cited by 1 Related articles All 4 versions

Profile-based selection of answer candidates for LogAnswer T Ei?er – 2007 – kola.opus.hbz-nrw.de In this paper I present the results of my work on enhancing the question answering system LogAnswer with profile-based information. The impulse for my work had been to integrate the ontology of the NEPOMUK semantic desktop system into LogAnswer. After some … Related articles

The LogAnswer Project at CLEF 2008: Towards Logic-Based Question Answering I Glöckner, B Pelzer – clef.isti.cnr.it Abstract LogAnswer is a logic-oriented question answering system jointly developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen. The system was designed to address two notorious problems of the logic-based … Related articles All 4 versions

First-order tableaux in applications U Furbach – Automated Reasoning with Analytic Tableaux and …, 2011 – Springer … Another application of E-KRHyper is within the LogAnswer-project ([5]). LogAnswer is an open domain question answering system; it receives a natural- language question regarding any topic, and it returns a natural-language answer … Related articles All 8 versions

A natural language question answering system as a participant in human Q&A portals T Dong, U Furbach, I Glöckner, B Pelzer – Proceedings of the Twenty- …, 2011 – dl.acm.org … Abstract LogAnswer is a question answering (QA) system for the German language, aimed at providing con- cise and correct answers to arbitrary questions. … LogAnswer [Furbach et al., 2010; Glöckner and Pelzer, 2009] is a web-based QA system for the German language. … Cited by 8 Related articles All 5 versions

An Integrated Machine Learning and Case-Based Reasoning Approach to Answer Validation I Glockner, KH Weis – Machine Learning and Applications ( …, 2012 – ieeexplore.ieee.org … The paper is organized as follows. Sect. II sketches the LogAnswer QA system, our testbed for the CBR extension. … II. SYSTEM OVERVIEW Since our CBR approach extends the LogAnswer QA sys- tem [1], [8], we sketch the overall system architecture. … Cited by 1 Related articles All 3 versions

A Case Based Reasoning Approach for Answer Reranking in Question Answering. KH Weis – GI-Jahrestagung, 2013 – subs.emis.de … In this paper I propose to extend the existing LogAnswer solution by a case- based reasoning (CBR) approach, where annotated answer candidates for known questions provide evidence for validating answer candidates for new questions. This … Related articles

Automated Theorem Proving with Web Services B Pelzer – KI 2013: Advances in Artificial Intelligence, 2013 – Springer … We will describe such adaptations within the context of our German language QA sys- tem LogAnswer1 [6,7,8], where we employ our theorem prover E-KRHyper2 [12] as 1 http://www.loganswer.de 2 http://www.uni-koblenz.de/˜bpelzer/ekrhyper … Related articles All 2 versions

Question Classification using Semantic, Syntactic and Lexical features M Mishra, VK Mishra, HR Sharma – International Journal, 2013 – airccse.org … Recently QA has been drawing attention: True Knowledge [1] is an English language web-based system, and IBM’s Watson [2 ] has successfully participated in a quiz show.LogAnswer [3,4] is a web-based QA system for the German language It works with a knowledge base (KB … Cited by 1 Related articles All 4 versions

An Overview of Methods for Large-Theory Automated Theorem Proving. J Urban – ATE, 2011 – ceur-ws.org … The LogAnswer project [3] has already started to reason over the first-order export of the full texts of German Wikipedia. The corpora differ in their purpose/origin, size, complexity, consistency, completeness, and the extent to which they cover various large-theory aspects. … Cited by 9 Related articles All 10 versions

An application of automated reasoning in natural language question answering U Furbach, I Glöckner, B Pelzer – Ai Communications, 2010 – IOS Press … Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question answering. … The LogAnswer system was designed with this web-based perspective in mind, though it works with a local document collec- tion. … Cited by 25 Related articles All 4 versions

System Description: E-KRHyper 1.4 M Bender, B Pelzer, C Schon – Automated Deduction–CADE-24, 2013 – Springer … E-KRHyper forms the reasoning component of the deduction-based question answer- ing system LogAnswer [17,18]. … Furbach, U., Glöckner, I., Helbig, H., Pelzer, B.: Loganswer – a deduction-based question answering system (System description). … Cited by 5 Related articles All 6 versions

[BOOK] Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings A Armando, P Baumgartner, G Dowek – 2008 – books.google.com … Computational Complexity Analysis….. 132 Martin Avanzini, Georg Moser, and Andreas Schnabl Page 10. X Table of Contents LogAnswer–A Deduction-Based Question Answering System….. 139 Ulrich Furbach, Ingo … Cited by 9 Related articles All 2 versions

Connecting question answering and conversational agents U Waltinger, A Breuing, I Wachsmuth – KI-Künstliche Intelligenz, 2012 – Springer … 384 Künstl Intell (2012) 26:381–390 clearly shown the complexity of the task of question classi- fication for the German language. The German LogAnswer system [16, 20] uses 240 classification rules for the question classification task. The system proposed by Koehler et al. … Cited by 3 Related articles All 6 versions

The THFTPTP Project–An Infrastructure for Typed Higher-order Form Automated Theorem Proving Marie Curie International Incoming Fellowship Grant … C Benzmüller, G Sutcliffe – page.mi.fu-berlin.de … Working Group Beckert/Furbach, Institute for Computer Science, Universität Koblenz-Landau. Problems from their LogAnswer project were exported in TPTP format, and are now in the TPTP library. • Laboratoire Spécification et Vérification, ENS de Cachan. … Related articles All 3 versions

Efficient reasoning procedures for complex first-order theories P Wischnewski – 2012 – scidok.sulb.uni-saarland.de … WDF+09]. The LogAnswer [FGHP08] system is a natural language query answering tool which combines text analysis approaches with theorem proving techniques. The system con- tains a snapshot of the German Wikipedia. … Cited by 1 Related articles

Interfacing Virtual Agents with Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-Based Topic Models. U Waltinger, A Breuing, I Wachsmuth – IJCAI Proceedings-International …, 2011 – aaai.org … Though, most of the unrestricted accessible QA applications, such as the web-based QA systems QuALiM [Kaisser, 2008] or LogAnswer [Furbach et al., 2008], focus on presenting on- line a weighted list of answer candidates rather than present- ing only one (exact) answer. … Cited by 14 Related articles All 8 versions

Automated Reasoning AAP Baumgartner, G Dowek – 2008 – Springer … Computational Complexity Analysis….. 132 Martin Avanzini, Georg Moser, and Andreas Schnabl Page 9. X Table of Contents LogAnswer–A Deduction-Based Question Answering System….. 139 Ulrich Furbach, Ingo … All 4 versions

Logics in Artificial Intelligence JDLF del Cerro, U Furbach – 2012 – Springer … used as a decision procedure for SHIQ. The second part of the talk depicts the embedding of E-KRHyper within the natural language question answering system loganswer. de. We discuss the requirements which stem from … All 6 versions

University of Hagen at QA@ CLEF 2007: Answer validation exercise I Glöckner – Working Notes for the CLEF 2007 Workshop, …, 2007 – pi7.fernuni-hagen.de … Logical Answer Validation, Answer Selection, Question Answering, Recognizing Textual Entailment (RTE), Information Fusion, Robust Inference 1Funding by the DFG (Deutsche Forschungsgemeinschaft) under contract HE 2847/10-1 (LogAnswer) is gratefully acknowledged. … Cited by 30 Related articles All 9 versions

Improving Retrieval of Information from the Internet R Zhao – 2013 – scholar.uwindsor.ca Page 1. University of Windsor Scholarship at UWindsor Electronic Theses and Dissertations 1-1-2013 Improving Retrieval of Information from the Internet Ruoxuan Zhao zhao11t@uwindsor. ca Follow this and additional works at: http://scholar.uwindsor.ca/etd … Related articles

Finding answer passages with rank optimizing decision trees I Glockner – Machine Learning and Applications, 2009. ICMLA’ …, 2009 – ieeexplore.ieee.org … For n attributes, each input datum is then given by an n-tuple x = (x1,…,xn) ? Rn. Let X = {x(1),… x(R)} ? Rn be the set of training items. In the application, each x(r) ? X describes a text 2see http://www.loganswer.de/ (for questions in German) d1: matchRatio d4: eatFound … Cited by 7 Related articles All 6 versions

A Survey of Arabic question answering: challenges, tasks, approaches, tools, and future trends A Ezzeldin, M Shaheen – Proceedings of The 13th International Arab …, 2012 – acit2k.org … use. Some of these techniques were used not only with English but also with German where deep reasoning and theorem proving techniques were used to answer German users questions in a forum in his system Loganswer. … Cited by 2 Related articles

Word Expert Translation from German into Chinese in the Slow Intelligence Framework. T Dong, I Glöckner – DMS, 2011 – ksi.edu … The MultiNet formalism and the WOCADI parser have been successfully applied in the LogAnswer question answering (QA) system which scored second among non-English QA systems in the CLEF competition [4]. … The LogAnswer project at ResPubliQA 2010. … Cited by 2 Related articles

Towards logic-based question answering under time constraints I Glöckner – Proc. of the 2008 IAENG Int. Conf. on Artificial …, 2008 – iaeng.org … Email: iglockner@web.de. Funded by DFG under contract HE 2847/10-1 (LogAnswer). The starting point for this paper is the MAVE answer val- idator [1], which achieved a 93% correct answer selection rate in the CLEF07 AVE task. … Cited by 10 Related articles All 4 versions

Automated Reasoning Embedded in Question Answering B Pelzer – 2013 – kola.opus.hbz-nrw.de … As part of the research work for this dissertation E-KRHyper was embedded into a framework of components for natural language processing, information retrieval and knowledge representation, together forming the QA system LogAnswer. … Related articles All 2 versions

Contextual Approach for Paragraph Selection in Question Answering Task. H Toba, S Sari, M Adriani… – … Notebook Papers/LABs/ …, 2010 – clef2010.clef-initiative.eu … 17. Bos, J.: The “La Sapienza” Question Answering System at TREC-2006. In: Proceedings of the 15th Text Retrieval Conference (TREC), 2006. 18. Glöckner, I. and Pelzer, B.: The LogAnswer Project at CLEF 2009. In: Working Notes ResPubliQA 2009. 19. … Cited by 4 Related articles All 4 versions

Overview of ResPubliQA 2009: question answering evaluation over European legislation A Peñas, P Forner, R Sutcliffe, Á Rodrigo… – … Access Evaluation I. …, 2010 – Springer Page 1. C. Peters et al. (Eds.): CLEF 2009 Workshop, Part I, LNCS 6241, pp. 174–196, 2010. © Springer-Verlag Berlin Heidelberg 2010 Overview of ResPubliQA 2009: Question Answering Evaluation over European Legislation … Cited by 59 Related articles All 18 versions

Satisfiability Checking and Query Answering for Large Ontologies. C Weidenbach, P Wischnewski – PAAR@ IJCAR, 2012 – eprover.org … [4] Ulrich Furbach, Ingo Glöckner, Hermann Helbig, and Björn Pelzer. Loganswer-a deduction-based question answering system (system description). In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, IJCAR, volume 5195 of LNCS, pages 139–146. … Cited by 2 Related articles All 2 versions

[BOOK] A Knowledge Base and Question Answering System Based on Loglan and English S Linker – 2011 – gradworks.umi.com … Phrase, PREPosition, and ARTicle, respectively. The LogAnswer system (Furbach, 2008) parses the question for meaning and formulates its own search plan using a ProLog program, and then does Google-like work, in that it searches documents. … Related articles All 6 versions

PAAR-2010 B Konev, R Schmidt, S Schulz – informatik.tu-muenchen.de Page 1. PAAR-2010 Practical Aspects of Automated Reasoning Boris Konev, Renate Schmidt, and Stephan Schulz (eds.) 2010 Page 2. Programme Chairs Boris Konev Renate Schmidt Stephan Schulz Programme Committee … Related articles All 4 versions

Arabic Question Answering: Systems, Resources, Tools, and Future Trends M Shaheen, AM Ezzeldin – Arabian Journal for Science and Engineering, 2014 – Springer Page 1. Arab J Sci Eng DOI 10.1007/s13369-014-1062-2 REVIEW ARTICLE – COMPUTER ENGINEERING AND COMPUTER SCIENCE Arabic Question Answering: Systems, Resources, Tools, and Future Trends Mohamed Shaheen · Ahmed Magdy Ezzeldin … Cited by 1 Related articles

Virtual Reality MH Erichsen, PH Poulsen – image.diku.dk Page 1. Virtual Reality A study on perception 01-06-2012 Authors Martin Holst Erichsen <fmw119@diku.dk> Peter Hillebrandt Poulsen <hcp263@diku.dk> Supervisor Jon Sporring Page 2. Abstract Ever since Johnny Lee published … Related articles

Question answering I Habernal, M Konopík, O Rohlík – Next Generation Search Engines: …, 2012 – nlp.kiv.zcu.cz Page 1. Question Answering Ivan Habernal, Miloslav Konopík and Ond?ej Rohlík Dept. of Computer Science and Engineering, University of West Bohemia, Czech Republic ABSTRACT Question Answering is an area of information … Cited by 3 Related articles All 3 versions

Answer Selection in Question/Answering HP Rodrigues – 2012 – fenix.tecnico.ulisboa.pt Page 1. Answer Selection in Question/Answering Hugo Patinho Rodrigues Dissertation for the Degree of Master of Information Systems and Computer Engineering Jury President: Prof. Doctor Joaquim Armando Pires Jorge Supervisor: Prof. … Related articles All 2 versions