Structural Normalisation Methods for Improving Best Answer Identification in Question Answering Communities Grégoire Burel, Paul Mulholland and Harith Alani Knowledge Media Institute, Open University, UK {g.burel, p.mu

Source URL: gdac.uqam.ca

• Information science
• Yahoo! Answers
• Information retrieval
• Question answering
• Answer
• Internet forum
• Questions and answers
• Artificial intelligence

Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Mathematics
• Model theory
• Automated theorem proving
• Predicate logic
• Semantics
• Logic programming
• Resolution
• First-order logic
• Skolem normal form
• Substitution

The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Mathematical logic
• Metalogic
• Model theory
• Syntax
• Well-formed formula
• First-order logic
• Resolution
• Logic programming
• Tautology

11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Model theory
• Metalogic
• Predicate logic
• Formal methods
• Resolution
• First-order logic
• Skolem normal form
• Automated theorem proving
• Quantifier
• Axiom

Neural Machine Translation for Query Construction and Composition Tommaso Soru 1 Edgard Marx 1 Andr´e Valdestilhas 1 Diego Esteves 2 Diego Moussallem 1 Gustavo Publio 1 Abstract Research on question answering with know

Source URL: uclmr.github.io

• Computing
• Computational linguistics
• Linguistics
• Information science
• Artificial neural network
• SPARQL
• Semantic parsing
• Word-sense disambiguation
• Semantic Web
• Natural language processing
• Query language
• Question answering

The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Metalogic
• Mathematics
• Proof theory
• Model theory
• Mathematical logic
• Syntax
• First-order logic
• Well-formed formula
• Formal system
• Logic programming
• Resolution

Revisiting Question Answering in Vampire Giles Reger School of Computer Science, University of Manchester, UK The 4th Vampire Workshop

Source URL: www.cs.man.ac.uk

• Automated theorem proving
• Resolution
• IP
• X0
• Vampire
• Mathematics
• Propositional calculus
• Logic

Highway Networks for Visual Question Answering Aaditya Prakash PhD advisor: James Storer

Source URL: visualqa.org

Answer-Type Prediction for Visual Question Answering Kushal Kafle and Christopher Kanan∗ Chester F. Carlson Center for Imaging Science Rochester Institute of Technology {kk6055, kanan}@rit.edu

Source URL: www.chriskanan.com

Iti Fabussa Everyday life of our ancestors Question: Dear Iti Fabυssa, what was everyday life like for our Choctaw ancestors? Dear reader: This is a broad and complex question. Answering it is almost as difficult

Source URL: www.choctawnationculture.com