Automated Reasoning & Question Answering 2015


Resources:

Wikipedia:

References:

See also:

Automated ReasoningAutomated Reasoning & Dialog SystemsAutomated Reasoning & Question Answering 2013Automated Reasoning & Question Answering 2014Case-based Reasoning & Dialog SystemsDECReasonerDeep Reasoning & Dialog SystemsGraph-Based Knowledge Representation and ReasoningHermiT ReasonerIRIS ReasonerKnowledge Representation and Reasoning (KR&R)Metaphor-based ReasoningPellet Reasoner & Dialog SystemsQualitative Reasoning & Dialog SystemsRADAR (Reflective Agents with Distributed Adaptive Reasoning)Semantic Reasoners & Dialog SystemsSemantic Web Reasoning


Commonsense reasoning and commonsense knowledge in artificial intelligence E Davis, G Marcus – Communications of the ACM, 2015 – dl.acm.org … Theories of commonsense automated reasoning accurately describe commonsense reasoning in people. … A number of successful applications of CYC to AI tasks have been reported, 8 including Web query expansion and refinement, 7 question answering, 9 and intelligence … Cited by 22 Related articles All 3 versions

The RatioLog Project: Rational Extensions of Logical Reasoning U Furbach, C Schon, F Stolzenburg, KH Weis… – KI-Künstliche …, 2015 – Springer … issue on automated deduction, pp 51–55 9. Furbach U, Glöckner I, Pelzer B (2010) An application of auto- mated reasoning in natural language question answering. AI Commun 23(2–3):241– 265 10. Furbach U, Schon C, Stolzenburg F (2014) Automated reasoning in deontic … Cited by 2 Related articles All 8 versions

How models of creativity and analogy need to answer the tailorability concern J Licato, S Bringsjord, NS Govindarajulu – … Creativity Research: Towards …, 2015 – Springer … In: Proceedings of the 2006 AAAI Spring Symposium on Formalizing and Compiling Background Knowledge and its Applications to Knowledge Representation and Question Answering, vol. 3864 (2006). 36. … Owen, S.: Analogy for Automated Reasoning. … Cited by 5 Related articles All 4 versions

A case based reasoning approach for answer reranking in question answering KH Weis – arXiv preprint arXiv:1503.02917, 2015 – arxiv.org … of Methodologies for Int. Systems 8th Int. Symposium (ISMIS’94, 1994, pp. 183–192. [FG10] U. Furbach, I. Glöckner, and B. Pelzer, “An application of automated reasoning in natural language question answering”, AI Communications, vol. 23, no. 2-3, pp. 241–265, 2010. … Cited by 1 Related articles All 4 versions

MEANS: A medical question-answering system combining NLP techniques and semantic Web technologies AB Abacha, P Zweigenbaum – Information Processing & Management, 2015 – Elsevier … level analysis can then be translated to formal representations that allows querying structured databases or document annotations or, furthermore, performing automated reasoning to expand … (2003) analyzed the limitations of general-purpose question-answering ontologies in … Cited by 7 Related articles All 4 versions

Knowledge-based Approach to Question Answering System Selection A Konys – Computational Collective Intelligence, 2015 – Springer … 11], Querix [10], ORAKEL [12], QACID (Question Answering system applied to the CInema Domain) [7], AquaLog [14], PowerAqua [15], SWSE (Semantic Web Search engine) [4], SMART (Semantic web information Management with Automated Reasoning Tool) [13], QuestIO … Cited by 4 Related articles All 2 versions

Solving guesstimation problems using the Semantic Web: Four lessons from an application. A Bundy, G Sasnauskas, M Chan – Semantic Web, 2015 – semantic-web-journal.net … Note that information is merely retrieved in the form that it was originally stored. There is no attempt to discover new information by old com- bining information from different sources. It used to be the case that the field of question answering did infer new information from old. If … Cited by 3 Related articles All 9 versions

Towards an evaluation of semantic searching in digital repositories: a DSpace case-study G Solomou, D Koutsomitropoulos – Program, 2015 – emeraldinsight.com … This combination is made possible by inference engines that implement automated reasoning techniques based on formal logics (Horrocks, 2008), which … The Question Answering over Linked Data (QALD) (Cimiano et al., 2013) series of evaluation campaigns form an attempt to … Cited by 1 Related articles All 2 versions

System description: ET 0.1 C Kaliszyk, S Schulz, J Urban, J Vysko?il – International Conference on …, 2015 – Springer … Semant. 5, 51 (2014)View Article; 6. Furbach, U., Glöckner, I., Pelzer, B.: An application of automated reasoning in natural language question answering. AI Commun. 23(2–3), 241–265 (2010)MathSciNet; 7. Hoder, K., Voronkov, A.: Sine Qua Non for large theory reasoning. … Cited by 4 Related articles All 4 versions

Automated Reasoning for Robot Ethics U Furbach, C Schon, F Stolzenburg – arXiv preprint arXiv:1502.05838, 2015 – arxiv.org … IEEE Intelligent Systems, 21(4):38–44, 2006. 6. U. Furbach, I. Glöckner, and B. Pelzer. An application of automated reasoning in natural language question answering. AI Commun., 23(2-3):241–265, 2010. 7. U. Furbach, C. Schon, and F. Stolzenburg. … Related articles All 5 versions

Automated Reasoning in the Wild U Furbach, B Pelzer, C Schon – International Conference on Automated …, 2015 – Springer … Abstract. This paper discusses the use of first order automated reasoning in question answering and cognitive computing. … 5 Conclusion. This paper discusses the use of first order automated reasoning in question answering and cognitive computing. … Related articles All 2 versions

Reasoning about interruption of biological processes VK Chaudhri, S Heymans, N Yorke-Smith – Biologically Inspired Cognitive …, 2015 – Elsevier … assist human learners of biology. Keywords. Automated reasoning; Biological processes; Question answering. Introduction. Learning a scientific discipline such as biology is a challenge to many people. In a typical advanced … Related articles All 2 versions

Improved question answering system Using semantic search and indexing S Kalaivani – 2015 – shodhganga.inflibnet.ac.in … xiv LIST OF FIGURES xv LIST OF SYMBOLS AND ABBREVIATIONS xviii 1 QUESTION ANSWERING SYSTEM 1 1.1 INTRODUCTION 1 1.2 TYPES OF QUESTION ANSWERING SYSTEM 2 1.2.1 Open Domain and Closed Domain QA 2 1.2.2 Factors for Closed Domain QA … All 2 versions

Generating Logical Representations for Natural Language Requirements Using Syntactic Dependencies and Norm Analysis Patterns R Sharma, KK Biswas – … Conference on Applications of Natural Language …, 2015 – Springer … Moreover, requirements expressed in NL cannot be put to automated reasoning and analysis. … interpretations of a given model as well as serving a basis for various ways of reasoning with models, either through consistency-checking or by supporting question-answering [6]. … Related articles

An Approach for Representing Knowledge in Natural Language Processing GN Kumar – ijseas.com … This can lead to develop Expert Systems with human like intelligence like Question-Answering, Automated Reasoning, Machine Translation systems that can work on natural language. Expert systems are used for decision making ability based on stored facts. … Related articles

Perspective On Required Packaging Technologies For Neuromorphic Devices Y Orii, A Horibe, K Sueoka, K Matsumoto… – International …, 2015 – imapsource.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. … Related articles All 2 versions

Special Issue on Higher-Level Cognition and Computation M Ragni, F Stolzenburg – KI-Künstliche Intelligenz, 2015 – researchgate.net … In the former project, an application of higher-level cognition is considered, namely deep question answering, where techniques from information retrieval and automated reasoning are combined in a system that aims at implementing rational reasoning. … All 3 versions

Higher-Level Cognition and Computation: A Survey M Ragni, F Stolzenburg – KI-Künstliche Intelligenz, 2015 – Springer … order logic. Reasoning with the modus ponens or modus tollens has a direct counterpart in automated reasoning systems. Effective reasoning procedures make applications such as question-answering systems possible. For … Related articles All 2 versions

MOSS-IR: Multi-Ontology Based Search System for Information Retrieval in E-health Domain VV Rajendran, S Swamynathan – Procedia Computer Science, 2015 – Elsevier … 700-709. [4]; López, V., Sabou, M., Uren, V., Motta, E, “Cross- Ontology Question Answering on the Semantic Web – an initial evaluation”. … In Third International Joint Conference on Automated Reasoning, 2006, pages 292-297. Springer. … Related articles All 5 versions

SyLAR—The System for Logic and Automated Reasoning for Situation Management Decision Support Systems E Matsak, T Lehtpuu, P Lorents – Intelligent Decision Technologies, 2015 – Springer … reasoning method for situation management, and a prototype SyLAR (System for Logic and Automated Reasoning) implementation. … on Formalizing and Compiling Background Knowledge and its Applications to Knowledge Representation and Question Answering (2006). 25. … Related articles All 5 versions

Answer Set Programming for Controlled Natural Language Processing R Schwitter, SC Guy – … and Automated Reasoning, and the 2nd …, 2015 – peterschueller.com … is the first controlled natural language that uses An- swer Set Programming as target language for reasoning, in particular for question answering. … and encoding of fine-grained commonsense and domain knowledge so that this knowledge can be used for automated reasoning. … Related articles All 2 versions

Experiences with Aber-OWL, an ontology repository with OWL EL reasoning L Slater, MÁ Rodríguez-García, K O’Shea… – … Directions Workshop on …, 2015 – Springer … is now a possibility and can be performed efficiently [15], and that novel kinds of applications can be developed which rely on automated reasoning and semantic … Usbeck, R., Ngonga Ngomo, AC, Bühmann, L., Unger, C.: HAWK – hybrid question answering over linked data. … Related articles All 3 versions

AI and Education: Celebrating 30 years of Marriage BP Woolf – Workshop on Les Contes du Mariage: Should AI stay … – ceur-ws.org … IBM’s question answering system, Watson, which defeated the two great Jeopardy champions by a significant margin, was derived from basic AI research in natural language processing, information retrieval, knowledge representation, automated reasoning, and machine … Related articles All 4 versions

Consensus: A comprehensive solution to the grand challenges of information fusion DA Lambert, A Saulwick… – … Fusion (Fusion), 2015 …, 2015 – ieeexplore.ieee.org … fusion system addresses these gran innovative system processes real-time heterogen sources, including track data, as well as spo English language, transforming all inputs into semantic form for deep automated reasoning. in real-time Question Answering with Virtua Virtual … Related articles

Ontologies R Navigli – Citeseer Page 1. DRAFT 20. Ontologies Roberto Navigli? Sapienza University of Rome Abstract This chapter is about ontologies, that is, knowledge models of a domain of interest. We introduce ontologies, view them from the perspective of several fields of knowledge, and present … Related articles All 2 versions

Parallel Data Processing Services Based on Cloud Computing Technology. T Pranckevi?ius – Informacijos Mokslai/Information Sciences, 2015 – search.ebscohost.com … It applies advanced natural lan guage processing, information retrieval, knowl edge representation, automated reasoning, and machine learning technologies to the field of open domain question answering (IBM, 2011). This … Related articles

Ripple Down Rules for Question Answering S Web – pdfs.semanticscholar.org … 1 IOS Press Ripple Down Rules for Question Answering … Abstract. Recent years have witnessed a new trend of building ontology-based question answering systems. These systems use semantic web information to produce more precise answers to users’ queries. …

[BOOK] Semantic Interpretation of User Queries for Question Answering on Interlinked Data S Shekarpour, E Marx, ACN Ngomo, S Auer – 2015 – hss.ulb.uni-bonn.de … 1. IBM Watson27 is a question answering system developed by IBM. … Watson applies advanced natural language processing, information retrieval, knowledge representation, automated reasoning, and machine learning technologies to analyze the natural language input query … Related articles

How to Write Science Questions that Are Easy for People and Hard for Computers E Davis – 2015 – 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. … Related articles All 5 versions

Evaluating an intelligent Q&A system for mobile cultural learning I Doumanis, S Smith – EAI Endorsed Transactions on Future …, 2015 – eprints.mdx.ac.uk … the responses and their confidences, the system integrates several algorithms for information retrieval, semantic analysis, automated reasoning and learning. … an ECA using either a) text b) text or ECA performing monologue and c) text and ECA performing question-answering. … Cited by 1 Related articles

An Efficient Semantic Ranked Keyword Search of Big Data Using Map Reduce PS Rao, MHMK Prasad, KT Reddy – International Journal of Database …, 2015 – sersc.org … if you could create a domain of knowledge and establish formal relationships among the items of knowledge in the domain, you could perform certain types of automated reasoning. … [9] discussed how to add derivational relations between literals and question answering task in … Cited by 1 Related articles All 2 versions

Improving the competency of first-order ontologies J Álvez, P Lucio, G Rigau – … of the 8th International Conference on …, 2015 – dl.acm.org Page 1. Improving the Competency of First-Order Ontologies Javier Álvez LoRea Group University of the Basque Country UPV/EHU javier.alvez@ehu.eus Paqui Lucio LoRea Group University of the Basque Country UPV/EHU paqui.lucio@ehu.eus … Cited by 2 Related articles All 8 versions

Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic H Jia, Y Liu, Y Xu – Intelligent Systems and Knowledge …, 2015 – ieeexplore.ieee.org … I. INTRODUCTION Since its introduction in 1965, automated reasoning based on Robinson’s [1] resolution rule has been extensively studied [2,3,4] in … of such systems have been found in areas such as artificial intelligence, database theory, question answering systems, logic … Related articles

Spatial symmetry driven pruning strategies for efficient declarative spatial reasoning C Schultz, M Bhatt – International Workshop on Spatial Information Theory, 2015 – Springer … commonsense spatio-linguistic abstractions offer a human-centred and cognitively adequate mechanism for logic-based automated reasoning about spatio … With a focus on spatial question-answering, the CLP(QS) spatial reasoning system [4, 33, 34] provides a practical … Cited by 4 Related articles All 6 versions

ABC: A knowledge Based Collaborative framework for e-health F Amato, G Cozzolino, A Maisto… – … and Technologies for …, 2015 – ieeexplore.ieee.org … are accurately described in [5]. AAPHelp [6], created in 1972, was an early attempt to implement automated reasoning under uncertainty. … tasks pertaining to Information Retrieval and Extraction, such as entity recognition [22], relation extraction [24], or question answering [26] etc … Related articles

Advances in natural language processing J Hirschberg, CD Manning – Science, 2015 – science.sciencemag.org … by manually building large structured knowledge bases in a formal logical language and developing automated reasoning methods for deriving … the steps in biological processes, showing that extracting explicit process structures can improve the accuracy of question answering. … Cited by 27 Related articles All 9 versions

?-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems W Xu, W Zhang, D Zhang, Y Xu… – International Journal of …, 2015 – Taylor & Francis … resolution-based automated reasoning has been ex- tensively studied in the context of finding natural and efficient proof systems to support a … such sys- tems have been found in some areas such as AI, logic programming, problem solving and question answering systems, and … Cited by 1 Related articles All 4 versions

Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau ML Mokwana, JA Van der Poll – … Conference on South African Institute of …, 2015 – dl.acm.org … formats of the input formulae, rather than the functionality of the reasoner, eg the OTTER theorem prover or its underlying inference mechanism – Resolution.The researchers believe that these heuristics may be applicable to automated reasoning programs implementing different … Related articles All 2 versions

Automated Deduction–CADE-25 AP Felty, A Middeldorp – Springer … This paper discusses the use of first order automated reasoning in question answering and cognitive computing. For this the natural language question answering project LogAnswer is briefly depicted and the challenges faced therein are addressed. … Related articles

[BOOK] Automated Deduction-CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings AP Felty, A Middeldorp – 2015 – books.google.com … Automated Reasoning in the Wild Ulrich Furbach, Björn Pelzer, and Claudia Schon Universität Koblenz-Landau, Germany {uli,bpelzer,schon}@uni-koblenz.de This paper discusses the use of first order automated reasoning in question answering and cognitive computing. … Related articles All 2 versions

Intelligent Problem Solving based on COKB Model DV Nhon, MT Thanh – Knowledge and Systems Engineering ( …, 2015 – ieeexplore.ieee.org … reasoning; intelligent problem solver I. INTRODUCTION Intelligent problem solvers (IPS), presented in [1], can consist of components such as theorem provers, inference engines, search engines, learning programs, classification tools, statistical tools, question-answering … Cited by 1 Related articles

Automated Generation of Assessment Tests from Domain Ontologies PS Kumar – semantic-web-journal.net Page 1. Undefined 1 (2015) 1–5 1 IOS Press Automated Generation of Assessment Tests from Domain Ontologies Editor(s): Name Surname, University, Country Solicited review(s): Name Surname, University, Country Open review(s): Name Surname, University, Country … Related articles All 2 versions

Reasoning Method on Knowledge about Functions and Operators NV Do, HD Nguyen, TT Mai – INTERNATIONAL JOURNAL OF …, 2015 – Citeseer … solver; automated reasoning I. INTRODUCTION Intelligent problem solvers (IPS), presented in [1], can consist of components such as theorem proving, inference engines, search engines, learning programs, classification tools, statistical tools, question-answering systems … Related articles All 2 versions

AI has seen great advances of many kinds recently, but there is one critical area where progress has been extremely slow: ordinary commonsense. E DAVIS, G MARCUS – COMMUNICATIONS OF THE …, 2015 – pdfs.semanticscholar.org Page 1. 92 COMMUNICATIONS OF THE ACM | SEPTEMBER 2015 | VOL. 58 | NO. 9 review articles DOI:10.1145/2701413 AI has seen great advances of many kinds recently, but there is one critical area where progress has been extremely slow: ordinary commonsense. … Related articles

Clinical Practice Ontology Automatic Learning from SOAP Reports D Mendes, IP Rodrigues, CF Baeta – Handbook of Research on …, 2015 – 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. … All 5 versions

Ontology evolution: a process-centric survey F Zablith, G Antoniou, M d’Aquin… – The Knowledge …, 2015 – Cambridge Univ Press … WordNet is used to support various tasks including word sense disambiguation (Li et al., 1995; Ide & Veronis, 1998; Banerjee & Pedersen, 2002), information retrieval (Li et al., 1995) and question answering (Pasca & Harabagiu, 2001; Clark et al., 2008). Maedche et al. … Cited by 42 Related articles All 13 versions

Computer Vision and Natural Language Processing: Recent Approaches in Multimedia and Robotics P Wiriyathammabhum – cs.umd.edu … Some complex tasks in NLP are machine translation, information extraction, dialog interface, question answering, parsing, summarization etc. … At first, SP was first introduced as a natural language interface for question answering database system [202]. … Related articles All 3 versions

New research directions in knowledge discovery and allied spheres A Nica, FM Suchanek, AS Varde – ACM SIGKDD Explorations Newsletter, 2015 – dl.acm.org … Text segmentation can also help for question answering (QA), where retrieved passages from multiple documents are aggregated and presented as a single document to a searcher. … His interests include information extraction, automated reasoning, and ontologies in general. … Cited by 5 Related articles All 2 versions

Automated Quality Assurance of Non-Functional Requirements for Testability A Rashwan – 2015 – spectrum.library.concordia.ca Page 1. AUTOMATED QUALITY ASSURANCE OF NON-FUNCTIONAL REQUIREMENTS FOR TESTABILITY ABDERAHMAN RASHWAN A THESIS IN THE DEPARTMENT OF COMPUTER SCIENCE AND SOFTWARE ENGINEERING … Related articles All 3 versions

Integrating word embeddings and traditional NLP features to measure textual entailment and semantic relatedness of sentence pairs J Zhao, M Lan, ZY Niu, Y Lu – 2015 International Joint …, 2015 – ieeexplore.ieee.org … a sentence should be omitted in the summary if it can be entailed from other expressions and in question answering [13] where the … 25], where natural language expressions are mapped to the first-order logical meaning representations and then automated reasoning tools like … Related articles

Replacing the irreplaceable: Fast algorithms for team member recommendation L Li, H Tong, N Cao, K Ehrlich, YR Lin… – Proceedings of the 24th …, 2015 – dl.acm.org Page 1. Replacing the Irreplaceable: Fast Algorithms for Team Member Recommendation Liangyue Li Arizona State University liangyue@asu.edu Hanghang Tong Arizona State University hanghang.tong@asu.edu Nan Cao IBM Research nancao@us.ibm.com … Cited by 7 Related articles All 13 versions

Introduction to Intelligent Decision Support Systems A Kaklauskas – Biometric and Intelligent Decision Making Support, 2015 – Springer … Foundational areas include knowledge representation, automated reasoning, probabilistic models, and machine learning. … intelligent control, applied data mining, natural language processing?, voice technology?, artificial intuition, noisy text analytics, question answering and text … Related articles

A Natural Language User Interface for a Semantic Web Agent D Samaras – 2015 – repository.ihu.edu.gr Page 1. -i- A Natural Language User Interface for a Semantic Web Agent Samaras Dimitrios SID: 3301110010 SCHOOL OF SCIENCE & TECHNOLOGY A thesis submitted for the degree of Master of Science (MSc) in Information and Communication Systems OCTOBER 2012 … Related articles

SPARQL2AL: Translating SPARQL Queries to Arabic Language OS El-Radie, IM Alagha – library.iugaza.edu.ps … and will serve as the foundation for establishing a shared understanding between applications. • Logical Reasoning: Automated reasoning-enabled tools will make use of the information provided with meta-data and ontologies. … Cited by 1 Related articles

Ontology learning from Swedish text B Bothma – 2015 – diva-portal.org … surrounding disciplines. At a high level, Knowledge Management and the Semantic Web form the basis of applications that are supported by seman- tics encoded in a manner that allows automated reasoning. Ontology Learning … Related articles

An Approach for Learning Expressive Ontologies in Medical Domain AB Rios-Alvarado, I Lopez-Arevalo, E Tello-Leal… – Journal of medical …, 2015 – Springer … the ontology. In consequence, the ontologies model the knowledge and allow to develop more “realistic” applications such as semantic search, automated reasoning, classification, query answering, among others. For instance … Related articles All 5 versions

Near Neighbor Explorations For Keyword-Based Semantic Searches Using Rdf Summary Graph S Ayvaz – 2015 – rave.ohiolink.edu … 84 7.2 Future Directions . . . . . 85 7.2.1 Automated Reasoning and Intelligent Agents . . . . . 85 7.2.2 Linking and Publishing Data in the Semantic Web . . . . . 86 BIBLIOGRAPHY . . . . . … Related articles All 2 versions

Welcome to IJCAI 2015! G Simari, RO Rodriguez, M Wooldridge, Q Yang – ijcai-15.org Page 1. 2 IJCAI 15 TECHNICAL PROGRAM Welcome to IJCAI 2015! We are delighted to welcome you to the Twenty-Fourth International Joint Conference on AI (IJCAI-15). The two years since IJCAI-13 in Beijing have been a tre- mendously exciting time for AI. … All 2 versions

[BOOK] Philosophy and computer science T Colburn – 2015 – books.google.com … computer program semantics. Predicate Page 17. 4 CHAPTER 1 calculus is also the formal model used by many of those who implement automated reasoning systems for mechanical theorem proving. These theorem proving … Cited by 93 Related articles All 6 versions

Teaching relational understandings of sustainability in engineering education EH Lauridsen, U Jørgensen – Exploring Teaching for Active Learning in …, 2015 – orbit.dtu.dk … In the case of application of the” Online learning journal” the student’s question answering (= activity) is followed by the lecturer’s receiving of feedback (= received feedback) and causes a corresponding statement (= response/ giving Feedback) by the lecturers. … Related articles All 5 versions

Enhancing domain specific language implementations through ontology C Liao, PH Lin, DJ Quinlan, Y Zhao… – Proceedings of the 5th …, 2015 – dl.acm.org Page 1. Enhancing Domain Specific Language Implementations Through Ontology Chunhua Liao‡ ? , Pei-Hung Lin‡, Daniel J. Quinlan‡ Yue Zhao §, Xipeng Shen §, ‡Center for Applied Scientific Computing, Lawrence Livermore … Related articles All 2 versions

Representing meaning with a combination of logical form and vectors I Beltagy, S Roller, P Cheng, K Erk… – arXiv preprint arXiv: …, 2015 – arxiv.org … studies mechanisms for encoding the meaning of natural language in a machine-friendly representation that supports automated reasoning and … and reasoning tools give computers the power to perform useful com- plex applications like Question Answering, Automatic Grading … Cited by 4 Related articles All 5 versions

Automatically Ordering Events and Times in Text L Derczynski – Studies in Computational Intelligence. Springer, 2015 – Springer Page 1. Studies in Computational Intelligence 677 Leon RA Derczynski Automatically Ordering Events and Times in Text Page 2. Studies in Computational Intelligence Volume 677 Series editor Janusz Kacprzyk, Polish Academy …

A series of revisions of David Poole’s specificity CP Wirth, F Stolzenburg – Annals of Mathematics and Artificial Intelligence, 2015 – Springer Page 1. Ann Math Artif Intell DOI 10.1007/s10472-015-9471-9 A series of revisions of David Poole’s specificity Claus-Peter Wirth1 ·Frieder Stolzenburg1 © Springer International Publishing Switzerland 2015 Abstract In the middle … Cited by 1 Related articles

Departing the Ontology Layer Cake A Browarnik, O Maimon – Modern Computational Models of …, 2015 – books.google.com … Furthermore, obtaining a recall above 90 percent for a closed domain typically entails a drastic loss of precision in return. Thus, information extraction approaches are only of little use for applications that need near-perfect ontolo- gies (eg for automated reasoning). … Related articles All 3 versions

Emerging Semantic-Based Applications Carlos Bobed, Roberto Yus, Fernando Bobillo, Sergio Ilarri, Jorge Bernad, Eduardo Mena, Raquel Trillo-Lado, and … C Bobed, R Yus – academia.edu Page 1. Running head: Emerging Semantic-Based Applications 1 Emerging Semantic-Based Applications Carlos Bobed, Roberto Yus, Fernando Bobillo, Sergio Ilarri, Jorge Bernad, Eduardo Mena, Raquel Trillo-Lado, and Ángel Luis Garrido University of Zaragoza, Spain … Related articles

Extending the expressiveness of fuzzy logic languages V Pablos Ceruelo – 2015 – oa.upm.es … Inspired by his earlier Q-systems [Col70], a tree-matching phrase-structure grammar formalism, Colmerauer started developing a language that could at the same time be used for language analysis and for implementing deductive question-answering mechanisms. … Related articles

An ontology-based CBR approach for personalized itinerary search systems for sustainable urban freight transport A Bouhana, A Zidi, A Fekih, H Chabchoub… – Expert Systems with …, 2015 – Elsevier … Combined with automated reasoning applications, ontologies can be used for several purposes such as knowledge extraction and information retrieval; (2 … 4) integrating CBR in an ontology-based IR system may improve query reformulation in a question–answering context, and … Cited by 9 Related articles All 3 versions

Semantics-based services for a low carbon society: An application on emissions trading system data and scenarios management C Camporeale, A De Nicola, ML Villani – Environmental Modelling & …, 2015 – Elsevier A low carbon society aims at fighting global warming by stimulating synergic efforts from governments, industry and scientific communities. Decision support sys. Cited by 4 Related articles All 9 versions

Modelling input texts: from Tree Kernels to Deep Learning A Severyn – 2015 – eprints-phd.biblio.unitn.it … Watson is an open domain question answering system whose core components are primarily based on advanced natural language processing, infor- mation retrieval, knowledge representation, automated reasoning, and machine learning technologies. … Cited by 1 Related articles All 2 versions

Situated Learning and Understanding of Natural Language Y Artzi – 2015 – digital.lib.washington.edu … puters. However, significant challenges in automated reasoning and learning remain to be solved … However, developing natural language learning and understanding algo- rithms for interactive scenarios, such as robot control and question answering, remains a challeng- … Related articles All 4 versions

[BOOK] Biometric and intelligent decision making support A Kaklauskas – 2015 – Springer Page 1. Intelligent Systems Reference Library 81 Arturas Kaklauskas Biometric and Intelligent Decision Making Support Page 2. Intelligent Systems Reference Library Volume 81 Series editors Janusz Kacprzyk, Polish Academy … Cited by 9 Related articles All 4 versions

From Information Extraction to Knowledge Discovery: Semantic Enrichment of Multilingual Content with Linked Open Data I Boydens, P Bouillon – homepages.ulb.ac.be Page 1. From Information Extraction to Knowledge Discovery: Semantic Enrichment of Multilingual Content with Linked Open Data Th`ese présentée en vue de l’obtention du grade académique de Docteur en Information et communication [Max De Wilde] Promoteur Prof. … Related articles All 4 versions

Automatic ontology generation from patents using a pre-built library, WordNet and a class-based n-gram model Z Li, D Tate – International Journal of Product Development, 2015 – inderscienceonline.com … The concept of ontology was initially proposed for purposes of automated reasoning. … Typical applications of NLP include information retrieval, information extraction, question answering, machine translation, summarisation and dialogue systems. … Cited by 3 Related articles

[BOOK] Materializing the Web of Linked Data N Konstantinou, DE Spanos – 2015 – Springer Page 1. Nikolaos Konstantinou Dimitrios-Emmanuel Spanos Materializing the Web of Linked Data Page 2. Materializing the Web of Linked Data Page 3. Page 4. Nikolaos Konstantinou Dimitrios-Emmanuel Spanos Materializing the Web of Linked Data Page 5. … Cited by 3 Related articles All 8 versions

Towards inherently adaptive first person shooter agents using reinforcement learning FG Glavin – 2015 – aran.library.nuigalway.ie Page 1. Provided by the author(s) and NUI Galway in accordance with publisher policies. Please cite the published version when available. Downloaded 2016-05-20T07:20:37Z Some rights reserved. For more information, please see the item record link above. … Related articles

KnowledgeStore version 3 Deliverable D6. 2.3 F Corcoglioniti, M Rospocher, R Cattoni, M Amadori… – kyoto.let.vu.nl … Moreover, some applications inherently require considering both types of content: an example is question answering [Ferrucci et al., 2010], where often a … it can be encoded in natural language or in multi- media, and thus allowing for the use of automated reasoning to derive … Related articles All 3 versions

A certainty-based model for uncertain databases O Pivert, H Prade – IEEE Transactions on Fuzzy Systems, 2015 – ieeexplore.ieee.org Page 1. IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 23, NO. 4, AUGUST 2015 1181 A Certainty-Based Model for Uncertain Databases Olivier Pivert and Henri Prade Abstract—This paper considers relational databases … Cited by 6 Related articles All 3 versions

Experiences on the Evaluation of DSSim: A Multi-Agent Ontology Mapping System M Vargas-Vera, M Nagy – International Journal of Knowledge Society …, 2015 – igi-global.com Page 1. 20 International Journal of Knowledge Society Research, 6(2), 20-50, April-June 2015 Copyright © 2015, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. … Related articles All 2 versions