In this paper, we describe a way to access Arabic Web Question Answering (QA) corpus using a chatbot, without the need for sophisticated natural language processing or logical inference. Any Natural Language (NL) interface to Question Answer (QA) system is constrained to reply with the given answers, so there is no need for NL generation to recreate well-formed answers, or for deep analysis or ...

The use of the web has become popular and also the need of services that could exploit the vast amount of information in it. Therefore, there is a need for automated question answering systems. These kind of systems should allow users to ask questions in everyday language and receive an answer quickly and with a context which allows the user to validate the answer. Current search engines can re...

What is the one element found in approximately half the U.S. highway fatalities? This question has been raised over the last few decades and the answer is still the same: Alcohol. This answer generates another question: If a single, identifiable element is involved in such a large portion of a serious public health and public safety problem, should it not receive top priority for investigation,...

A 36-year-old female with no previous history of melanoma presented for a routine mole check. A small, slightly raised lesion was discovered on the left side of her back (Figures 1, 2). What is your provisional diagnosis? Please send your answer to [email protected]. The first correct answer will receive a complimentary copy of the book, Dermoscopy: The Essentials, 2nd ed. [ElsevierSaunders, 2012...

One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive evidence supporting the claim that rewriting logic is indeed a very exible and simple logical and semantic framework. From a language design point of view the obvious questio...

To anyone infected with the idea that the human mind is unlimited in its capacity to answer questions, a tour of 20th-century mathematics must be rather disturbing. In 1931 Kurt Gödel set forth his incompleteness theorem, which established that no system of deductive inference can answer all questions about numbers. A few years later Alan M. Turing proved an equivalent assertion about computer ...

Hybrid systems are systems with interacting discrete and continuous dynamics. They are models for understanding, e.g., computer systems interfacing with the physical environment. Hybrid systems have a complete axiomatization in differential dynamic logic relative to continuous systems. They also have a complete axiomatization relative to discrete systems. Moreover, there is a constructive reduc...

Logic-based answer extraction techniques present a solution to retrieve and mark those exact passages in a document that directly answer a natural language query. In contrast to pure information retrieval techniques that treat content words as isolated terms, answer extraction techniques exploit syntactic information in a document to a certain degree and consider semantic relations between func...

Users of the TIMESAT program are welcome to contact the authors in order to receive the most updated version of the program. The authors are also happy to answer questions on optimal parameter settings.

According to current psychological models of deduction, people can draw inferences on the basis of information that they receive from different sources at different times. In 3 reading-comprehension experiments, the authors demonstrated that premises that appear far apart in a text (distant) are not accessed and are therefore not used as a basis for logical inferences (Experiment 1), unless the...