Difference between revisions of "Vulcan"
(→BLP and MLNs) |
(→BLP and MLNs) |
||
Line 58: | Line 58: | ||
=== BLP and MLNs === | === BLP and MLNs === | ||
− | + | [http://www.cs.utexas.edu/users/ml/papers/raghavan.acl12.pdf Learning to Read Between the Lines using Bayesian Logic Programs] Raghavan and Mooney, ACL 2012. | |
* [http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb11.pdf Tuffy Scaling up Statistical Inference in | * [http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb11.pdf Tuffy Scaling up Statistical Inference in | ||
Markov Logic Networks using an RDBMS] VLDB, 2011 | Markov Logic Networks using an RDBMS] VLDB, 2011 |
Revision as of 23:21, 13 August 2013
This page has pointers to documents, resources, and demos.
Contents
Project Log
1. Meeting Notes
2. System development status
3. Experiments
Documents
2.System Design [Added a system architecture figure.]
3.Stephen's examples for quantification inference, and rule templates
Resources
Questions
NY Regents Sample of 4th-12th grade questions.
Definitions
Concept and Definitions extracted from 4th grade specific resources by Harcourt and McMillan.
A subset of definitions covering 4th grade science syllabus. The definitions are extracted from about seven different dictionaries.
Wikipedia sentences covering the target concepts.
Study Guide materials
Barrons Grade 4 Science Topics
Barrons Grade 4 Science Sentences
Software
Triplestores and Graph Inference Systems
A comparison of semantic reasoners
OpenRuleBench: An Analysis of the Performance of Rule Engines
Demos
1. Verifying Propositions -- This interface takes a natural language sentence as input and finds support for the tuples extracted from the sentence. e.g., Antibiotics kill bacteria.
Literature
Quantification
Aurelie Herbelot, Thesis.
BLP and MLNs
Learning to Read Between the Lines using Bayesian Logic Programs Raghavan and Mooney, ACL 2012.
- [http://hazy.cs.wisc.edu/hazy/papers/tuffy-vldb11.pdf Tuffy Scaling up Statistical Inference in
Markov Logic Networks using an RDBMS] VLDB, 2011