Automated Reasoning & Question Answering 2013


Automated Reasoning & Question Answering

See also:

Automated Reasoning | Automated Reasoning & Question Answering 2014Question Answering


Design Smart Games with requirements, generate them with a Click, and revise them with a GUIs V COFINI, F DE LA PRIETA, T di MASCIO… – ADCAIJ: Advances in …, 2013 – rca.usal.es … adaptive learning system user-centered design game design game framework temporal constraint problems automated reasoning natural language … More precise- ly, the main data collected were: a. paper-and-pencil inference-making question- answering interventions, with or … Cited by 5 Related articles All 6 versions Cite Save

System Description: E-KRHyper 1.4 M Bender, B Pelzer, C Schon – Automated Deduction–CADE-24, 2013 – Springer … Furbach, U., Glöckner, I., Helbig, H., Pelzer, B.: Logic-based question answering. In: KI (2010) 19. Furbach, U., Glöckner, I., Pelzer, B.: An application of automated reasoning in natural lan- guage question answering. In: AI Commun. (2010) (PAAR Special Issue) 20. … Cited by 4 Related articles All 6 versions Cite Save

Detecting temporal expressions in medical narratives RM Reeves, FR Ong, ME Matheny, JC Denny… – International journal of …, 2013 – Elsevier … Automated reasoning that temporally relates concepts to one another is computationally more complex than most binary classification … that separate recognition and classification operations from those that provide contextualized solutions such as question answering have been … Cited by 5 Related articles All 5 versions Cite Save

Logic programs vs. first-order formulas in textual inference Y Lierler, V Lifschitz – 2013 – digitalcommons.unomaha.edu … (ii) potentially relevant background knowledge is identified and expressed by a first-order formula BK, (iii) an automated reasoning system is used to check whether the implication … In AAAI Workshop on Inference for Textual Question Answering. Bos, J. and K. Markert (2005). … Cited by 4 Related articles All 11 versions Cite Save

Question Classification using Semantic, Syntactic and Lexical features. M Mishra, V Kumar Mishra… – International Journal of …, 2013 – search.ebscohost.com … AI Magazine,31(3):59–79, 2010. 3. Ulrich Furbach, Ingo Gl¨ockner, and Bj¨orn Pelzer. An application of automated reasoning in natural language question answering. AI Communications, 23(2-3):241–265, 2010. PAAR Special Issue. 4. Ingo Gl¨ockner and Bj¨orn Pelzer. … Cited by 1 Related articles All 4 versions Cite Save

Temporal relation classification based on temporal reasoning F Costa, A Branco – Proc International Workshop on Computational …, 2013 – nlxserv.di.fc.ul.pt … and related to a number of applications, including event co-reference resolution (Bejan and Harabagiu, 2010), question answering (Ahn et al … for the TempEval tasks can be improved by extending their feature set with features that can be computed with automated reasoning. … Cited by 1 Related articles All 8 versions Cite Save More

Ontology authoring with FORZA CM Keet, MT Khan, C Ghidini – Proceedings of the 22nd ACM …, 2013 – dl.acm.org … ual design and automated support—the main idea for an intelligent automated support relies on making use of: (i) a question/answering (Q/A … already declared knowledge in an ontology—be that its own or a borrowed one—and the use of manual or automated reasoning … Cited by 1 Related articles All 3 versions Cite Save

A Review on Cooperative Question-Answering Systems D Melo, I Pimenta Rodrigues, V Beires Nogueira – 2013 – dspace.uevora.pt … Gaasterland, T., Godfrey, P., Minker, J., Novik, L.: A cooperative answering system. In: Logic Pro- gramming and Automated Reasoning. pp. 478–480. No. X, Springer (1992) 16. Hirschman, L., Gaizauskas, R.: Natural language question answering: The view from here. … Related articles All 4 versions Cite Save

Automated Theorem Proving with Web Services B Pelzer – KI 2013: Advances in Artificial Intelligence, 2013 – Springer … 139–146. Springer, Heidelberg (2008) 7. Furbach, U., Glöckner, I., Helbig, H., Pelzer, B.: Logic-Based Question Answering. KI 24(1), 51–55 (2010) 8. Furbach, U., Glöckner, I., Pelzer, B.: An Application of Automated Reasoning in Natural Language Question Answering. … Related articles All 3 versions Cite Save

Enabling More Complex and Adaptive Systems with Machine and Human Components using Automated Reasoning Methods NL Cassimatis – 2013 – DTIC Document … ENABLING MORE COMPLEX AND ADAPTIVE SYSTEMS WITH MACHINE AND HUMAN COMPONENTS USING AUTOMATED REASONING METHODS … question is: given the vast number of specialties a computer might have (Jeopardy question answering, chess playing … Cite Save

The interaction of representation and reasoning A Bundy – Proceedings of the Royal Society A: …, 2013 – rspa.royalsocietypublishing.org … (a) Applications of automated reasoning. Automated reasoning is a key enabling technology in Informatics. … Question answering. Questions can be answered by combining information stored, for instance, on the Web or in databases. … Related articles All 12 versions Cite Save

John McCarthy G O’Regan – Giants of Computing, 2013 – Springer … They had some initial (limited) success with machine translation, pattern recognition and automated reasoning. However, it is evident today that AI is a long-term project. … This paper was the inspiration for further work on question-answering systems and logic programming. … Related articles Cite Save

Normalization Strategy of Logical Knowledge Representation for Text Document. RA Kadir, TMT Sembok, F Ahmad… – International Journal of …, 2013 – search.ebscohost.com … focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can … The inference depends on the representation of linguistic expression for the question answering relation. … Related articles All 2 versions Cite Save

A Study on the Influence of Semantics on the Analysis of Micro-blog Tags in the Medical Domain C Vicient, A Moreno – Availability, Reliability, and Security in Information …, 2013 – Springer … 2]), in which intelligent autonomous agents should be able to understand the semantics behind all this user- generated data in order to solve automatically complex processes like open information extraction, information retrieval, question answering, automated reasoning, etc. … Related articles All 2 versions Cite Save

Description Logics based Formalization of Wh-Queries S Dasgupta, R KaPatel, A Padia, K Shah – arXiv preprint arXiv:1312.6948, 2013 – arxiv.org … Formalization of NL queries enables logic based reasoning during information retrieval, database query, question-answering, etc. … START [20] was the first online question-answering system which uses statistical NLP techniques and lexico-syntactic pattern matching. … Related articles All 3 versions Cite Save

Development of FO2L–A First-Order Logic Language C KARA-MOHAMED, A HAMDI-CHERIF – wseas.us … In AI, resolution was adopted for question-answering systems as implemented, in a somewhat less formal approach, in PLANNER language which was a … Science, 116(1):33-57, 1993 [9] McCune, W. “Solution of the Robbins problem”, Journal of Automated Reasoning, 19(3 … Related articles Cite Save More

Mathematical practice, crowdsourcing, and social machines U Martin, A Pease – Intelligent Computer Mathematics, 2013 – Springer … Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical prac- tice – for example the community question-answering system mathover- flow contains around 40,000 mathematical conversations, and polymath collaborations … Related articles All 6 versions Cite Save

Automated Consistency Checking of Expressive Ontologies—Beware of the Wrong Interpretation of Success! C Benzmüller, M Ziener – ARCOE-13, 2013 – arcoe.org … Symposium on Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, pages 44 … In Proceed- ings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, number … Related articles All 3 versions Cite Save More

Integration Of A Controlled Natural Language In An Intelligent Systems Platform. M NASRI, A KABBAJ… – Journal of Theoretical & …, 2013 – search.ebscohost.com … Structures (DRS) [5, 6] and then be used for automated reasoning. … reflects the interpretation of the machine in Controlled Natural Language, and a Satchmo-style reasoning engine that can be used for consistency and redundancy checking as well as for question answering. … Related articles Cite Save

Algebraic Relationship of Lexical Syntactic Structures in Information Retrieval AA OLAOYE – ijsat.com … 5 (MRL), that is unambiguous which allows for automated reasoning, such as first … and classifying the semantic entities in context and the relations between them, has great potential on its downstream applications, such as text summarization, question answering, and machine … Related articles Cite Save More

Modular natural language interfaces to logic-based policy frameworks J Perry, K Arkoudas, J Chiang, R Chadha… – Computer Standards & …, 2013 – Elsevier … management framework. Our translation achieves broader coverage than prior work that uses ACE, by a novel application of modern compositional semantics. This translation also natively supports question answering. The system … Related articles All 2 versions Cite Save

The Semanticscience Integrated Ontology (SIO) for Biomedical Research and Knowledge Discovery M Dumontier, CJO Baker… – … at http://code. …, 2013 – semanticscience.googlecode.com … These knowledge-based applications use automated reasoning over a coherent knowledge base often crafted from multiple … Applications Semantic data integration and question answering The Bio2RDF project uses Semantic Web technologies to offer the largest network of … Cited by 1 Related articles All 2 versions Cite Save More

Domain Ontology Development For Communicable Diseases I Mathur, H Darbari, N Joshi – airccj.org … [18] Ravichandran, D., Hovy. E., (2002) “Learning surface patterns for a question answering system”. In: 40th Annual Meeting of the Association of Computational Linguistics. … In: International Joint Conference on Automated Reasoning. Lecture Notes on Artificial Intelligence. … Cited by 2 Related articles Cite Save More

Advances in Artificial Intelligence MBC Baroglio, GBR Micalizio – Springer … 25 Giuseppe Cicala, Marco Oreggia, and Armando Tacchella Automated Reasoning in Metabolic Networks with Inhibition … Mara Vendrame, and Monica Bucciarelli A Virtual Player for “Who Wants to Be a Millionaire?” based on Question Answering….. … Cite Save

Formal Verification and Planning: An Evaluation R Kalyanam, T Hu, R Givan – 2013 – docs.lib.purdue.edu … We apply a novel automated-reasoning system with no planning- specific features to questions about the PDDL planning domains … 1 Introduction Early artificial intelligence researchers envisioned the dream of a question-answering system using logical entailment to interact … Related articles All 2 versions Cite Save

The calculus of positively constructed formulas, its features, strategies and implementation A Larionov, A Davydov… – … Technology Electronics & …, 2013 – ieeexplore.ieee.org … This is possible due to features 1, 2. 7) The proof procedure can be represented in terms of the question-answering procedure instead of technical terms of formal deducibility (ie, in terms of logic … In: Robin- son, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. … Related articles All 2 versions Cite Save

FO2L–A First-Order Logic Language for Knowledge Base System Implementation C Kara-Mohamed, NI Al-Osily, RA Al-Marshad… – researchgate.net … In AI, resolution was adopted for question-answering systems as implemented, in a … [12] W. McCune, “Solution of the Robbins problem”, J. of Automated Reasoning, 19(3), 263-276, 1997 [13] M. Negnevitsky, “Artificial Intelligence. … Related articles All 3 versions Cite Save More

[BOOK] PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation using Probabilistic Methods S Abeyruwan, U Visser, V Lemmon, S Schürer – 2013 – Springer … how language works. Logical inference is the most common method used in RTE. Boss & Markert [4] uses model building techniques borrowed from automated reasoning to approximate entailment. A common hypothesis is … Cited by 3 Related articles All 10 versions Cite Save

Granularity analysis for mathematical proofs MRG Schiller – Topics in cognitive science, 2013 – Wiley Online Library … However, it can be argued that this is also a useful capacity in other application domains of automated reasoning in general (such as mathematical assistance, software verification, or question answering systems), such that a mathematical assistance system can—ideally … Cited by 1 Related articles All 5 versions Cite Save

Semantic Web & Ontologies J Cai, V Eske, X Wang – Retrieved online at: http://www. mpiinf. mpg. …, 2013 – mpi-inf.mpg.de … concerning USA and Afghanistan leaders. • Simple question answering (Q&A) – eg, who is the president of the USA? • Complex question answering – eg, what is the current situation in Afghanistan? OWLIR can be described … Cited by 1 Related articles All 5 versions Cite Save More

Solving guesstimation problems using the Semantic Web: Four lessons from an application A Bundy, G Sasnauskas, M Chan – Semantic Web – IOS Press Page 1. UNCORRECTED PROOF Semantic Web 00 (20xx) 1–14 1 DOI 10.3233/SW-130127 IOS Press 1 52 2 53 3 54 4 55 5 56 6 57 7 58 8 59 9 60 10 61 11 62 12 63 13 64 14 65 15 66 16 67 17 68 18 69 19 70 20 71 21 72 22 73 23 74 24 75 25 76 26 77 27 78 28 79 29 80 30 … Related articles All 4 versions Cite Save

Ontologies in Expertise Finding Systems: Modeling, Analysis, and Design M Fazel-Zarandi, MS Fox, E Yu – Ontology-Based Applications for …, 2013 – eil.toronto.edu … on the Web according to Linked Data principals and using unambiguous vocabularies (Stankovic, et al., 2010) make automated reasoning possible for … related to the workplace, generating content both within the organization and on the Web, and question-answering in online … Cited by 1 Related articles All 7 versions Cite Save More

Attribute Exploration on the Web R Jäschke, S Rudolph – Peggy Cellier Felix Distel, 2013 – qucosa.de … 16] proposed to create description logic [2] knowledge bases by means of attribute exploration coupled with automated reasoning systems … of sources available on the web by investigating three other possible options (Section 4. 3): social question answering, crowdsourcing, and … Cited by 1 Related articles All 3 versions Cite Save More

A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge A Wotzlaw, R Coote – arXiv preprint arXiv:1310.4938, 2013 – arxiv.org … For RTE we use logical inference of first-order employing model-theoretic techniques and automated reasoning tools. … paraphrase acquisition, question answering, or machine translation can fully or partly be modeled as RTE (Bentivogli, Dagan, Dang, Giampiccolo, & Magnini … Related articles All 4 versions Cite Save

Interlinking Unstructured and Structured Knowledge in an Integrated Framework F Corcoglioniti, M Rospocher, R Cattoni… – … (ICSC), 2013 IEEE …, 2013 – ieeexplore.ieee.org … Moreover, some applications inherently re- quire considering both types of content: an example is question answering, where often a user query can … many ways it can be encoded in natural language or in multimedia, and thus allowing the use of automated reasoning to derive … Cited by 1 Related articles Cite Save

A computational simulation tool for training autistic reasoning about mental attitudes B Galitsky – Knowledge-Based Systems, 2013 – Elsevier … 1.3. Automated reasoning for autistic rehabilitation. … It is well-known from computational linguistics that the meaning of an entity can be formally defined in a narrow domain only (particularly, as a set of relevant answers in a question–answering settings [18] and [20]). … Cited by 1 Related articles All 2 versions Cite Save

Intelligent Computer Mathematics JCD Aspinall, CLP Sojka, W Windsteiger – Springer … On- line mathematical activity provides a rich source of data for empirical investigation of mathematical practice—for example, the community question-answering system mathoverflow contains … 98 Ursula Martin and Alison Pease Automated Reasoning Service for HOL Light … Cite Save

Knowledge Engineering and the Semantic Web P Klinov, D Mouromtsev – Springer … 92 Aliya Nugumanova and Igor Bessmertny Exploring Automated Reasoning in First-Order Logic: Tools, Techniques and Application Areas….. … 250 Lev Grigoriev and Dmitry Kudryavtsev User Interface for a Template Based Question Answering System….. … Cite Save

A Logic Prover Approach to Predicting Textual Similarity E Blanco, D Moldovan – The Twenty-Sixth International FLAIRS Conference, 2013 – aaai.org … 11(1):10–18. McCune, W., and Wos, L. 1997. Otter: The cade-13 competition incarnations. Journal of Automated Reasoning 18:211–220. … Lcc tools for question answering. In Voorhees, and Buck- land., eds., Proceedings of the 11th Text REtrieval Confer- ence (TREC-2002). … Related articles All 3 versions Cite Save

Automatic Interchange of Knowledge between Business Ontologies ADC Rasgado, AG Arenas – cic.ipn.mx … The question-answering program, mentioned in §5.1 … http://148.204.20.100:8080/bibliodigital/ ShowObject.jsp?idobject=34274&idrepositorio=2 &type=recipiente 6. Dou, D., McDermott, D., and Qi, P. Ontology Translation by Ontology Merging and Automated Reasoning. In Proc. … Related articles Cite Save More

An inference engine toolkit for computing with words ES Khorasani, P Patel, S Rahimi, D Houle – Journal of Ambient …, 2013 – Springer … For ambitious applications of CW, such as advanced question/answering systems and natural language understanding, there is a need for a tool to support not only basic but also advanced CW knowledge representation and reasoning. … Cited by 5 Related articles All 4 versions Cite Save

Design and implementation of P2P reasoning system based on description logic H Wan, Y Yu, J Zheng – International Journal of Ad Hoc and Ubiquitous …, 2013 – Inderscience Page 1. 140 Int. J. Ad Hoc and Ubiquitous Computing, Vol. 13, No. 2, 2013 Copyright © 2013 Inderscience Enterprises Ltd. Design and implementation of P2P reasoning system based on description logic Hai Wan*, Yang Yu and Jian-tian Zheng … Related articles All 9 versions Cite Save

Research of Semantic Network Knowledge Representation and Query Algorithm Based on Relational Model L Yue-xin, H Zong-xiang – TELKOMNIKA Indonesian Journal of …, 2013 – iaesjournal.com … Proc. of the International Joint Conference on Automated Reasoning. Heidelberg: Springer-Overflag. 2002; 701. … 2006; 3. [14] Tang su-qin, Li-bo. Intelligent question answering system based on sentence template. Journal of Guangxi Normal University. 2007; 6. [15] Liu … Related articles All 2 versions Cite Save

Learning through Overcoming Inconsistencies D Zhang – Fundamenta Informaticae, 2013 – ecs.csus.edu … iPad [31], IBM’s Watson for open-domain question-answering [7], Baxter, an adaptive manufacturing robot with common sense from Rethink Robotics [27], and Google’s driverless cars [13], have already started to suggest what the future might hold for a society benefiting from … Related articles Cite Save More

Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases A Sharma, KD Forbus – Twenty-Seventh AAAI Conference on Artificial …, 2013 – aaai.org … The Question Answering module of this system uses the background KB plus knowledge gained by reading to answer questions, as a means of … The TPTP Problem Library and Associated Infrastructure: The FOF and CNF Parts, v3.5.0, Journal of Automated Reasoning, 43(4), pp … Cited by 1 Related articles All 4 versions Cite Save

Semantic technologies for industry: From knowledge modeling and integration to intelligent applications G Semeraro, P Basile, R Basili, M de Gemmis… – Intelligenza …, 2013 – IOS Press … 2. Linguistic analysis and semantic resources in question answering systems In this section important aspects of Natural Lan- guage Processing (NLP) for the design of competitive commercial Question Answering (QA) systems are highlighted. … Cited by 1 Related articles Cite Save

Semi-automatic rule construction for semantic linking of relation arguments J Starc, D Mladeni? – ailab.ijs.si … In this way, the extracted knowledge is less actionable and less automated reasoning can be done on it. … of Cyc.,” in AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006. … Related articles All 2 versions Cite Save More

Explicit knowledge and the deliberative layer: Lessons learned S Lemaignan, R Alami – … and Systems (IROS), 2013 IEEE/RSJ …, 2013 – ieeexplore.ieee.org … mative dialogue that can possibly change the internal state of the robot, but does not lead to the creation of desires, like question answering or statement … Then, the logician perspective: does the promises of automated reasoning for robots really come to fruition with ontologies? … Cited by 1 Related articles All 2 versions Cite Save

A Semantically Enhanced Approach to Determine Textual Similarity E Blanco, D Moldovan – hlt.utdallas.edu … of choice. The named entity recognizer extracts 35 fine- grained types organized in a taxonomy (date, lan- guage, city, instrument, etc.) and was first developed for a question answering system (Moldovan et al., 2002). The implementation … Related articles All 6 versions Cite Save More

Mining semantics for culturomics: towards a knowledge-based approach L Borin, D Dubhashi, M Forsberg… – Proceedings of the …, 2013 – dl.acm.org … Semantic analysis provides a representation of the sentence formally which can further support automated reasoning. … application scenarios with different ambitions and goals we envisage in the project (some with very preliminary results), namely question answering, tracking of … Related articles All 4 versions Cite Save

Sigma: An integrated development environment for formal ontology A Pease, C Benzmüller – AI Communications, 2013 – IOS Press Page 1. AI Communications 26 (2013) 79–97 79 DOI 10.3233/AIC-120549 IOS Press Sigma: An integrated development environment for formal ontology Adam Peasea,? and Christoph Benzmüllerb a Articulate Software, USA … Cited by 2 Related articles All 6 versions Cite Save

Processing temporal information in unstructured documents FNQMC Costa – 2013 – repositorio.ul.pt … Page 15. List of Figures 1.1 Example documents accessible to a question-answering system . . . 6 … search the World Wide Web (or any other knowledge base) for specific answers to questions input by a human user (question-answering), • extract key-words from documents, … Cited by 4 Related articles All 3 versions Cite Save

?-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV (n× 2) P (X) J Zhang, Y Xu, X He – International Journal of Computational …, 2013 – Taylor & Francis … automated reasoning, its aim is to achieve the mechanization of theo- rem proving, resolution-based automated reasoning is one way … They are widely applied to areas such as artificial intelligence, logic programming, problem solving and question answering systems, … Related articles Cite Save

KnowRob: A knowledge processing infrastructure for cognition-enabled robots M Tenorth, M Beetz – The International Journal of Robotics …, 2013 – ijr.sagepub.com Page 1. Article KnowRob: A knowledge processing infrastructure for cognition-enabled robots The International Journal of Robotics Research 32(5) 566–590 © The Author(s) 2013 Reprints and permissions: sagepub.co.uk/journalsPermissions … Cited by 10 Related articles All 3 versions Cite Save

Automating quantified conditional logics in HOL C Benzmüller – Proceedings of the Twenty-Third international joint …, 2013 – dl.acm.org Page 1. Automating Quantified Conditional Logics in HOL? Christoph Benzm ¨uller Dep. of Mathematics and Computer Science Freie Universität Berlin, Germany c.benzmueller@fu-berlin.de http://christoph-benzmueller.de Abstract … Cited by 1 Related articles All 2 versions Cite Save

Semantic web meets integrative biology: a survey H Chen, T Yu, JY Chen – Briefings in bioinformatics, 2013 – Oxford Univ Press We use cookies to enhance your experience on our website. By continuing to use our website, you are agreeing to our use of cookies. You can change your cookie settings at any time. Find out more. Skip Navigation. … Cited by 15 Related articles All 8 versions Cite Save

Lifted Inference and Learning in Statistical Relational Models G Van den Broeck – 2013 – people.cs.kuleuven.be … Page 13. Contents Abstract i Contents ix List of Symbols xv List of Algorithms xix 1 Introduction 1 1.1 ArtificialIntelligence . . . . . 1 1.2 Machine Learning and Automated Reasoning . . . . . 2 1.3 Logic and Probability . . . . . 3 … Cited by 5 Related articles All 2 versions Cite Save More

Representing and Reasoning about Skills and Competencies over Time M Fazel-Zarandi – 2013 – tspace.library.utoronto.ca … experiences related to the workplace, generating content both within the organization and on the Web, and question-answering in online … by assuming deductive capability as provided by an inference engine, ontologies provide the means for deduction and automated reasoning Related articles Cite Save More

Exploring the inference role in automatic information extraction from texts DA de Araujo, SJ Rigo, C Muller… – Joint Workshop on …, 2013 – aclweb.org … The linguistics information is represented in form of ontologies and allows the application of automated reasoning algorithms. … Jijkoun, V., Rijke, M. and Mur, J. 2004. Information extraction for question answering: improving recall through syntactic patterns. … Related articles All 2 versions Cite Save More

Extending the E-Hyper Tableau Calculus for Reasoning with the Unique Name Assumption (revised version) M Bender – userpages.uni-koblenz.de Page 1. Fachbereich 4: Informatik Extending the E-Hyper Tableau Calculus for Reasoning with the Unique Name Assumption (revised version) Diplomarbeit zur Erlangung des Grades eines Diplom-Informatikers im Studiengang Informatik vorgelegt von Markus Bender … Related articles All 2 versions Cite Save More

Is there a place for logic in recognizing textual entailment? J Bos – Linguistic Issues in Language Technology, 2013 – elanguage.net … July 2013 knowledge. References Balduccini, M., C. Baral, and Y. Lierler. 2008. Knowledge representation and question answering. In V. Lifschitz, F. van Harmelen, and B. Porter, eds., Handbook of Knowledge Representation, pages 779–819. Elsevier. Beaver, David Ian. … Related articles All 2 versions Cite Save

Formal ontologies in biomedical knowledge representation S Schulz, L Jansen – Yearbook of medical informatics, 2013 – schattauer.de … upon formal representation and reasoning, but by a massive heuristic re-use of unstructured “big data” [1, 2]. An example is the IBM Watson project, which processes texts written by humans for human use, achieving an impressive turn-out in automated question answering. … Cited by 9 Related articles All 5 versions Cite Save

Validation of an ontological medical decision support system for patient treatment using a repository of patient data: Insights into the value of machine learning A Khan, JA Doucette, R Cohen – ACM Transactions on Intelligent …, 2013 – dl.acm.org … Based on the identified information and automated reasoning strategies, the system will then produce a (semantic) result for the query with two important components. (1) The answer to the user query. (2) An explanation for the answer. … Related articles All 3 versions Cite Save

Automatic Information Extraction from Texts with Inference and Linguistic Knowledge Acquisition Rules DA Araujo, SJ Rigo, C Muller… – Web Intelligence (WI) …, 2013 – ieeexplore.ieee.org … presented is the feasible implementation of a system that allows the linguistics and domain information, represented as ontologies, to be used by automated reasoning algorithms. … Information extraction for question answering: improving recall through syntactic patterns. … Related articles Cite Save

Ontology Evolution: A Process Centric Survey GOS FLOURIS, H KONDYLAKIS, E MOTTA… – planet-data.org … and Page 11. Ontology Evolution: A Process Centric Survey 11 Veronis, 1998; Li et al., 1995), information retrieval (Li et al., 1995) and question answering (Clark et al., 2008; Pasca and Harabagiu, 2001). Maedche et al. (2002 … Related articles All 5 versions Cite Save More

Ontology evolution: a process-centric survey F Zablith, G Antoniou, M d’Aquin… – The Knowledge …, 2013 – 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. … Related articles All 3 versions Cite Save

Determining the Types of Temporal Relations in Discourse L Derczynski – 2013 – etheses.whiterose.ac.uk … PoS Part of Speech QA Question Answering RRM Robust Risk Minimisation … An example of the applications of temporal information in the NLP task of question answering follows. A system may be asked “When was the current president of the USA elected?”. … Cited by 1 Related articles All 6 versions Cite Save

issues in arabic computational linguistics E Ditters – The Oxford Handbook of Arabic Linguistics, 2013 – books.google.com … Computational semantics has points of contact with the areas of lexical semantics (word sense disambiguation and semantic role labeling), discourse semantics, knowl- edge representation, and automated reasoning (in particular, automated theorem proving). … Cite Save

Recognizing Textual Entailment: Models and Applications I Dagan, D Roth, M Sammons… – Synthesis Lectures on …, 2013 – morganclaypool.com … particularly motivated by its overarching potential for NLP applications. For example, consider a Question Answering (QA) scenario, addressing the question “Who painted ‘?e Scream’?”. In order to provide the answer “Edvard Munch … Cited by 3 Related articles All 2 versions Cite Save

Multiary ?-Resolution Principle for a Lattice-Valued Logic Y Xu, J Liu, X Zhong, S Chen – Fuzzy Systems, IEEE …, 2013 – ieeexplore.ieee.org … A number of important applications of resolution-based automated reasoning systems have been found in areas such as artificial intelligence, logic programming, problem solving, software model checking and testing, question answering systems, database theory, and so on. … Cited by 1 Related articles All 2 versions Cite Save

OntoLaw-Ontology based legal management and information retrieval expert system A Cernian, D Carstoiu, O Vasilescu… – Journal of Control …, 2013 – ceai.srait.ro … terms contained by rules. The question answering application uses the FOLaw framework (Winkels et al., 2002). … Valente, A. and Breuker, J. (1999). Legal modeling and automated reasoning with on-line. International Journal of Human-Computer Studies, 51(6):1079– 1125. … Related articles All 2 versions Cite Save

Interpreting Design Structure in Patents Using an Ontology Library Z Li, D Tate – ASME 2013 International Design …, 2013 – … .asmedigitalcollection.asme.org … [4-6]. The concept of ontology initially was proposed for purposes of automated reasoning. … Typical applications of NLP include information retrieval, information extraction, question answering, machine translation, summarization, and dialogue systems [24]. … Cite Save

[BOOK] Logic for Computer Science and Artificial Intelligence R Caferra – 2013 – books.google.com … to structured collections of information and sets of inference rules that they use to conduct automated reasoning. Logic is very important for natural language processing, which has many applications (eg on the Internet, for information retrieval, in question answering systems, etc … Related articles All 3 versions Cite Save

Functional Stable Model Semantics, Answer Set Programming Modulo Theories, and Action Languages J Lee – peace.eas.asu.edu … Automated Reasoning Group Arizona State University, USA … robotics ([CHO+09], [EHP+11], [AEEP11], [EHPU12], [APE12]) description logics and semantic web ([EGRH06], [CEO09], [Sim09], [PHE10], [SW11], [EKSX12]) data integration and question answering ([AFL10], [LGI+05 … Related articles Cite Save More

Performance Prediction Of Owl Reasoners V Sazonau – 2013 – studentnet.cs.manchester.ac.uk … 19 Thus, prominent variability phenomena in the performance of reasoners on OWL ontologies raises an important and intriguing question, answering which could make significant influence to the area of ontology engineering: what on- … Related articles All 2 versions Cite Save More

The Multilingual Semantic Web P Buitelaar, KS Choi, P Cimiano, EH Hovy – vesta.informatik.rwth-aachen.de … in particular OWL and RDF(S) collaborative design of ontologies across languages and cultures multilingual ontology alignment multilingual and cross-lingual aspects of semantic search and querying of knowledge repositories cross-lingual question answering over Linked … Related articles Cite Save More

[BOOK] Introduction to Artificial Intelligence: Second PC Jackson – 2013 – books.google.com … Programs that “Understand” Natural Language Five Problems Syntax Recursive Approaches to Syntax Semantics and Inference Generation and Integration Some Conversations with Computers Language and Perception Networks of Question-Answering Programs Pattern … Related articles Cite Save

Lifted Inference and Learning in Statistical Relational Models (Eerste-orde inferentie en leren in statistische relationele modellen) G Van den Broeck – status: published, 2013 – lirias.kuleuven.be … Page 13. Contents Abstract i Contents ix List of Symbols xv List of Algorithms xix 1 Introduction 1 1.1 ArtificialIntelligence . . . . . 1 1.2 Machine Learning and Automated Reasoning . . . . . 2 1.3 Logic and Probability . . . . . 3 … Related articles Cite Save

Ontologies and languages for representing mathematical knowledge on the semantic web C Lange – Semantic Web, 2013 – IOS Press … sufficiently self-contained for the desired application. Finally, the integration of mathematical Web 2.0 sites with automated reasoning and computation ser- vices is scarce. Interactive computation is available in mathematical … Cited by 14 Related articles All 7 versions Cite Save

Semi-automatic generation of learning domain modules for technology supported learning systems M Larrañaga Olagaray – 2013 – addi.ehu.es Page 1. Lengoaia eta Sistema Informatikoak Saila Departamento de Lenguajes y Sistemas Informáticos Semi-Automatic Generation of Learning Domain Modules for Technology Supported Learning Systems A thesis submitted … All 4 versions Cite Save

Pre-Processing MRSes T Bruland – In Proceedings of the 10th International Conference on …, 2013 – aclweb.org Page 1. Pre-Processing MRSes Tore Bruland Norwegian University of Science and Technology Department of Computer and Information Science torebrul@idi.ntnu.no Abstract We are in the process of creating a pipeline for our HPSG grammar for Norwegian (NorSource). … Cited by 1 Related articles All 7 versions Cite Save More

Formal Ontology Learning on Factual IS-A Corpus in English using Description Logics S Dasgupta, A Padia, K Shah, P Majumder – arXiv preprint arXiv: …, 2013 – arxiv.org … in these textual documents. A formal knowledge base allows logical reasoning supported Semantic Information Re- trieval (SIR) [1], Question-Answering (QA) [2], Machine Translation (MT) [3], etc. However, OL is a challenging … Related articles All 3 versions Cite Save

The NL2KR system C Baral, J Dzifcak, K Kumbhare, NH Vo – … and Automated Reasoning ( …, 2013 – ceur-ws.org Page 40. The NL2KR system Chitta Baral, Juraj Dzifcak, Kanchan Kumbhare, and Nguyen H. Vo School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, Arizona, USA chitta@ asu. edu, Juraj. Dzifcak@ asu. edu, krkumbha@ asu. … Related articles All 4 versions Cite Save More

Knowledge store design Deliverable D6. R Cattoni, F Corcoglioniti, B Magnini, M Rospocher… – newsreader-project.eu … Moreover, some applications inherently require considering both types of content: an example is question answering [Ferrucci et al., 2010], where often a … ways it can be encoded in natural language or in multimedia, and thus allowing the use of automated reasoning to derive … Related articles Cite Save More

Knowledge store version 1 Deliverable D6. 2.1 M Amadori, R Cattoni, F Corcoglioniti, B Magnini… – newsreader-project.eu … Moreover, some applications inherently require considering both types of content: an example is question answering [Ferrucci et al., 2010], where often a … ways it can be encoded in natural language or in mul- timedia, and thus allowing the use of automated reasoning to derive … Cite Save More

UNILOG’2013 JY Béziau, A Buchsbaum, A Costa-Leite – 2013 – uni-log.org … Canonical Propositional Gentzen-type Systems. In Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR’01), volume 2083 of LNAI, pages 529–544. Springer, 2001. … Forthcoming in Journal of Automated Reasoning, 2013. 12 Page 14. … Related articles All 3 versions Cite Save More

Learning Formal Definitions for Biomedical Concepts A Petrova – emcl-study.eu … The knowledge representation formalism of choice is Description Logic as it allows for integrating the newly acquired axioms in existing biomedical ontologies (eg SNOMED) as well as for automated reasoning on top of them. … Cited by 1 Related articles Cite Save More

Knowledge-based Career Choice Assistant KK Kemboi – 2013 – erepository.uonbi.ac.ke … that of human experts. 2.6.2 Definition of knowledge base system The definitions of expert system depict clearly five important aspects namely: i. automated reasoning system: that attempts to mimic the performance of the human expert ii. … Cite Save

Semantic Decision Support for Information Fusion Applications A Bellenger – 2013 – hal.archives-ouvertes.fr Page 1. Institut National des Sciences Appliquées de Rouen Laboratoire d’Informatique de traitement de l’Information et des Systèmes PHD THESIS Speciality : Computer Science Defended by Amandine Bellenger to obtain the title of PhD of Science of INSA de ROUEN … Related articles All 4 versions Cite Save

Amandine Bellenger H Abdulrab – 2013 – Citeseer Page 1. Institut National des Sciences Appliquées de Rouen Laboratoire d’Informatique de traitement de l’Information et des Systèmes PHD THESIS Speciality : Computer Science Defended by Amandine Bellenger to obtain the title of PhD of Science of INSA de ROUEN … Related articles All 3 versions Cite Save More

Handbook of the World Congress and School on Universal Logic JY Béziau, A Buchsbaum, A Costa-Leite – uni-log.org … [3] A. Avron and I. Lev. Canonical Propositional Gentzen-type Systems. In Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR’01), volume 2083 of LNAI, pages 529-544. Springer, 2001. [4] A. Avron and I. Lev. … Related articles Cite Save More

UCCA: A semantics-based grammatical annotation scheme O Abend, A Rappoport – Proc. IWCS, 2013 – aclweb.org Page 1. UCCA: A Semantics-based Grammatical Annotation Scheme Omri Abend? and Ari Rappoport Institute of Computer Science Hebrew University of Jerusalem 1omria01|arirl@cs.huji.ac.il Abstract Syntactic annotation … Cited by 1 Related articles All 14 versions Cite Save More

A framework for testing first-order logic axioms in program verification KY Ahn, E Denney – Software Quality Journal, 2013 – Springer Page 1. A framework for testing first-order logic axioms in program verification Ki Yung Ahn • Ewen Denney Published online: 16 November 2011 © Springer Science+Business Media, LLC 2011 Abstract Program verification … Cited by 3 Related articles All 7 versions Cite Save