Automated Reasoning & Question Answering 2016


automated reasoning / automatic reasoning / question answering / question answer

Notes:

Tools and techniques of automated reasoning include the classical logics and calculi, fuzzy logic, Bayesian inference, and reasoning with maximal entropy.

A QA (question answering) implementation, usually a computer program, may construct its answers by querying a structured database of knowledge or information, usually a knowledge base.

  • Emotion corpora

Resources:

Wikipedia:

References:

See also:

Automated Reasoning | Automated Reasoning & Dialog Systems | Case-based Reasoning & Dialog SystemsDECReasoner | Deep Reasoning & Dialog Systems | Graph-Based Knowledge Representation and ReasoningHermiT Reasoner | IRIS Reasoner | Knowledge Representation and Reasoning (KR&R) | Metaphor-based Reasoning | Pellet Reasoner & Dialog Systems | Qualitative Reasoning & Dialog Systems |  Question Answering Systems Meta Guide | RADAR (Reflective Agents with Distributed Adaptive Reasoning) | Semantic Reasoners & Dialog Systems | Semantic Web Reasoning


Commonsense Interpretation of Triangle Behavior.
AS Gordon – AAAI, 2016 – aaai.org
… As a benchmark set of challenge problems for automated reasoning systems, Triangle-COPA has a number of attrac- tive characteristics. … a observation to be interpreted, analogous to the way that Answer literals are used in resolution-based question- answering systems (Green …

Tables as Semi-structured Knowledge for Question Answering.
SK Jauhar, PD Turney, EH Hovy – ACL (1), 2016 – cs.cmu.edu
Page 1. Tables as Semi-structured Knowledge for Question Answering Sujay Kumar Jauhar Carnegie Mellon University Pittsburgh, PA, USA sjauhar@cs.cmu.edu … Abstract Question answering requires access to a knowledge base to check facts and rea- son about information. …

Commonsense reasoning meets theorem proving
U Furbach, C Schon – German Conference on Multiagent System …, 2016 – Springer
… 2 Automated Reasoning in the Question Answering System LogAnswer. This section introduces the Loganswer project, which was finished only recently and from which we learned some valuable lessons for the topic of this paper. …

A knowledge-based resource discovery for internet of things
C Perera, AV Vasilakos – Knowledge-Based Systems, 2016 – Elsevier
… requests. To this end, we have incorporated semantic knowledge [30], along with automated reasoning algorithms for orchestrating sensors, and data processing mechanisms [25], according to the data consumer requests. • …

Debating Technologies (Dagstuhl Seminar 15512)
I Gurevych, EH Hovy, N Slonim, B Stein – Dagstuhl Reports, 2016 – drops.dagstuhl.de
… Page 2. Iryna Gurevych, Eduard H. Hovy, Noam Slonim, and Benno Stein 19 summarization, dialogue systems, recommendation systems, question answering, emotion recognition/ generation, automated reasoning, and expressive text to speech. …

How to effectively train IBM Watson: Classroom experience
SS Murtaza, P Lak, A Bener… – … (HICSS), 2016 49th …, 2016 – ieeexplore.ieee.org
… Abstract. Watson is a question answering system that uses natural language processing, information retrieval, knowledge interpretation, automated reasoning and machine learning techniques. It can analyze millions of documents …

Cognitive Computing for Electronic Medical Records
MV Devarakonda, N Mehta – Healthcare Information Management …, 2016 – Springer
… need can only be specified as a natural language question with all its inherent nuances, an advanced Question Answering capability is … In determining the treatment options, how will the medical knowledge become available in a form that can be used in automated reasoning? …

How to Write Science Questions that Are Easy for People and Hard for Computers.
E Davis – AI magazine, 2016 – cs.nyu.edu
… Barker, K.; Chaudhri, VK; Chaw, SY; Clark, P.; Fan, J.; Israel, D.; Mishra, S.; Porter, B.; Romero, P.; Tecuci, D,; Yeh, P. 2004. A Question-Answering System for AP Chemistry: Assessing KR&R Technologies. … The Scope and Limits of Simulation in Automated Reasoning. …

MIMOSA: Towards a model driven certification process
P Bieber, F Boniol, G Durrieu… – … Time Software and …, 2016 – hal.archives-ouvertes.fr
… from formal inputs that a tool is able to manage, and provers or solvers can make automatic or semi-automatic reasoning from these … an internal tool for the certification team that offers to build the argumentation based on the supports provided and some question/answer with the …

Controlled Natural Languages for Knowledge Representation and Reasoning
T Gao – OASIcs-OpenAccess Series in Informatics, 2016 – drops.dagstuhl.de
… Same as NL2KR-L, Generalization is used to determine the meaning of unknown words. Experimental results show that NL2KR achieves high accuracy when applied to GeoQuery and Jobs datasets for question-answering. … Automated reasoning: introduction and applications. …

Advanced interconnect technologies in the era of cognitive computing
Y Orii, A Horibe, K Matsumoto, T Aoki… – … (Pan Pacific), 2016, 2016 – ieeexplore.ieee.org
… Watson is a question answering (QA) computing system that IBM built to apply advanced natural language processing, information retrieval, knowledge representation, automated reasoning, and machine learning technologies to the field of open domain question answering. …

PriBots: Conversational Privacy with Chatbots.
H Harkous, K Fawaz, KG Shin, K Aberer – WSF@ SOUPS, 2016 – usenix.org
… PriBots open the door for applications beyond a simple question-answer mechanism. … This module allows automated reasoning about the privacy policy and returns an answer to the user’s query, up to a certain confidence level. …

ConceptRDF: An RDF presentation of ConceptNet knowledge base
E Najmi, Z Malik, K Hashmi… – … Systems (ICICS), 2016 …, 2016 – ieeexplore.ieee.org
… Wordnet rdf representation, 2001. [15] Erfan Najmi, Khayyam Hashmi, Fayez Khazalah, and Zaki Malik. Intel- ligent semantic question answering system. … Fact++ description logic reasoner: System description. In Automated reasoning, pages 292–297. Springer, 2006. …

Deepmath-deep sequence models for premise selection
G Irving, C Szegedy, AA Alemi, N Een… – Advances in Neural …, 2016 – papers.nips.cc
… Recently the field of Automated Reasoning in Large Theories (ARLT) [35] has developed, including AI/ATP/ITP (AITP) systems called … useful in language modeling [28], text classification [8], sentence pair scoring [3], conversation modeling [36], and question answering [33]. …

An Educational Ontology-based M-Learning System.
AG Karkar, A Ja’am, J Mohamad – International Journal of …, 2016 – search.ebscohost.com
… Index Terms—Mobile Learning; Question Answering; Edu- cational Ontology; Multimedia; Education. … The rest of the paper is organized as follows: in section 2 we discuss the existing multimedia systems with the question answer technique. …

Generating visual explanations
LA Hendricks, Z Akata, M Rohrbach, J Donahue… – … on Computer Vision, 2016 – Springer
… Automatic reasoning and explanation has a long and rich history within the artificial intelligence community [4, 5, 17, 22, 24, 25, 33, 35]. … learning, specifically how to backpropagate through a sampling mechanism, have recently been applied to visual question answering [1] and …

Intelligent Information Processing VIII: 9th IFIP TC 12 International Conference, IIP 2016, Melbourne, VIC, Australia, November 18-21, 2016, Proceedings
Z Shi, S Vadera, G Li – 2016 – books.google.com
… de Abstract. This talk discusses the use of first order automated reasoning in question answering and cognitive computing. … Keywords: Automated reasoning Á Cognitive computing Á Question answering Á Cognitive science Á Commonsense reasoning Page 10. …

JOSN: JAVA oriented question-answering system combining semantic web and natural language processing techniques
S Garg, S Kumar – Information Processing (IICIP), 2016 1st India …, 2016 – ieeexplore.ieee.org
… Querix [3] (Kaufmann et al., 2006)- It is an ontology- based question answering system which is used to clarify the ambiguities. … SMART [1] (Semantic web information Management with Automated Reasoning Tool)(Battista et al., 2007)- It is an open-source system with …

In Memory of Mark Stickel
P Baumgartner, W Bibel, R Waldinger – Journal of Automated Reasoning, 2016 – Springer
… extraction, and a number of other mechanisms that make it a uniquely appropriate choice for such real-world applications as program synthesis and question answering. … Mark was the winner in 2002 of the prestigious Herbrand Award, the highest honor in automated reasoning. …

On Automatic Question Answering Using Efficient Primal-Dual Models
Y Osmanl?o?lu, A Shokoufandeh – … Pattern Recognition of Social Signals in …, 2016 – Springer
… Although successfully applied in various types of question answering, one major drawback of these methods is that they do not … applied to several NLP tasks including review relevance identification [25], inference recognition [21], and extraction of automatic reasoning chains [27 …

Automatic Question Answering Based on Single Document
X Wang, B Xu, H Zhuge – Semantics, Knowledge and Grids …, 2016 – ieeexplore.ieee.org
… Domain Category extraction algorithm Distance calculation User Output Answer Selection mechanism Sentence mapping (1) (2) 91 Page 3. … ” (4) “The main research of artificial intelligence include knowledge representation, automated reasoning and search methods, machine …

Richard: Towards a Dialogue System Supporting Automatic Event Identification
Y Jiang, T Dong, AB Cremers, J Köhler – ksiresearch.org
… A Natural Language Question Answering System as a Participant in Human Q&A Portals. In IJCAI, pages 2430–2435, Barcelona, Spain. Furbach, U., Glöckner, I., and Pelzer, B. (2010). An appli- cation of automated reasoning in natural language ques- tion answering. …

ONTOLOGY INFORMATION RETRIEVAL THROUGH NATURAL LANGUAGE INTERFACES
DS de Gracia – haitta.com
… IBM built Watson to apply advanced natural language processing, information retrieval, knowledge representation, automated reasoning, and machine learning technologies to the field of open domain question answering. According …

Controlling Search in Very large Commonsense Knowledge Bases: A Machine Learning Approach
A Sharma, M Witbrock, K Goolsbey – arXiv preprint arXiv:1603.04402, 2016 – arxiv.org
… The average speedup is a factor of 14. Since these heuristics steer the inference engine towards more productive parts of the search space, they improve question-answering (Q/A) performance too. … Journal of Automated Reasoning, 52(2):191–213, 2014. [Brewka et al. …

Healthcare Computer Reasoning Addressing Chronically Ill Societies Using IoT: Deep Learning AI to the Rescue
D Mendes, M Lopes, A Romão… – … , and Integration of …, 2016 – books.google.com
… Trying to devise a valid solution to that problem in order to enable clinical automatic reasoning either in a local … Language CORE: Clinical Observations Recording and Encoding CPR: Computer Based Patient Record Ontology CQA: Clinical Question Answering DO: Disease …

The KIAM System in the C@ merata Task at MediaEval 2016.
M Mytrova – MediaEval, 2016 – pdfs.semanticscholar.org
… 1. INTRODUCTION The key aim of the C@merata evaluations is to apply Question Answering to Music Information Retrieval. … [2] MusicXML http://www.musicxml.com/ [3] Mytrova, M. (2013). Music Information Retrieval Based On Automated Reasoning Methods. …

The GDML and EuKIM Projects: Short Report on the Initiative
B Buchberger – International Congress on Mathematical Software, 2016 – Springer
… bases (with an emphasis on formal knowledge bases) and new processing tools for mathematics (with an emphasis on automated reasoning tools … context should be presentable in a style similar to what is possible in very recent natural language question answering systems for …

A Case-Based Reasoning Approach to Convert Natural Language into First Order Logic
I Perikos, I Hatzilygeroudis – … (CSE) and IEEE Intl Conference on …, 2016 – ieeexplore.ieee.org
… language sentences could greatly assist the design of quality question answering systems, where through the formal representations of both the … sentences can represent the meaning and the information conveyed in the text and can allow automated reasoning approaches to …

REHABROBO-QUERY: Answering Natural Language Queries about Rehabilitation Robotics Ontology on the Cloud
Z Dogmus, E Erdem, V Patoglu – semantic-web-journal.net
… 2. A Brief Review of REHABROBO-ONTO REHABROBO-ONTO is the first formal rehabilita- tion robotics ontology that represents knowledge about rehabilitation robotics in a structured form, and allows automated reasoning about this knowledge. …

Interpreting Natural Language Sources Using Transition Diagrams
EC LeBlanc, M Balduccini – 8th International Workshop, CSLP 2016 – control.ruc.dk
… information, and methods by which the representations can be utilized in the Information Retrieval and Question Answering processes. … Language Pro- cessing and Automated Reasoning (NLPAR)(2013) 5. Blanco, R., Lioma, C.: Graph-based term weighting for information …

Using the IBM Watson cognitive system in educational contexts
I Kollia, G Siolas – … (SSCI), 2016 IEEE Symposium Series on, 2016 – ieeexplore.ieee.org
… Page 2. processing, information retrieval, knowledge representation, automated reasoning, and machine learning technologies to the field of open domain question answering [4]. Watson uses IBM’s DeepQA software which is illustrated in Fig. …

Rehabilitating Autistic Reasoning
B Galitsky – Computational Autism, 2016 – Springer
… WOL parameters. Focusing on the mental component of WOL plots is rewarding from the prospective of building the compact and closed (in terms of reasoning) vertical natural language question-answering (Q/A) domain. It …

Mark Stickel: His Earliest Work
DW Loveland – Journal of Automated Reasoning, 2016 – Springer
… He came to This paper is dedicated to the memory of Mark, a wonderful friend and a major contributor to the field of automated reasoning. Donald W. Loveland dwl@cs.duke.edu … Belnap envisioned a question answering system which accepts inputs and answers queries. …

Knowledge Graphs: Venturing Out into the Wild
G de Melo – International Semantic Web Conference, 2016 – Springer
… Li, H., Wang, Y., de Melo, G., Tu, C., Chen, B.: Multimodal question answering over structured data with ambiguous entities. … Sutcliffe, G., Suda, M., Teyssandier, A., Dellis, N., de Melo, G.: Progress towards effective automated reasoning with world knowledge. …

A learning ontology with metadata and user profiles for enhancing accessibility of resources
SR Heiyanthuduwage, R Schwitter… – e-Learning, e …, 2016 – ieeexplore.ieee.org
… Moreover, formal ontologies provide the basis for automated question answering [14, 15]. … The DL reasoner answers these queries over the learning ontology by automated reasoning and displays the answers on the user interface. …

Querying an inconsistent database
P Jorrand, V Sgurev – Artificial Intelligence IV: Methodology …, 2016 – books.google.com
… New inference rules are necessary in order to manage this complex knowledge. As for the problem of question-answering, they chose to provide an answer in a particular context and do not reason on all the possible contexts. … In Automated Reasoning, 1988. …

An empirical evaluation of two user interfaces of an interactive program verifier
M Hentschel, R Hähnle, R Bubel – … Software Engineering (ASE) …, 2016 – ieeexplore.ieee.org
… The list is composed of (i) options gen- erated for each present JML construct as a potential cause, (ii) the possibility that automated reasoning power was in- sufficient and interactive proof steps are required and (iii) a free text form. …

Introduction: Phenomena of Autistic Reasoning
B Galitsky – Computational Autism, 2016 – Springer
… 8 and 9. In Chap. 5 the mental simulator NL_MAMS is presented, the system that is capable of automated reasoning within our framework of the mental world. … Cambridge, MA. Galitsky B (2003) Natural language question answering system: technique of semantic headers. …

Cognitive Systems: Argument and Cognition
A Kakas, L Michael, H Skouteli… – IEEE Intelligent …, 2016 – cognition.ouc.ac.cy
… This work presents a knowledge acquisition platform and a certain game developed on that platform for endowing machines with common sense, by following a hybrid approach that combines crowdsourcing techniques, knowledge engineering, and automated reasoning. …

Programming with” Big Code”(Dagstuhl Seminar 15472)
WW Cohen, C Sutton, MT Vechev – Dagstuhl Reports, 2016 – drops.dagstuhl.de
… a Bayesian framework where logical techniques are guided by data-driven insights and data mining happens on artifacts generated through automated reasoning. … In this talk, I will describe how we plan to use the question-answer posts from Stack Overflow to help bootstrap the …

Qualitative Temporal Reasoning Can Improve on Temporal Annotation Quality: How and Why
R Gennari, P Vittorini – Applied Artificial Intelligence, 2016 – Taylor & Francis
… of qualitative temporal reasoning, eg, see the documentation of the Time and Event Recognition for Question Answering Systems (TERQAS … This article presents an automated reasoning system, called SOA-based Qualitative Temporal Reasoner (SQTR), which builds on KR …

Clinical Practice Ontology Automatic Learning from SOAP Reports
D Mendes, IP Rodrigues, CF Baeta – Handbook of Research on …, 2016 – books.google.com
… These efforts raise the level of awareness of the clinical reporting into the semantic possibilities that “understanding the meaning” of the encoded information uncovers like CSI6 or automated reasoning around such complex domains. …

SigmaKB: multiple probabilistic knowledge base fusion
M Rodríguez, S Goldberg, DZ Wang – Proceedings of the VLDB …, 2016 – dl.acm.org
… 1. INTRODUCTION The amount of information available on the web has ex- ploded and the need to corral it into a more structured form for querying, analysis, and automated reasoning has greatly increased. … Semantic parsing on freebase from question-answer pairs. …

Reports of the 2016 AAAI Workshop Program
SV Albrecht, B Bouchard, JS Brownstein… – AI …, 2016 – go.galegroup.com
… nonformalized text, explicitly or implicitly, into a formalized actionable language (that is, capable of supporting automated reasoning). Other steps in the text-understanding pipeline include linguistic processing, reasoning, text generation, search, question answering, and others. …

The Resolution Method for 10-Element Linguistic Truth-Valued Propositional Logic
L Zou, Y Wang, Y Xu, M Yang – … on Oriental Thinking and Fuzzy Logic, 2016 – Springer
… Since 1965, automated reasoning based on Robinson’s [4] resolution rule has been extensively studied in the context of proving the … They are widely applied to areas such as artificial intelligence, logic programming, problem solving and question answering systems, database …

Henkin semantics for reasoning with natural language
M Hahn, F Richter – Journal of Language Modelling, 2016 – jlm.ipipan.waw.pl
… The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by for- mal semanticists. …

A semantic system for diagnoses suggestion and clinical record management
F Amato, G Cozzolino, A Mazzeo… – … (WAINA), 2016 30th …, 2016 – ieeexplore.ieee.org
… in two typologies, Knowledge-based and non-Knowledge- based [7], [1]. The firsts are accurately described in [2]. AAPHelp [8], created in 1972, was an early attempt to implement automated reasoning under uncertainty. … Evaluating question answering over linked data. …

A generic framework for ontology-based information retrieval and image retrieval in web data
V Vijayarajan, M Dinakaran, P Tejaswin… – … -centric Computing and …, 2016 – Springer
… AquaLog [32] is a portable question-answering system, which receives queries in natural language and an ontology as the inputs and retrieves answers from the available … Ontologies can act as computational models and provide us with certain type of automated reasoning. …

The convergence of curation
M Lesk – Handbook of Science and Technology Convergence, 2016 – Springer
… reasoning based on this data will be feasible remains to be seen. Hype about winning at Jeopardy is all well and good (Ferrucci 2012, Markoff 2011), but the need for anagrams in general life is pretty low. Whether there will be a demand for sophisticated question answering …

Towards Ontology-Based Program Analysis
Y Zhao, G Chen, C Liao, X Shen – LIPIcs-Leibniz International …, 2016 – drops.dagstuhl.de
… Through decades of development, a large body of tools (eg, Stanford Protégé [25], SWI-Prolog Semantic Web Library [62], etc.) have been developed for creating ontologies and automatic reasoning upon an ontology-based knowledge base, which enables automatic questions …

Modeling and implementation of Z-number
P Patel, ES Khorasani, S Rahimi – Soft Computing, 2016 – Springer
… For ambitious applications of CW, such as advanced question/answering systems and natural language understanding, there is a need for a … CWShell is a CW inference engine that performs automated reasoning on a GCL knowledge base and provides solutions to the users …

Incorporating leading-edge technologies in an artificial intelligence course
BR Payne – Journal of Computing Sciences in Colleges, 2016 – dl.acm.org
… of intelligent agents/intelligent systems • Utilize various algorithms and heuristics to solve a complex problem • Design & apply data structures for knowledge representation and automated reasoning • Utilize natural language … Statistical source expansion for question answering. …

An analysis of ontologies and their success factors for application to business
C Feilmayr, W Wöß – Data & Knowledge Engineering, 2016 – Elsevier
… predominantly buzzwords. At the same time, the application of inference rules, which are used for automated reasoning, shifted ontologies from their field of origin, AI, into the focus of a broad audience in the WWW (cf. Section 2.1). As …

Knowledge Engineering: Building Cognitive Assistants for Evidence-based Reasoning
G Tecuci, D Marcu, M Boicu, DA Schum – 2016 – books.google.com
Page 1. KNOWLEDGE ENGINEERING Building Cognitive Assistants for Evidence-Based Reasoning Gheorghe Tecuci – Dorin Marcu Mihai EOiCu e David A. Schum Page 2. KNOWLEDGE ENGINEERING Building Cognitive …

Towards ontology-based program analysis
X Shen, Y Zhao – 2016 – repository.lib.ncsu.edu
Page 1. Towards Ontology-Based Program Analysis Yue Zhao?, Chunhua Liao+, Xipeng Shen? *Computer Scinece, North Crolina State University +Lawrence Livermore National Laboratory yzhao30@ncsu.edu, liao6@llnl.gov, xshen5@ncsu.edu …

COMAT: core ontology of matter
D Madalli, A Sulochana, AK Singh – Program, 2016 – emeraldinsight.com
… The project Halo (Angele et al., 2003) is aimed to produce a question answering system for chemistry called Ontonova. … The DERA framework is compatible with description logic and support fully automated reasoning (Giunchiglia and Dutta, 2011). …

A resource-driven approach for anchoring linguistic resources to conceptual spaces
A Lieto, E Mensa, DP Radicioni – AI* IA 2016 Advances in Artificial …, 2016 – Springer
… for efficient heuristic reasoning, and it could be adopted by artificial systems aiming at providing forms of plausible automatic reasoning. … helpful in applications that mix different types of reasoning strategies for tasks such as conceptual categorization, question answering, etc.. …

Intelligent agent development using unstructured text corpora and multiple choice questions
J Johnson – 2016 – search.proquest.com
… Question Answer (QA) [1, 2] is a prominent and growing sub-eld of natural language processing, and of the larger eld of AI [3]. QA systems [2] consist of … A knowledge-based approach oers the advantages of allowing automated reasoning, and thus, justications for answers. …

On the ontological quality and logical quality of conceptual-modeling grammars: The need for a dual perspective
R Clarke, A Burton-Jones… – Information Systems …, 2016 – pubsonline.informs.org
… Our approach differs from this prior work in two ways. First, our focus is not the development of lan- guages (grammars) to support automated reasoning. … 2 Past CM research has also used this question-answering strategy (Greenspan et al. 1986, pp. 17–18; Mylopoulos et al. …

Case based Reasoning for Treatment and Management of Diabetes
MK KIRAGU, PW Waiganjo – Diabetes, 2016 – erepository.uonbi.ac.ke
Page 1. i UNIVERSITY OF NAIROBI SCHOOL OF COMPUTING & INFORMATICS CASE BASED REASONING FOR TREATMENT AND MANAGEMENT OF DIABETES By MARK KARANI KIRAGU P51/64907/2013 Supervisor PETER WAIGANJO WAGACHA …

Parameterized fielded term dependence models for ad-hoc entity retrieval from knowledge graph
F Nikolaev, A Kotov, N Zhiltsov – … of the 39th International ACM SIGIR …, 2016 – dl.acm.org
… However, since the structure of knowledge graphs has been optimized for automated reasoning and answering structured graph pattern queries, finding entities … centric information need, such as entity search [29, 32, 33], list search [7] or entity-based question answering [26, 31 …

Emerging semantic-based applications
C Bobed, R Yus, F Bobillo, S Ilarri, J Bernad, E Mena… – Semantic Web, 2016 – Springer

A Survey about the Usage of Semantic Technologies for the Description of Robotic Components and Capabilities.
S Zander, N Ahmed, MT Frank – SAMI@ iKNOW, 2016 – ceur-ws.org
Page 1. A Survey about the Usage of Semantic Technologies for the Description of Robotic Components and Capabilities Stefan Zander FZI Research Center for Information Technology Haid-und-Neu-Str. 10-14 76131 Karlsruhe – Germany zander@fzi.de …

Techniques for optimized reasoning in description logic knowledge bases
C Schon – 2016 – kola.opus.hbz-nrw.de
… To achieve this goal, a multitude of different problems have to be solved, of which many have been addressed in the various sub-disciplines of artificial intelligence, like automated reasoning and machine learning. The thesis …

PreMOn: a Lemon Extension for Exposing Predicate Models as Linked Data.
F Corcoglioniti, M Rospocher, AP Aprosio, S Tonelli – LREC, 2016 – lrec-conf.org
… Labeling (SRL) tools, they have become central to a number of tasks such as information extrac- tion, question answering and natural … subclass/subproperty primitives); 3. possibility to apply SW technologies to predi- cate model data, such as automated reasoning and SPARQL …

A methodology of machine learning in automated entity summarization
S Chonde – 2016 – search.proquest.com
… 4. 1.1 Motivation. basis of a robot scientist. IBMs Watson (2015), a question answering system, demonstrates how contemporary technology in automated reasoning and natural language processing allows computers to answer open domain questions. …

MARGOT: A web server for argumentation mining
M Lippi, P Torroni – Expert Systems with Applications, 2016 – Elsevier
… due to its ability to conjugate representational needs with user-related cognitive models and computational models for automated reasoning. … up to more specific tasks like semantic role labeling, relation extraction, named entity recognition, question/answer classification and …

Modular action language
D Inclezan, M Gelfond – Theory and Practice of Logic Programming, 2016 – cambridge.org
… Accurate mathematical analysis of these similarities and their use for automatic reasoning in ALM is a matter for future research.) The … As a second step, we created a question answering system capable of answering complex temporal projection questions about this biological …

Database and Expert Systems Applications
S Hartmann, H Ma – 2016 – Springer
… We outline the possible interaction between knowledge mining, natural language processing, sentiment analysis, data base systems, ontology technology, algorithm synthesis, and automated reasoning for enhancing the sophistication of web-based knowledge processing. …

Paraconsistency in hybrid logic
D Costa, MA Martins – Journal of Logic and Computation, 2016 – academic.oup.com
… In Computer Science, subdomains like requirements engineering [18], artificial intelligence [15] and automated reasoning within information processing knowledge bases [16] are among the most relevant areas in which paraconsistent logic can address theoretical difficulties …

The epistemology of intelligent semantic web systems
M d’Aquin, E Motta – Synthesis Lectures on the Semantic Web …, 2016 – morganclaypool.com
Page 1. n n , r e s n l , t e g l D’A Q UIN • MO T T A T H E E P IST E MOL O GY OF IN T E L L IGE N T SE MAN T IC WE B SYST E MS M O R GAN & CL A YPOO L The Epistemology of Intelligent Semantic Web Systems Mathieu d’Aquin Enrico Motta Page 2. Page 3. …

Language Processing with Perl and Prolog
PM Nugues – 2016 – Springer
Page 1. Cognitive Technologies Pierre M. Nugues Language Processing with Perl and Prolog Theories, Implementation, and Application Second Edition Page 2. Cognitive Technologies Managing Editors: DM Gabbay J. Siekmann …

Dialogue Systems and Dialogue Management
D Burgan – 2016 – dtic.mil
… intelligence analysts with a trusted, automated partner who can deliver in real-time deep situation awareness by enhancing and augmenting all-source intelligence analysis through semantic information fusion, automated reasoning and natural language question answering. …

Collaborative annotation, search and categorisation
Y Hong – 2016 – lra.le.ac.uk
… 11 1.1.2.3 Insufficient Automated Reasoning Support . . . . . 13 … text box? The former has more expressive power, but the latter is more user-friendly. (2) How to make use of the knowledge-base to enable automatic reasoning? How …

Sentiment Classification with Case-base Approach
B Torabian – 2016 – theses.ulaval.ca
… which is used to identify the grammatical role of each word in a given sentence or phrase, is considered as a sub-task of many applications such as question answering (determining the answer of a given question) or sentiment analysis [12]. Classification and regression …

A survey on fuzzy ontologies for the Semantic Web
F Zhang, J Cheng, Z Ma – The Knowledge Engineering Review, 2016 – cambridge.org
Page 1. A survey on fuzzy ontologies for the Semantic Web FU ZHANG, JINGWEI CHENG and ZONGMIN MA College of Information Science and Engineering, Northeastern University, Shenyang, 110819, China; e-mail: zhangfu216 …

An Automatically Generated Lexical Knowledge Base with Soft Definitions
M Scaiano – 2016 – ruor.uottawa.ca
… 161 7.24 Baseline results on factoid questions from TREC 2004 Question-Answering (QA) task . . . . . … or someone new to a language would learn. Symbols and their use in automated reasoning are usually treated as having strict meaning satisfying a precise definition. …

Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings
S Hartmann, H Ma – 2016 – books.google.com
… From Natural Language to Automated Reasoning Bruno Buchberger We outline the possible interaction between knowledge mining, natural language processing, sentiment analysis, data base systems, ontology technology, algorithm synthesis, and automated reasoning for …

The Detection of Contradictory Claims in Biomedical Abstracts
A Alamri – 2016 – etheses.whiterose.ac.uk
… the development of the proposed system: negation and speculation, information extrac- tion, question answering, and evaluation of NLP tasks. Chapter 3 presents two corpora, constructed for the purpose of understanding the …

An Ontology-Based Approach to Model the Interconnections between Research Artifacts
TAI Khrais, IM Al Agha – library.iugaza.edu.ps
… There exist several such languages endorsed by the WWW Consortium [2]. They support formal semantics which enables automated reasoning using deductive … means of automated reasoning techniques. The web, much like our global environment, is in a state of flux. …

Ontology-driven approach towards domain-specific system design
S Banerjee, A Sarkar – International Journal of Metadata …, 2016 – inderscienceonline.com
… semantically interoperable. Ontology seems to be better suited for representing common understanding of domain for providing logical formalism or model theory, automated reasoning and validation (Parreiras et al., 2007). It …

A series of revisions of David Poole’s specificity
CP Wirth, F Stolzenburg – Annals of Mathematics and Artificial Intelligence, 2016 – Springer
Page 1. Ann Math Artif Intell (2016) 78:205–258 DOI 10.1007/s10472-015-9471-9 A series of revisions of David Poole’s specificity Claus-Peter Wirth1 ·Frieder Stolzenburg1 Published online: 20 October 2015 © Springer International Publishing Switzerland 2015 …

The Relationship between Brief Clarity and Summary Judgment Decisions
SB Spencer, A Feldman – 2016 – papers.ssrn.com
… associative system” compares new stimuli to what we know about the world, and often manifests in “quick, automatic reasoning decisions based … ON LEARNING AND MEMORY 337 (Lars-Goran Nilsson ed. 1979) (urging “reading time, recall, and question answering” as more …

Computational Methods for Integrating Vision and Language
K Barnard – Synthesis Lectures on Computer Vision, 2016 – morganclaypool.com
… loosely labeled data, correspondence ambiguity, auto-annotation, region labeling,multimodal translation, cross-modaldisambiguation, imagecaption- ing, video captioning, affective visual attributes, aligning visual and linguistic data, auto-illustration, visual question answering …

Computational Autism
B Galitsky – 2016 – Springer
… 4). The reader who prefers to avoid technical details may want to skip Chaps. 4, 5, 6, and 7 and proceed to Chaps. 8 and 9. In Chap. 5 the mental simulator NL_MAMS is presented, the system that is capable of automated reasoning within our framework of the mental world. …

The computational origin of representation and conceptual change
ST Piantadosi – 2016 – colala.bcs.rochester.edu
Page 1. The computational origin of representation and conceptual change Steven T. Piantadosi October 3, 2016 Abstract Each of our theories of mental representation provides some insight into how the mind works. How- ever …

Modern Theory of Information–Structured and Knowledge Based System Design
S Krayem – 2016 – digilib.k.utb.cz
Page 1. Page 2. MODERN THEORY OF INFORMATION – STRUCTURED AND KNOWLEDGE BASED SYSTEM DESIGN SAID KRAYEM ZLÍN 2016 Page 3. ABSTRACT This keynote will address the challenges in the digital engineering field with a specific …

OF ARTIFICIAL INTELLIGENCE
OFA INTELLIGENCE – An International, 2016 – datascienceassn.org
… Cognitive Agent that Learns and Organizes (CALO), which led to Apple Inc.’s Siri; IBM’s question-answering computer Watson’s victory … that act like humans (eg, pass the Turing test via natural language processing; knowledge representation, automated reasoning, and learning …

Computer Vision–ECCV 2016: 14th European Conference, Amsterdam, The Netherlands, October 11–14, 2016, Proceedings
B Leibe, J Matas, N Sebe, M Welling – 2016 – books.google.com
Page 1. Bastian Leibe Jiri Matas Nicu Sebe Max Welling (Eds.) Computer Vision– ECCV 2016 14th European Conference Amsterdam, The Netherlands, October 11–14, 2016 Proceedings, Part IV 123 Page 2. Lecture Notes …

The European Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology
G Ajani, G Boella, L Di Caro, L Robaldo… – Applied …, 2016 – content.iospress.com
… when transposing European legislation. Such an ontology could also serve as a useful tool in legal search, information retrieval, automatic translation, automated reasoning and regulatory compliance verification. It could help …

Natural language semantics using probabilistic logic
IKA Beltagy – 2016 – repositories.lib.utexas.edu
… automated reasoning and that, ideally, can be automatically acquired from large text corpora. Effective semantic representations and reasoning tools give computers the power to perform complex applications like question answer- ing. …

Efficient Framework for Semantic Search on Web
V Jindal, SG Bawa, SG Batra – 2016 – dspace.thapar.edu
Page 1. Efficient Framework for Semantic Search on Web A Thesis submitted for the award of degree of Doctor of Philosophy By: Vikas Jindal (950903011) Under the guidance of: Dr. Seema Bawa, Professor, Dr. Shalini Batra, Associate Professor, …

paper recommender systems: a literature survey
J Beel, B Gipp, S Langer, C Breitinger – International Journal on Digital …, 2016 – Springer

Big crisis data: social media in disasters and time-critical situations
C Castillo – 2016 – books.google.com
Page 1. E? CRISS *DATA Social Media in Disasters and Time-Critical Situations CARLOS CAST|L0 Page 2. Big Crisis Data Social Media in Disasters and Time-Critical Situations Social media is an invaluable source of time-critical information during a crisis. …

Multiwibi: The multilingual wikipedia bitaxonomy project
T Flati, D Vannella, T Pasini, R Navigli – Artificial Intelligence, 2016 – Elsevier
… Processing (NLP) tasks, such as question answering [7], [8], [9] and [10], machine reading [11], entity linking [12] and [13], information extraction [14] and [15] and automatic reasoning [16], [17] and [18]. For example, traditional open-domain Question Answering systems might …

Activity Recognition in Event Driven IoTService architectures
S Meissner – 2016 – search.proquest.com
… This catechism is a set of research questions to which the author proposes answers in this thesis. Question Answer What are you trying to do? I am trying to build an activity recogniser that detects goal- oriented human activities of users based on concurrent context …

Sentential Representations in Distributional Semantics
M Baroni – 2016 – eprints-phd.biblio.unitn.it
… ( ( ) ? ( This type of representation is quite attractive since it allows automatic reasoning. For … This is very useful because assessing similarity in meaning is central to many language technology applications such as question answering or information retrieval. …

A Toolset to Address Variability in Mobile Robotics
T Ziadi, JL Farges, S Stinckwich, M Ziane… – Journal of Software …, 2016 – researchgate.net
Page 1. Journal of Software Engineering for Robotics 7(1), July 2016, 20-35 ISSN: 2035-3928 A Toolset to Address Variability in Mobile Robotics Tewfik Ziadi1 Jean-Loup Farges2 Serge Stinckwich3,4,5 Mikal Ziane1,6 Saadia Dhouib7 …

Frame-Based Ontology Population from Text: Models, Systems, and Applications
F Corcoglioniti – 2016 – dkm-static.fbk.eu
Page 1. DEPARTMENT OF INFORMATION ENGINEERING AND COMPUTER SCIENCE ICT International Doctoral School Frame-Based Ontology Population from Text: Models, Systems, and Applications Francesco Corcoglioniti Advisor Dr. Luciano Serafini …

Scalable Learning and Inference in Large Knowledge Bases
Y Chen – 2016 – search.proquest.com
… For future work, we propose to extend the previous contributions to dynamic knowledge bases and data streams and to support other types of automatic reasoning including abductive and defeasible reasoning. Full Text. SCALABLE …

Doctorat ParisTech
L Galárraga – 2016 – luisgalarraga.de
… They are used in multiple applications in Information Retrieval, Query Answering and Automatic Reasoning, among other fields. … KBs find applications in multiple scenarios such as Information Retrieval, Question Answering and Automatic Reaso- ning. …

Surface Realisation from Knowledge Bases
B Gyawali – 2016 – hal.inria.fr
Page 1. Surface Realisation from Knowledge Bases Bikash Gyawali To cite this version: Bikash Gyawali. Surface Realisation from Knowledge Bases. Computation and Language [cs.CL]. Universite de Lorraine, 2016. English. HAL Id: tel-01276008 …

Principles & practices of ontology reuse
M Katsumi – 2016 – search.proquest.com
Principles & practices of ontology reuse. Abstract. Reusability has always been a defining characteristic of ontologies; it is the key to their supposed benefit of shareability, and the answer to the difficulty of their development. …

Ingenious Use of Hypo Sludge in M25 Concrete
AS Gill – Analysis, 2016 – waset.org
Conferences.