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://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
- ["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
Markov Logic Networks using an RDBMS] VLDB, 2011