Project Halo


Vulcan Inc.Project Halo {related:}

Notes:

The project was managed by Mark Greaves.  Project Halo has led to a number of spinoff technologies, including the wiki software bundle SMW+, the Semantic Inferencing on Large Knowledge (SILK) project and the Automated User-Centered Reasoning and Acquisition System (AURA).

  • Aristo
  • AURA
  • Digital Aristotle
  • HaloBook
  • projecthalo.com

Resources:

Wikipedia:

See also:

Automated Reasoning & Question Answering 2014 | CLE (Core Language Engine)Computer Processable Language (CPL) | Meta Guide Links (To Similar Projects) | Question Answering Module | SPARQL & Natural Language Question Answering 2012


Project Halo Update—Progress Toward Digital Aristotle D Gunning, VK Chaudhri, PE Clark, K Barker, SY Chaw… – AI Magazine, 2010 – aaai.org Abstract In the winter, 2004 issue of AI Magazine, we reported Vulcan Inc.’s first step toward creating a question-answering system called” Digital Aristotle.” The goal of that first step was to assess the state of the art in applied Knowledge Representation and Reasoning (KRR) … Cited by 56 Related articles All 10 versions

Modeling Issues and Solutions: Building a Taxonomy from a Biology Textbook. P Seyed, J Pacheco, A Goldenkranz, VK Chaudhri – ICBO, 2011 – ceur-ws.org … 1. Jane B. Reece, Lisa A. Urry, Michael L. Cain, Steven A. Wasserman, Peter V. Minorsky, Robert B. Jackson. (2010) Campbell Biology, Pearson Publishing. 2. Gunning D. et. al. (2010) Project Halo Update – Progress Toward Digital Aristotle, AI Magazine, Fall 2010, 33!58.! ! … Related articles

What if there was no oxygen?: responding to hypothetical questions in an intelligent tutoring agent N Yorke-Smith, S Heymans, V Chaudhri – Proceedings of the 2013 …, 2013 – dl.acm.org … AI Magazine, 31(3), 2010. [6] D. Gunning et al. Project Halo update – progress toward Digital Aristotle. AI Magazine, 31(3), 2010. [7] D. Inclezan and M. Gelfond. Representing biological processes in modular action language ALM. In Proc. … Related articles All 7 versions

Opendrugwiki–using a semantic wiki for consolidating, editing and reviewing of existing heterogeneous drug data A Köstlbacher, J Maurus, R Hammwöhner… – Fifth Workshop on …, 2010 – Citeseer … NS, Allen, PG, Matthews, G., Witbrock, M., Baxter, D., Curtis, J., Shepard, B., Miraglia, P., Angele, J., Staab, S., Moench, E. Oppermann, H., Wenke, D. Israel, D. Chaudhri, V., Porter, B., Barker, K., Fan, J. Chaw, SY, Yeh, P., Tecuci, D.: Project halo: towards a digital Aristotle, AI … Cited by 2 Related articles All 4 versions

Evaluation of commonsense knowledge with Mechanical Turk J Gordon, B Van Durme, LK Schubert – Proceedings of the NAACL HLT …, 2010 – dl.acm.org … by Oxford University Computing Services. Noah S. Friedland et al.. 2004. Project Halo: Towards a digital Aristotle. AI Magazine, 25(4). Jonathan Gordon, Benjamin Van Durme, and Lenhart K. Schubert. 2009. Weblogs as a source for extracting general world knowledge. In Proc. … Cited by 19 Related articles All 29 versions

Extracting meronyms for a biology knowledge base using distant supervision X Ling, P Clark, DS Weld – Proceedings of the 2013 workshop on …, 2013 – dl.acm.org … Peter Clark Allen Institute for Artificial Intelligence, Seattle PeterC@vulcan.com … 1. INTRODUCTION We are motivated by the vision of Digital Aristotle, specifi- cally an interactive … FRAMEWORK Knowledge Base ?: We start with the ontology cre- ated in Project Halo [5], which … Cited by 3 Related articles All 7 versions

[BOOK] Semantics in Knowledge Management A Abecker, E Biesalski, S Braun, M Hefke, V Zacharias – 2011 – Springer … The long-term goal of Project Halo is to build a ‘Digital Aristotle’, a computer system that stores a significant part of humankind’s scientific knowledge and that is able to answer novel questions (ie questions not known or foreseen during the creation of the system) about these … Related articles All 4 versions

KB_Bio_101: a repository of graph-structured knowledge. VK Chaudhri, MA Wessel, S Heymans – E-LKR, 2012 – Citeseer … The goal of Project Halo is to develop a “Digital Aristotle” — a reasoning system capable of answering novel questions and solving advanced problems in a broad range of scientific disciplines and related human affairs [3]. As part of … 3. Project Halo. http://www.projecthalo.com. … Cited by 1 Related articles All 5 versions

Inconsistency monitoring in a large scientific knowledge base VK Chaudhri, R Katragadda, J Shrager… – Knowledge Engineering …, 2014 – Springer … Allen, P., Mathews, G., Whitbrock, M., Baxter, D., Curtis, J., Shepard, B., Miraglia, P., Angele, J., Staab, S., Moench, E., Opperman, H., Wenke, D., Israel, D., Chaudhri, V., Porter, B., Barker, K., Fan, J., Chaw, SY, Yeh, P., Tecuci, D., Clark, P.: Project Halo: Towards a digital Aristotle. … Cited by 1 Related articles All 3 versions

Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog BN Grosof – Theory, Practice, and Applications of Rules on the Web, 2013 – Springer … SILK. The distributed team’s workflow authored and curated the knowledge base from the text into several thousand Rulelog axioms targeting question answering by a Digital Aristotle as part of Vulcan Inc.s Project Halo. In this … Cited by 4 Related articles All 5 versions

Crowdsourced knowledge: Peril and promise for conceptual structures research M Keeler – Conceptual structures for discovering knowledge, 2011 – Springer … The Fall 2010 issue of AI Magazine covered six of the “most interesting” QA systems still under development: Project Halo’s Digital Aristotle, Cyc’s Semantic Research Assistant, IBM’s Watson, the University of Washington’s TextRunner, and Cambridge University’s True … Cited by 3 Related articles All 6 versions

Architectures for Activity Recognition and Context-Aware Computing. C Geib, V Agrawal, G Sukthankar, L Shastri… – AI …, 2015 – search.ebscohost.com … Palo Alto, CA: AAAI Press. Friedland, NS; Allen, PG; Matthews, G.; Witbrock, M.; Baxter, D.; Curtis, J.; Shepard, B.; Miraglia, P.; Angele, J.; and Staab, S. 2004. Project Halo: Towards a Digital Aristotle. AI Magazine 25(4): 29. Gal, A., and Segev, A. 2006. …

“Out of the Box” Information Extraction: a Case Study using Bio-Medical Texts N Balasubramanian, S Soderland, OE Mausam, R Bart – cs.washington.edu … [9] D. Gunning, VK Chaudhri, P. Clark, K. Barker, S.-Y. Chaw, M. Greaves, B. Grosof, A. Leung, D. McDonald, S. Mishra, J. Pacheco, B. Porter, A. Spaulding, D. Tecuci, and J. Tien. Project HALO update – progress toward Digital Aristotle. AI Magazine, 31(3), 2010. …

Some Thoughts on Behavioral Programming I Keynote – computer.org … Grosof is a senior research program manager in knowledge systems at Vulcan Inc., the parent company of Paul G. Allen (co-founder … and leads a new large advanced research program in the area of rule-based semantic technologies and AI, within Vulcan’s overall Project Halo. …

Connecting Semantic MediaWiki to different Triple Stores Using RDF2Go M Schied, AKC Wolff – Fifth Workshop on Semantic Wikis Linking Data and …, 2010 – Citeseer … NS, Allen, PG, Matthews, G., Witbrock, M., Baxter, D., Curtis, J., Shepard, B., Miraglia, P., Angele, J., Staab, S., Moench, E. Oppermann, H., Wenke, D. Israel, D. Chaud- hri, V., Porter, B., Barker, K., Fan, J. Chaw, SY, Yeh, P., Tecuci, D.: Project halo: towards a digital Aristotle, AI … Related articles All 4 versions

Recent Advances in the SILK Knowledge Representation and Its Usage. BN Grosof – RuleML America, 2011 – silk.semwebcentral.org … http://projecthalo.com © Copyright Benjamin Grosof and Vulcan Inc., 2011. All rights reserved. Recent Advances in the SILK Knowledge Representation and its Usage Page 2. Outline • Intro: Vulcan’s Project Halo, HaloBook application • Digital Aristotle vision: question … All 10 versions

Gathering and Using Linguistic Evidence for Determining the Scope and Role of Natural Language Arguments H HORACEK – cmna.csc.liv.ac.uk … Artificial Intelligence 77 (1995), 321–358. [2] N. Friedland et al., Project Halo: Towards a Digital Aristotle, Artificial Intelligence Magazine 25 (2004), 29-47. [3] H. Horacek. Towards Bridging Between Natural Language and Logic-Based Representations of Natural Arguments. … Related articles

Surface Realisation from Knowledge-Bases B Gyawali, C Gardent – the 52nd Annual Meeting of the …, 2014 – hal.archives-ouvertes.fr Page 1. Surface Realisation from Knowledge-Bases Bikash Gyawali, Claire Gardent To cite this version: Bikash Gyawali, Claire Gardent. Surface Realisation from Knowledge-Bases. ACL. the 52nd Annual Meeting of the Association … Cited by 3 Related articles All 15 versions

Large-scale analogical reasoning VK Chaudhri, S Heymans, A Overholtzer… – The Proceedings of …, 2014 – stijnheymans.net … Gunning, D.; Chaudhri, VK; Clark, P.; Barker, K.; Chaw, S.-Y.; Greaves, M.; Grosof, B.; Leung, A.; McDonald, D.; Mishra, S.; Pacheco, J.; Porter, B.; Spaulding, A.; Tecuci, D.; ; and Tien, J. 2010. Project Halo update: Progress toward digital Aristotle. AI Magazine. … Cited by 7 Related articles All 3 versions

Finding needles in the haystack: Search and candidate generation J Chu-Carroll, J Fan, BK Boguraev… – IBM Journal of …, 2012 – ieeexplore.ieee.org Page 1. Finding needles in the haystack: Search and candidate generation J. Chu-Carroll J. Fan BK Boguraev D. Carmel D. Sheinwald C. Welty A key phase in the DeepQA architecture is Hypothesis Generation, in which candidate … Cited by 40 Related articles All 4 versions

Psychometric artificial intelligence S Bringsjord – Journal of Experimental & Theoretical Artificial …, 2011 – Taylor & Francis … Friedland , N , Allen , P , Matthews , G , Witbrock , M , Baxter , D , Curtis , J , Shepard , B , Miraglia , P , Angele , J , Staab , S , Moench , E , Oppermann , H , Wenke , D , Israel , D , Chaudhri , V , Porter , B , Barker , K , Fan , J , Chaw , SY … Project Halo: Towards a Digital Aristotle. … Cited by 23 Related articles All 2 versions

From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP. C Baral, S Liang – KR, 2012 – public.asu.edu … Many of those val- ues, such as the various parts of cells (for example, nucleus, 3KM has been adopted by various projects, notably Project Halo (Gunning and et 2010). 4AURA is also developed under Project Halo. Page 2. … Cited by 6 Related articles All 4 versions

Natural language generation for a smart biology textbook E Banik, E Kow, V Chaudhri, N Dinesh… – Proceedings of the …, 2012 – dl.acm.org … The knowledge base provides concept-to-word 3 Gunning Et al, 2010. Project halo update progress toward digital aristotle. AI Magazine Fall:33- 58. See also http://www.projecthalo. com/ 4http://www.cs.utexas.edu/users/mfkb/RKF/clib.html 125 Page 2. … Cited by 1 Related articles All 12 versions

A Domain Agnostic Approach to Verbalizing n-ary Events without Parallel Corpora B Gyawali, C Gardent, C Cerisara – ENLG 2015, 2015 – aclweb.org … et al. 2010. Project halo updateprogress toward digital aristotle. AI Magazine, 31 (3): 33–58. Bikash Gyawali and Claire Gardent. 2013. Lor-kbgen, a hybrid approach to generating from the kbgen knowledge-base. In Proceedings …

KB_Bio_101: A Challenge for OWL Reasoners. VK Chaudhri, MA Wessel, S Heymans – ORE, 2013 – Citeseer … In AAAI. AAAI Press, 1997. 8. D. Gunning and V. Chaudhri et al. Project Halo Update Progress Toward Digital Aristotle. AI Magazine, Fall 2010. 9. B. Grosof. … 11. V. Inc. Project Halo, 2012. See http://www. projecthalo. com/. 12. B. Motik, BC Grau, I. Horrocks, and U. Sattler. … Cited by 12 Related articles All 9 versions

A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example? B Grosof, M Burstein, M Dean, C Andersen… – … Web Conference ISWC …, 2010 – Citeseer … 4 http://silk. semwebcentral. org 5 http://projecthalo. com 113 Page 124. … Journal of Logic Programming 15 (3)(February 1993) 187–230 4. Gunning, D., Chaudhri, VK, et al.: Project Halo Update: Progress Toward Digital Aristotle. AI Magazine to appear, Fall 2010. … Cited by 5 Related articles All 16 versions

Mature and approved semantic middleware J Angele – 2014 – semantic-web-journal.org … N., Allen P., Matthews G., Witbrock M., Baxter D., Curtis J., Shepard B., Miraglia P., Angele J., Staab S., Moench E., Oppermann H., Wenke D., Israel D., Chaudhri V., Porter B., Barker K., Fan J., Chaw S., Yeh P., Tecuci D., Clark P.. Project Halo: Towards a Digital Aristotle. … Cited by 5 Related articles All 4 versions

KB Bio 101: A Challenge for TPTP First-Order Reasoners VK Chaudhri, MA Wessel… – CADE-24 Workshop on …, 2013 – michael-wessel.info … http://www.projecthalo.com 2. David Gunning, Vinay K. Chaudhri, Peter Clark, Ken Barker, Shaw-Yi Chaw, Mark Greaves, Ben- jamin Grosof, Alice Leung, David McDonald, Sunil Mishra, John Pacheco, Bruce … Project Halo Update — Progress Toward Digital Aristotle. … Cited by 2 Related articles All 3 versions

Comparative analysis of knowledge representation and reasoning requirements across a range of life sciences textbooks VK Chaudhri, D Elenius, A Goldenkranz… – Journal of …, 2014 – biomedcentral.com … Context of Project Halo Project Halo was an AI project funded by Vulcan, Inc., with the goal of creating a system called Digital Aristotle that could answer questions on a wide variety of science topics. SRI International participated in this project from 2003–2013 [6,10,11]. … Cited by 1 Related articles All 9 versions

Extending smw+ with a linked data integration framework C Becker, C Bizer, M Erdmann, M Greaves – 9th International Semantic …, 2010 – Citeseer … This includes cross data source connec- tions–for instance, the Allen Institute can publish their own data in the wiki and cross-reference it to Uniprot proteins. Acknowledgement This work was supported in part by Vulcan Inc. as part of its Project Halo (www. projecthalo. com). … Cited by 15 Related articles All 10 versions

The KBGen Challenge E Banik, C Gardent, E Kow – talc1.loria.fr … D. Gunning, VK Chaudhri, P. Clark, K. Barker, Shaw- Yi Chaw, M. Greaves, B. Grosof, A. Leung, D. Mc- Donald, S. Mishra, J. Pacheco, B. Porter, A. Spauld- ing, D. Tecuci, and J. Tien. 2010. Project halo up- date – progress toward digital aristotle. AI Magazine, Fall:33–58. … Cited by 1 Related articles All 2 versions

Representing Biological Processes in Modular Action Language ALM. D Inclezan, M Gelfond – AAAI Spring Symposium: …, 2011 – course.agent.csie.ntu.edu.tw … This work is part of our collaboration on Project Halo, a research effort by Vulcan Inc. towards the development of a “Digital Aristotle”–“an application containing large vol- umes of scientific knowledge and capable of applying so- phisticated problem-solving methods to answer … Cited by 19 Related articles All 9 versions

Recombinant nature: transgenics and the emergence of hum-animals A Saniotis – E-Logos Electron J Philos. http://nb. vse. cz/kfil/elogos/ …, 2010 – nb.vse.cz … According to Aristotle, each species has its own characteristics or merkmal which distinguishes it from 9 Page 10. … Whitman, Ruth. Do dogs mourn? Friends of the Animals, Project HALO http://www.friendsoftheanimals.com/articles.htm (accessed on December 5 2 Cited by 1 Related articles

Modular action language D INCLEZAN, M GELFOND – Theory and Practice of Logic … – Cambridge Univ Press … Our model of cell division represented in the higher level language ALM served as a front end for the question answering system, which was implemented both in ASP and in the language of the Digital Aristotle. Our language has evolved since our collaboration on Project Halo. …

Capturing programming content in online discussions M Khayyamian, J Kim – … of the seventh international conference on …, 2013 – dl.acm.org Page 1. Capturing Programming Content in Online Discussions Mahdy Khayyamian and Jihie Kim USC Information Sciences Institute 4676 Admiralty Way Marina del Rey, CA 90292 (310)448-8769 { mahdy.khayyamian,jihie}@usc.edu … Related articles

Object-oriented knowledge bases in logic programming VK Chaudhri, S Heymans, M Wessel… – … Conference in Logic …, 2013 – stijnheymans.net … 1 Introduction As part of Project Halo (See http://www.projecthalo.com), our team at SRI has en- coded a significant portion of an introductory college textbook (Reece et al. … Project Halo Update—Progress Toward Digital Aristotle. AI Magazine, 33–58. … Cited by 15 Related articles All 3 versions

Reasoning about interruption of biological processes VK Chaudhri, S Heymans, N Yorke-Smith – Biologically Inspired Cognitive …, 2015 – Elsevier Humans are able to apply abstract reasoning patterns to learned knowledge and principles, and infer correct results. Our work is motivated by the vision of auto. Related articles

Preliminary steps towards a knowledge factory process VK Chaudhri, N Diniesh, J Pacheco, G Ng… – Proceedings of the sixth …, 2011 – dl.acm.org … 4. REFERENCES [1] Gunning D. et. al., Project Halo Update — Progress Toward Digital Aristotle, AI Magazine, Fall 2010, 33-58. [2] Jane B. Reece, Lisa A. Urry, Michael L. Cain, Steven A. Wasserman, Peter V. Minorsky, Robert B. Jackson. … Cited by 3 Related articles All 3 versions

A framework and computer system for knowledge-level acquisition, representation, and reasoning with process knowledge JM Gómez-Pérez, M Erdmann, M Greaves… – International journal of …, 2010 – Elsevier … We have implemented this approach as part of the DarkMatter system and formally evaluated it in the context of the intermediate evaluation of Project Halo, an initiative aiming at the creation of question answering systems by SMEs. Keywords. … Cited by 9 Related articles All 10 versions

An Intelligent Textbook that Answers Questions VK Chaudhri, A Overholtzer, A Spaulding – Knowledge Engineering and …, 2014 – Springer … www.cs.utexas.edu/ users/mfkb/km.html 7. Gunning, D., Chaudhri, VK, Clark, P., Barker, K., Chaw, S.-Y., Greaves, M., Grosof, B., Leung, A., McDonald, D., Mishra, S., Pacheco, J., Porter, B., Spaulding, A., Tecuci, D., Tien, J.: Project Halo update: Progress toward Digital Aristotle. … Related articles All 3 versions

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 35 Related articles All 8 versions

A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. VK Chaudhri, B Bredeweg, R Fikes, SA McIlraith… – FOIS, 2010 – books.google.com … Halo that is staged, long- range research by Vulcan Inc. to develop a “Digital Aristotle”—a reasoning system capable of answering novel questions and solving advanced problems in a broad range of scientific disciplines and related human affairs (see http://www. projecthalo. … Cited by 3 Related articles All 10 versions

When FrameNet meets a Controlled Natural Language G B?rzdi?š – 2011 – researchgate.net … Background to FrameNet. International Journal of Lexicography, 16, pp. 235–250 Friedland, N., and Allen, P. 2004. Project halo: To- wards a digital aristotle. In AI Magazine. Johansson, R., Berglund, A., Danielsson, M., Nugues, P. 2005. … Cited by 2 Related articles All 3 versions

Achieving Human Level Reasoning and Decision-Making for Autonomous Systems: An Agent’s Perspective S Biswas, TN Pandey, SP Pati – IJCSI, 2011 – Citeseer … Journal of the ACM, 50 (1): 32–40, January. [13] Friedland, NS, et al. 2004. Project Halo: Towards a Digital Aristotle. AI Magazine 25 (4): 29–47, Winter. [14] Hawkins, J., and Blakeslee, S. 2004. On Intelligence. New York: Times Books. [15] Koza, John R., et al. 2003. … Related articles All 5 versions

Venture Capital Financing of Innovation Races E Kovac – 2014 – econstor.eu … The venture capital division of Vulcan Inc., a corporation owned by Microsoft co-founder Paul Allen, has contracted three competing agencies for the project Halo, aimed at the development of the problem-solving software.3 … 3See www.projecthalo.com for details. … Related articles All 6 versions

Inquire for ipad: A biology textbook that answers questions A Spaulding, A Overholtzer, J Pacheco, J Tien… – Proceedings of the 15th …, 2011 – dl.acm.org … ACM has opted to expose the complete List rather than only correct and linked references. 1. Gunning, D., Greaves, M., Chaudhri, V., et al.: Project Halo Update-Progress Towards Digital Aristotle. AI Magazine 31(3) (2010). top of page CITED BY. Citings are not available. … Cited by 2 Related articles All 4 versions

Query answering in object oriented knowledge bases in logic programming: description and challenge for ASP VK Chaudhri, S Heymans, M Wessel… – arXiv preprint arXiv: …, 2013 – arxiv.org … KB Bio 101 contains knowledge from a biology textbook, has been developed as part of Project Halo, and has recently become available for research use. … 3 http://www.projecthalo. com/ 4 http://www.aaaivideos.org/2012/inquire_intelligent_textbook/ … Cited by 12 Related articles All 6 versions

KBGen–Text Generation from Knowledge Bases as a New Shared Task E Banik, C Gardent, D Scott, N Dinesh, F Liang – 2012 – Citeseer … 4 The shared task We propose two tracks for the KBGen shared task: a “complex surface realization” track, where the task is to generate complex sentences from shorter input… 9, Project Halo update – Progress toward digital Aristotle – Gunning, Chaudhri, et al. … All 2 versions

Towards deep reasoning with respect to natural language text in scientific domains C Baral, S Liang, V Nguyen – DeepKR Workshop, 2011 – Citeseer … that Copyright c 2011, All rights reserved. 1http://projecthalo.com/ KR language … Tien, J. 2010. Project halo update progress toward digital aristotle. AI Magazine Fall 2010. Hobbs, J. 1985. Ontological Promiscuity. In Proceedings of … Cited by 1 Related articles All 3 versions

Czech knowledge-based system with temporal reasoning A Gardon – is.muni.cz … and inference. AI Magazine 31(3) (2010) 80–92 5. Gunning, D., et al.: Project Halo update—progress toward digital Aristotle. AI Magazine 31(3) (2010) 33–58 6. Aron, J.: How innovative is apple’s new voice assistant, Siri? New … Related articles All 2 versions

Preventing Social Engineering and Espionage in Collaborative Knowledge Management Systems (KMSs) OS Ogunseye, O Folorunso… – Adoption of Virtual …, 2012 – books.google.com … In Proceedings of the 14”’International World Wide Web Conference, Chiba, Japan (pp. 225-234). Friedland, S., Allen, G., Mathews, G., Witbrock, M., Baxter, D., & Curtis, J.(2004). Project Halo: Towards a digital Aristotle. AI Magazine, 29—48. Gardenfors, P.(2004). … Related articles All 4 versions

Constructing a textual KB from a biology TextBook P Clark, P Harrison, N Balasubramanian… – Proceedings of the Joint …, 2012 – dl.acm.org … EMNLP 2011. Fellbaum, C. “WordNet: An Electronic Lexical Data- base.” Cambridge, MA: MIT Press, 1998. Gunning, D., et al., Project Halo Update – Progress To- ward Digital Aristotle In AI Magazine (vol 31 no 3), 2010. Lin, D. and Pantel, P. 2001. … Cited by 2 Related articles All 11 versions

Mind the Gap: From Desktop to App P Kostkova, A Molnar – discovery.ucl.ac.uk … Allen, G Matthews, M Witbrock, D Baxter, J Curtis, B Shepard, P Miraglia, J Angele, S Staab, E Moench, H Oppermann, D Wenke, D Israel, V Chaudhri, B Porter, K Barker, J Fan, SY Chaw, P Yeh, D Tecuci, and P Clark. Project halo: Towards a digital aristotle. … Related articles

Inquire Biology: A textbook that answers questions VK Chaudhri, B Cheng, A Overtholtzer, J Roschelle… – AI Magazine, 2013 – aaai.org … students. Inquire Biology is one of the products of Project Halo,3 a long-term research effort to develop a capability to answer questions on a wide variety of science topics. Inquire Biology is based on Campbell Biology (Reece et al. … Cited by 20 Related articles All 5 versions

Ship rat, stoat and possum control on mainland New Zealand K Brown, G Elliott, J Innes, J Kemp – 2015 – doc.govt.nz Page 1. Ship rat, stoat and possum control on mainland New Zealand An overview of techniques, successes and challenges Kerry Brown, Graeme Elliott, John Innes and Josh Kemp Page 2. © Copyright September 2015, New Zealand Department of Conservation Page 3. …

Naturalness vs. predictability: A key debate in controlled languages P Clark, WR Murray, P Harrison… – Controlled Natural …, 2010 – Springer Page 1. NE Fuchs (Ed.): CNL 2009 Workshop, LNAI 5972, pp. 65–81, 2010. © Springer-Verlag Berlin Heidelberg 2010 Naturalness vs. Predictability: A Key Debate in Controlled Languages Peter Clark, William R. Murray, Phil Harrison, and John Thompson … Cited by 30 Related articles All 12 versions

The kbgen challenge E Banik, C Gardent, E Kow – the 14th European Workshop …, 2013 – hal.archives-ouvertes.fr … D. Gunning, VK Chaudhri, P. Clark, K. Barker, Shaw- Yi Chaw, M. Greaves, B. Grosof, A. Leung, D. Mc- Donald, S. Mishra, J. Pacheco, B. Porter, A. Spauld- ing, D. Tecuci, and J. Tien. 2010. Project halo up- date – progress toward digital aristotle. AI Magazine, Fall:33–58. … Cited by 12 Related articles All 18 versions

WordNet Hierarchy Axiomatization and the Mass-Count Distinction J Gordon, LK Schubert – Semantic Computing (ICSC), 2013 …, 2013 – ieeexplore.ieee.org Page 1. WordNet Hierarchy Axiomatization and the Mass–Count Distinction Jonathan Gordon Department of Computer Science University of Rochester Rochester, New York, USA Email: jgordon!cs.rochester.edu Lenhart K. Schubert … Related articles All 21 versions

Applying Semantic Technology To Business News Analysis I Novalija, D Mladeni? – Applied Artificial Intelligence, 2013 – Taylor & Francis … 2010 . Project halo update – Progress toward digital Aristotle . AI Magazine 31 , 33 – 58 . [Web of Science ®] View all references; Bradeško et al. … 2010 . Project halo update – Progress toward digital Aristotle . AI Magazine 31 , 33 – 58 . … Related articles All 3 versions

Large object oriented knowledge bases: A challenge for reasoning engines VK Chaudhri, S Heymans, M Wessel, SC Tran – Newsletter of Association of … – cs.nmsu.edu … The Knowledge Base KB Bio 101 The goal of Project Halo1 is to develop a “Digital Aristotle” — a reasoning system capable of … 1http://www.projecthalo.com/ 2http://www.aaaivideos.org/2012/ inquire_ intelligent_textbook/ 3http://plato.stanford.edu/entries/ logic-paraconsistent/ … Cited by 1 Related articles

Systems Thinking in Biology–The case for Qualitative Representations and Reasoning1 B Bredeweg, F Linnebank, W Beek, J Liem – … of the QR’12 workshop on …, 2012 – Citeseer … There is also AURA4, part of project Halo5, which works on thier digital Aristotle quest. … 3 NatureNet-Redime: http://hcs.science.uva.nl/projects/NNR/ 4 AURA: http://www.ai.sri.com/project/ aura 5 Halo: http://www.projecthalo.com/ 6 DKRC 2012: https://sites.google.com/site … Cited by 1 Related articles All 2 versions

Computing Trajectories of Dynamic Systems Using ASP and Flora-2 D Inclezan – depts.ttu.edu … The Flora-2 method can be used to perform temporal projection in the Digital Aristotle reasoning system. … References 1. The Project Halo web page, located at http://www.projecthalo.com (2010) Page 15. Computing Trajectories of Dynamic Systems Using ASP and Flora-2 15 … Related articles All 2 versions

Representing roles in a biology textbook VK Chaudhri, N Dinesh, S Heymans – Proceedings of the First …, 2014 – ceur-ws.org … Dan Tecuci, , and Jing Tien. Project Halo Update: Progress Toward Digital Aristotle. AI Magazine, Fall 2010. 21. Frank Loebe. An Analysis of Roles: Towards Ontology-Based Modelling, 2003. 22. Claudio Masolo, Laure Vieu … Cited by 1 Related articles All 2 versions

XSB: Extending Prolog with tabled logic programming T Swift, DS Warren – Theory and Practice of Logic …, 2012 – Cambridge Univ Press Page 1. TLP 12 (1–2): 157–187, 2012. C Cambridge University Press 2012 doi:10.1017/ S1471068411000500 157 XSB: Extending Prolog with Tabled Logic Programming TERRANCE SWIFT CENTRIA, Faculdade de Ciências e Tecnologia, Univ. … Cited by 87 Related articles All 12 versions

Modular action language ALM for dynamic domain representation D Inclezan – 2012 – repositories.tdl.org Page 1. MODULAR ACTION LANGUAGE ALM FOR DYNAMIC DOMAIN REPRESENTATION by Daniela Inclezan, MS A Dissertation In COMPUTER SCIENCE Submitted to the Graduate Faculty of Texas Tech University in Partial Fulfillment of the Requirements for the Degree of … Cited by 5 Related articles All 3 versions

Towards An Intelligent Question-Answering System A Gardo?, A Horák – is.muni.cz … Springer. Gunning, D. et al. 2010. Project Halo Update-Progress Toward Digital Aristotle. AI Magazine 31(3): p.33-58. Hall, JS 2007. Beyond AI: creating the conscience of the machine. New York: Prometheus Books. Horák, A., 2008. … Related articles All 2 versions

Crowdsourcing for multiple-choice question answering BI Aydin, YS Yilmaz, Y Li, Q Li, J Gao… – Twenty-Sixth IAAI …, 2014 – cse.buffalo.edu Page 1. Crowdsourcing for Multiple-Choice Question Answering Bahadir Ismail Aydin, Yavuz Selim Yilmaz, Yaliang Li, Qi Li, Jing Gao and Murat Demirbas Department of Computer Science and Engineering University at Buffalo … Cited by 4 Related articles All 3 versions

Process Interruption Reasoning VK Chaudhri, S Heymans… – Proceedings of the 2nd …, 2012 – stijnheymans.net … Project Halo Update — Progress Toward Digital Aristotle. AI Magazine, 31(3), 33-58, Fall 2010. [3] Ken Forbus. Qualitative Process Theory. Artificial Intelligence, 24, 85-168, 1984. [4] Peter E. Clark and Bruce Porter. Knowledge Machine Users’s Guide. … Cited by 2 Related articles All 4 versions

Representing Inferences and their Lexicalization D McDonald, J Pustejovsky, B EDU – cogsys.org Page 1. Advances in Cognitive Systems 3 (2014) 143–162 Submitted 9/2013; published 8/2014 Representing Inferences and their Lexicalization David McDonald DMCDONALD@SIFT.NET Smart Information Flow Technologies, 14 Brantwood Road, Arlington, MA 02476 USA … Related articles All 8 versions

Managing Knowledge to Enhance Learning PA Martin – arXiv preprint arXiv:1306.1490, 2013 – arxiv.org … IEEE P1484.3 GLOSSARY WORKING GROUP, draft standard. 7 Friedland, NS et al. (2004). Project Halo: towards a digital aristotle. AI Magazine, 25(4), 29–48. 8 Hodgins, W. (2006). Out of the past and into the future : standards for technology enhanced learning. … Cited by 5 Related articles All 6 versions

Information is not knowledge, knowledge is not wisdom, wisdom is not truth VR Benjamins – International Journal of Human-Computer Studies, 2013 – Elsevier … tools. HPKB ( Cohen et al., 1998) and Project Halo 2 are examples of this. Nowadays … useful. 1.4. Knowledge level. The knowledge level was introduced by Allen Newell ( Newell, 1982) as the level above the symbol level. That … Cited by 1 Related articles All 4 versions

Knowledge Integration in Machine Reading KJ Barker, V Lifschitz – repositories.lib.utexas.edu … I would also like to thank the members of my committee, Ken Barker, Ray Mooney, James Allen, and Vladimir Lifschitz for their comments and suggestions. … 1In Project Halo [54], the cost for a team of knowledge engineers to encode 50 pages was $10K ($200 per page). … Related articles All 2 versions

Question generation from a knowledge base VK Chaudhri, PE Clark, A Overholtzer… – Knowledge Engineering …, 2014 – Springer … Gunning, D., Chaudhri, VK, Clark, P., Barker, K., Chaw, S.-Y., Greaves, M., Grosof, B., Leung, A., McDonald, D., Mishra, S., Pacheco, J., Porter, B., Spaulding, A., Tecuci, D., Tien, J.: Project Halo update: Progress toward Digital Aristotle. AI Magazine (Fall 2010) 16. … Cited by 3 Related articles All 4 versions

A modular architecture for adaptive ChatBots G Pilato, A Augello, S Gaglio – Semantic Computing (ICSC), …, 2011 – ieeexplore.ieee.org … PG Allen, G. Matthews, M. Witbrock, D. Baxter, J. Curtis, B. Shepard, P. Miraglia, SS Jrgen Angele, E. Moench, H. Oppermann, D. Wenke, D. Israel, V. Chaudhri, B. Porter, K. Barker, J. Fan, SY Chaw, P. Yeh, D. Tecuci, and P. Clark, “Project halo: Towards a digital aristotle,” … Cited by 4 Related articles All 5 versions

Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. VK Chaudhri, TC Son – KR, 2012 – Citeseer Page 1. Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming Vinay K. Chaudhri AI Center SRI International Mento Park, California, USA Tran Cao Son Computer Science Department … Cited by 8 Related articles All 3 versions

Usi answers: Natural language question answering over (semi-) structured industry data U Waltinger?, D Tecuci?, M Olteanu?, V Mocanu?… – 2013 – aaai.org Page 1. USI Answers: Natural Language Question Answering Over (Semi-) Structured Industry Data Ulli Waltinger?, Dan Tecuci?, Mihaela Olteanu?, Vlad Mocanu?, and Sean Sullivan? Siemens AG?, Corporate Technology, Munich … Cited by 4 Related articles All 4 versions

Entities with Genetic Information–An Initial Perspective from the Core Theme of Continuity and Change in Biology F Loebe, VK Chaudhri – ONTOLOGIES AND DATA IN LIFE SCIENCES …, 2014 – onto-med.de … Spaulding, Dan Tecuci, and Jing Tien. Project Halo update: Progress toward Digital Aristotle. AI Magazine, 31 (3): 33–58, 2010. [11] Hiroshi Masuya and Riichiro Mizoguchi. An ontology of gene. In Ronald Cornet and Robert … Related articles

The Semantics of Questions P Clark – core.ac.uk Page 1. The Semantics of Questions Working Note 36 Revised March 22th, 2010 Peter Clark, peter.e.clark@boeing.com Abstract AURA is a knowledge-based system designed to answer exam-style science questions posed in English. … Related articles All 4 versions

Spatiotemporal Extensions to a Controlled Natural Language WR Murray, T Singliar – Controlled Natural Language, 2012 – Springer … 7 to the 13 relations possible in Allen’s interval algebra. … Some of these heuristics are domain-specific and were originally tuned for the scientific domains of physics, chemistry, and biology in the project HALO [25], which aims to achieve AP-level proficiency in these subjects … Cited by 3 Related articles All 6 versions

Answer set programming via controlled natural language processing R Schwitter – Controlled Natural Language, 2012 – Springer Page 1. Answer Set Programming via Controlled Natural Language Processing Rolf Schwitter Centre for Language Technology Macquarie University Sydney 2109 NSW, Australia Rolf.Schwitter@mq.edu.au Abstract. Controlled … Cited by 3 Related articles All 8 versions

Modeling of Continuity and Change in Biology VK Chaudhri, F Loebe – Proceedings of the 2014 Workshops on …, 2014 – mis.ugent.be … Project Halo update: Progress toward Digital Aristotle. AI Magazine, 31(3):33–58, 2010. 22. Robert Hoehndorf, Janet Kelso, and Heinrich Herre. The ontology of biological sequences. BMC Bioinformatics, 10:377.1–11, 2009. 23. Catharina Maria Keet. … Cited by 1 Related articles All 2 versions

8th European Vertebrate Pest Management Conference Berlin, Germany, 26-30 September 2011-Book of Abstracts J Jacob, A Esther – Julius-Kühn-Archiv, 2011 – pub.jki.bund.de … des BMELV in allen Fragen mit Bezug zur Kulturpflanze … R., Davies, L., Gray, H., Oliver, MK, Urquhart, J. Aliens attack–population dynamics and density control of American mink Neovison vison in four National Parks in Poland 26 Niemczynowicz, A. Project Halo–predator control … Cited by 1 Related articles All 3 versions

High exposure rates of anticoagulant rodenticides in carnivorous birds and mammals in Danish landscapes M Elmeros, TK Christensen, P Lassen – 8th European Vertebrate Pest …, 2011 – jki.bund.de … des BMELV in allen Fragen mit Bezug zur Kulturpflanze … R., Davies, L., Gray, H., Oliver, MK, Urquhart, J. Aliens attack–population dynamics and density control of American mink Neovison vison in four National Parks in Poland 26 Niemczynowicz, A. Project Halo–predator control … Related articles All 6 versions

Logics For The Semantic Web P Hitzler, J Lehmann, A Polleres – daselab.cs.wright.edu Page 1. LOGICS FOR THE SEMANTIC WEB Pascal Hitzler, Jens Lehmann, Axel Polleres Reader: Patrick Hayes 1 INTRODUCTION A major international research effort is currently under way to improve the exist- ing World Wide … Related articles All 3 versions

Designing efficient controlled languages for ontologies R Bernardi, D Calvanese, C Thorne – Computating Meaning, 2012 – inf.unibz.it Page 1. Designing Efficient Controlled Languages for Ontologies Raffaella Bernardi, Diego Calvanese, and Camilo Thorne Abstract We describe a methodology to recognize efficient controlled natural lan- guages (CLs) that … Cited by 1 Related articles

Designing efficient controlled languages for ontologies C Thorne, R Bernardi, D Calvanese – Computing Meaning, 2014 – Springer Page 1. Designing Efficient Controlled Languages for Ontologies Camilo Thorne, Raffaella Bernardi, and Diego Calvanese Abstract We describe a methodology to recognize efficient controlled natural lan- guages (CLs) that … Cited by 1 Related articles All 10 versions

Knowledge encapsulation framework for technosocial predictive modeling MC Madison, AJ Cowell, RS Butner, K Fligg, AW Piatt… – Security …, 2012 – Springer … Like KEF, some of these systems use tags to provide an informal taxonomy, but the domain scale is typically very wide (in the case of Wikipedia, the goal is to provide an encyclopedia’s worth of knowledge). Project Halo [26] is a specific instance of … Cited by 3 Related articles All 8 versions

Solving Winograd Schema Challenge: Using Semantic Parsing, Automatic Knowledge Acquisition and Logical Reasoning A Sharma – 2014 – repository.asu.edu … The usability of KM ontology has been proved by a number of projects, such as AURA Chaudhri et al. (2009) which is developed under Project Halo Gunning et al. (2010). The use of KM ontology provides us the ability to • combine the data provided by several NLP tools, … Cited by 1 Related articles All 3 versions

FEMwiki: Crowdsourcing Semantic Taxonomy and Wiki Input Todomain Experts While Keeping Editorial Control: Mission Possible! P Kostkova, V Prikazsky, A Bosman – Proceedings of the 5th …, 2015 – dl.acm.org … Wikipedia. However, attempts have been made to provide easier-to-use tools usable by domain experts. Project Halo [7] is an extension to SMW that provides a semantic toolbar to allow page editors to annotate pages. However … Related articles All 3 versions

Automatic Strengthening of Graph-Structured Knowledge Bases V Chaudhri, N Dinesh, S Heymans… – Graph Structures for …, 2014 – Springer Page 1. Automatic Strengthening of Graph-Structured Knowledge Bases Or: How to Identify Inherited Content in Concept Graphs Vinay Chaudhri, Nikhil Dinesh, Stijn Heymans, and Michael Wessel ? SRI International Artificial … Related articles All 8 versions

Other Recent Applications: data. gov and Wikidata L Yu – A Developer’s Guide to the Semantic Web, 2014 – Springer … half of which was granted by the Allen Institute for Artificial Intelligence,19 an organization established by Microsoft cofounder Paul Allen. … Deutschland, http://www.wikimedia.de/wiki/ Hauptseite 18 http://wikimediafoundation.org/wiki/Home 19 http://www.projecthalo.com/ 20 http …

Talking about data: Sharing richly structured information through blogs and wikis E Benson, A Marcus, F Howahl, D Karger – The Semantic Web–ISWC …, 2010 – Springer … Wibit provides a WikiText syntax that enables SMW users to create Exhibit visualizations that aggregate the re- sults of an ASK query (to be contrasted with approaches like Project Halo [10] which make … Friedland, NS, Allen, PG: The Halo Pilot: Towards A digital Aristotle. … Cited by 16 Related articles All 23 versions

[BOOK] Acquisition and understanding of process knowledge using problem solving methods JM Gómez-Pérez – 2010 – books.google.com … The Digital Aristotle has a focus on two primary functions: as a tutor capable of instructing and assessing students in … the thesis beyond acquisition of process knowledge to the analysis of process executions, describing the 4 Project Halo, http://www.projecthalo.com, funded … Cited by 3 Related articles All 11 versions

A formalism and method for representing and reasoning with process models authored by subject matter experts JM Gomez-Perez, M Erdmann… – Knowledge and Data …, 2013 – ieeexplore.ieee.org Page 1. A Formalism and Method for Representing and Reasoning with Process Models Authored by Subject Matter Experts José Manuel Gómez-Pérez, Michael Erdmann, Mark Greaves, and Oscar Corcho Abstract—Enabling … Cited by 1 Related articles All 8 versions

Open Question Answering A Fader – 2014 – digital.lib.washington.edu Page 1. c Copyright 2014 Anthony Fader Page 2. Page 3. Open Question Answering Anthony Fader A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy University of Washington 2014 Reading Committee: Oren Etzioni, Chair … Related articles

[BOOK] Ontologies and Adaptivity in Dialogue for Question Answering D Sonntag – 2010 – books.google.com Page 1. ONTOLOGIES AND ADAPTIVITY IN DIALOGUE FOR QUESTION ANSWERING Page 2. Studies on the Semantic Web Semantic Web has grown into a mature field of research. Its methods find innovative applications on and off the World Wide Web. … Cited by 24 Related articles All 5 versions

Ontological Semantics F Loebe – 2015 – qucosa.de … NUMEROUS DEFINITIONS OF ONTOLOGY, LINKING TO SURVEYS Definitions of ontology exist abundantly in the literature, even without recourse to ancient and medieval times, eg, to Aristotle’s phrasing of ontology as studying “all the species of being qua being and the … Related articles

The evolution, challenges, and future of knowledge representation in product design systems SK Chandrasegaran, K Ramani, RD Sriram… – Computer-aided …, 2013 – Elsevier Product design is a highly involved, often ill-defined, complex and iterative process, and the needs and specifications of the required artifact get more refine. Cited by 179 Related articles All 9 versions