Skip to content

Returns all exact groundings/instances of a Horn Clause

Notifications You must be signed in to change notification settings

mayukhdas/GroundingSAT

Repository files navigation

Generate all instantiations of relational horn clause, given the data.

All Files must be in ./data

Usage:

java -jar ReturnGroundings.jar [fact file name] [random walk filename] [examples filename] [output filename] [unique DB name]

examples file can either be pos file or neg file .... So name output file and DB name accordingly to maintin uniqueness

About

Returns all exact groundings/instances of a Horn Clause

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages