├── .github ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── ISSUE_TEMPLATE.md └── PULL_REQUEST_TEMPLATE.md ├── .gitignore ├── README.md ├── docs ├── README.md ├── WILLManual │ ├── README.txt │ ├── User_Manual_of_WILL_0.1.pdf │ ├── algorithm.sty │ ├── algorithmic.sty │ ├── figs │ │ ├── new_run_configuration.png │ │ ├── open_run_configurations.png │ │ ├── run_configuration_arguments.png │ │ └── run_configuration_ilpmain.png │ ├── will-manual.aux │ ├── will-manual.bbl │ ├── will-manual.blg │ ├── will-manual.dvi │ ├── will-manual.log │ ├── will-manual.out │ ├── will-manual.pdf │ ├── will-manual.tcp │ ├── will-manual.tex │ ├── will-manual.toc │ ├── will-manual.tps │ ├── will.bib │ ├── will_definitions.tex │ └── willmanualproject │ │ ├── willmanualproject.tcp │ │ ├── willmanualproject.tex │ │ └── willmanualproject.tps └── WikiHowTo.md ├── lib ├── commons-codec-1.6.jar ├── commons-collections4-4.1.jar ├── commons-csv-1.0.jar ├── commons-lang3-3.1.jar ├── httpclient-4.2.6.jar ├── httpclient-cache-4.2.6.jar ├── httpcore-4.2.5.jar ├── jackson-annotations-2.3.0.jar ├── jackson-core-2.3.3.jar ├── jackson-databind-2.3.3.jar ├── jcl-over-slf4j-1.7.6.jar ├── jena-arq-2.12.1.jar ├── jena-core-2.12.1.jar ├── jena-iri-1.1.1.jar ├── jena-sdb-1.5.1.jar ├── jena-tdb-1.1.1.jar ├── jsonld-java-sesame-0.5.0.jar ├── libthrift-0.9.1.jar ├── log4j-1.2.17.jar ├── slf4j-api-1.7.6.jar ├── slf4j-log4j12-1.7.6.jar ├── xercesImpl-2.11.0.jar └── xml-apis-1.4.01.jar ├── license.txt ├── pom.xml └── src ├── edu ├── iu │ └── cs │ │ └── RelationalRandomWalks │ │ ├── CommandLineArguments.java │ │ ├── Edge.java │ │ ├── GenerateRandomWalks.java │ │ ├── Graph.java │ │ ├── Node.java │ │ ├── Predicates.java │ │ ├── RelationalRandomWalks.java │ │ └── RunRelationalRandomWalks.java └── wisc │ └── cs │ └── will │ ├── Boosting │ ├── Advice │ │ ├── .gitignore │ │ └── AdviceReader.java │ ├── Common │ │ ├── .gitignore │ │ ├── RunBoostedModels.java │ │ └── SRLInference.java │ ├── EM │ │ ├── .gitignore │ │ ├── HiddenLiteralSamples.java │ │ └── HiddenLiteralState.java │ ├── KBAdvice │ │ ├── .gitignore │ │ ├── Advice.java │ │ └── AdviceInstance.java │ ├── MLN │ │ ├── .gitignore │ │ ├── MLNInference.java │ │ └── RunBoostedMLN.java │ ├── OneClass │ │ ├── .gitignore │ │ ├── BuildPairWiseScore.java │ │ ├── FeatureVector.java │ │ ├── InferOCCModel.java │ │ ├── KernelEstimator.java │ │ ├── LearnOCCModel.java │ │ ├── PairWiseExampleScore.java │ │ ├── PropositionalizationModel.java │ │ └── RunOneClassModel.java │ ├── RDN │ │ ├── .gitignore │ │ ├── BoostingPrecomputeManager.java │ │ ├── CombinedTree.java │ │ ├── ConditionalModelPerPredicate.java │ │ ├── InferBoostedRDN.java │ │ ├── JointModelSampler.java │ │ ├── JointRDNModel.java │ │ ├── LearnBoostedRDN.java │ │ ├── Models │ │ │ ├── .gitignore │ │ │ ├── DependencyExampleNode.java │ │ │ ├── DependencyNetwork.java │ │ │ ├── DependencyNetworkEdge.java │ │ │ ├── DependencyNode.java │ │ │ ├── DependencyPredicateNode.java │ │ │ ├── GroundDependencyNetwork.java │ │ │ ├── PhiFunctionForRDN.java │ │ │ └── RelationalDependencyNetwork.java │ │ ├── MultiClassExampleHandler.java │ │ ├── RDNBoost API Doc.docx │ │ ├── RegressionRDNExample.java │ │ ├── RunBoostedRDN.java │ │ ├── SingleModelSampler.java │ │ └── WILLSetup.java │ ├── Regression │ │ ├── .gitignore │ │ ├── InferRegressionTrees.java │ │ ├── RegressionTreeInference.java │ │ └── RunBoostedRegressionTrees.java │ ├── Trees │ │ ├── .gitignore │ │ ├── ClauseBasedTree.java │ │ ├── FeatureTree.java │ │ ├── LearnRegressionTree.java │ │ ├── RegressionMLNModel.java │ │ ├── RegressionTree.java │ │ ├── RegressionWillTree.java │ │ └── RegressionYapTree.java │ ├── Utils │ │ ├── .gitignore │ │ ├── BoostingUtils.java │ │ ├── CommandLineArguments.java │ │ ├── ConvertProximityXMLToFacts.java │ │ ├── ExampleSubSampler.java │ │ ├── LineSearch.java │ │ ├── MergeTreeStatsToCSV.java │ │ ├── NumberGroundingsCalculator.java │ │ ├── PhiFunction.java │ │ ├── ThresholdSelector.java │ │ └── createProximityXML.java │ └── notesOnVersionsDeliveredToSRI.txt │ ├── DataSetUtils │ ├── .gitignore │ ├── ArgSpec.java │ ├── ComputeAUC.java │ ├── ComputeDatasetSize.java │ ├── CreateBins.java │ ├── CreateSyntheticExamples.java │ ├── Example.java │ ├── ExamplesByFeatures.java │ ├── InverseTransformFunctionOutput.java │ ├── PredicateModes.java │ ├── RegressionExample.java │ ├── TypeManagement.java │ ├── WeightedSumModel.java │ ├── WorldState.java │ └── auc.jar │ ├── FOPC │ ├── .gitignore │ ├── AbstractTypedUserDefinedBooleanLiteral.java │ ├── AbstractTypedUserDefinedFunctionAsLiteral.java │ ├── AbstractTypedUserDefinedLiteral.java │ ├── AbstractUserDefinedBooleanLiteral.java │ ├── AbstractUserDefinedFunctionAsLiteral.java │ ├── AbstractUserDefinedLiteral.java │ ├── AllOfFOPC.java │ ├── ArgList.java │ ├── ArityFilter.java │ ├── Binding.java │ ├── BindingList.java │ ├── BuiltinProcedurallyDefinedPredicateHandler.java │ ├── CallbackRegister.java │ ├── Clause.java │ ├── ConnectedSentence.java │ ├── ConnectiveName.java │ ├── ConsCell.java │ ├── Constant.java │ ├── ConstantList.java │ ├── ConstructedLiteral.java │ ├── DefiniteClause.java │ ├── DoBuiltInListProcessing.java │ ├── DoBuiltInMath.java │ ├── ExistentialSentence.java │ ├── FOPCInputStream.java │ ├── Function.java │ ├── FunctionName.java │ ├── HandleFOPCstrings.java │ ├── Implication.java │ ├── IsaHetrarchy.java │ ├── ListAsSentence.java │ ├── ListAsTerm.java │ ├── Literal.java │ ├── LiteralAsTerm.java │ ├── LiteralComparator.java │ ├── LiteralOrFunction.java │ ├── LiteralToThreshold.java │ ├── NamedTerm.java │ ├── NamedTermList.java │ ├── NumericConstant.java │ ├── ObjectAsTerm.java │ ├── PredicateName.java │ ├── PredicateNameAndArity.java │ ├── PredicateNameAndArityFilter.java │ ├── PredicateSpec.java │ ├── PrettyPrinter.java │ ├── PrettyPrinterOptions.java │ ├── ProcedurallyDefinedPredicateHandler.java │ ├── PruneDuplicatesIfTrueRule.java │ ├── PruneIfTrueRule.java │ ├── Pruner.java │ ├── PruningRule.java │ ├── QuantifiedSentence.java │ ├── RecordBacktrackEntry.java │ ├── RecordEntry.java │ ├── RecordHandler.java │ ├── RecordReference.java │ ├── RecordReferenceMap.java │ ├── RelevanceStrength.java │ ├── RelevantLiteral.java │ ├── SLDQuery.java │ ├── Sentence.java │ ├── SentenceAsTerm.java │ ├── SentenceOrTerm.java │ ├── SentenceUnifier.java │ ├── StandardPredicateNames.java │ ├── StringConstant.java │ ├── Term.java │ ├── TermAsLiteral.java │ ├── TermAsSentence.java │ ├── TermToBooleanTypeConverter.java │ ├── TermToDoubleTypeConverter.java │ ├── TermToIntegerTypeConverter.java │ ├── TermToJavaTypeConverter.java │ ├── TermToStringTypeConverter.java │ ├── Theory.java │ ├── TreeStructuredTheory.java │ ├── TreeStructuredTheoryInteriorNode.java │ ├── TreeStructuredTheoryLeaf.java │ ├── TreeStructuredTheoryNode.java │ ├── Type.java │ ├── TypeSpec.java │ ├── Unifier.java │ ├── UniversalSentence.java │ ├── UserDefinedCacheResolver.java │ ├── UserDefinedLiteral.java │ ├── UserDefinedLiteralCache.java │ ├── VarList.java │ ├── Variable.java │ └── visitors │ │ ├── .gitignore │ │ ├── ArgumentNameClearer.java │ │ ├── DefaultFOPCVisitor.java │ │ ├── DefaultSentenceVisitor.java │ │ ├── DefaultTermVisitor.java │ │ ├── DefiniteClauseCostAggregator.java │ │ ├── DoubleNegationByFailureRemover.java │ │ ├── DuplicateDeterminateRemover.java │ │ ├── ElementAndPath.java │ │ ├── ElementFinder.java │ │ ├── ElementPath.java │ │ ├── ElementPositionListener.java │ │ ├── ElementPositionVisitor.java │ │ ├── ElementRemover.java │ │ ├── Inliner.java │ │ ├── PredicateCollector.java │ │ ├── ReplaceLiteralsVisitor.java │ │ ├── ReplacePredicatesVisitor.java │ │ ├── SentencePruner.java │ │ ├── SentenceVisitor.java │ │ ├── StopVisitingException.java │ │ ├── TermPosition.java │ │ ├── TermReplacer.java │ │ ├── TermVisitor.java │ │ ├── VariableCollector.java │ │ └── VariableCounter.java │ ├── FOPC_MLN_ILP_Parser │ ├── .gitignore │ ├── FileParser.java │ ├── ParsingException.java │ ├── StreamTokenizerJWS.java │ ├── StreamTokenizerTAW.java │ ├── arithmeticInLogic.fopcLibrary │ ├── bootstrapBKinLogic.fopcLibrary │ ├── comparisonInLogic.fopcLibrary │ ├── differentInLogic.fopcLibrary │ ├── inlines_arithmeticInLogic.fopcLibrary │ ├── inlines_comparisonInLogic.fopcLibrary │ ├── inlines_differentInLogic.fopcLibrary │ ├── inlines_listsInLogic.fopcLibrary │ ├── listsInLogic.fopcLibrary │ ├── modes_advancedArithmeticInLogic.fopcLibrary │ ├── modes_advancedListsInLogic.fopcLibrary │ ├── modes_arithmeticInLogic.fopcLibrary │ ├── modes_comparisonInLogic.fopcLibrary │ ├── modes_differentInLogic.fopcLibrary │ ├── modes_listsInLogic.fopcLibrary │ ├── relevances_arithmeticInLogic.fopcLibrary │ ├── relevances_comparisonInLogic.fopcLibrary │ ├── relevances_differentInLogic.fopcLibrary │ └── relevances_listsInLogic.fopcLibrary │ ├── GroundRelationalRandomWalks │ └── RunGroundRelationalRandomWalks.java │ ├── ILP │ ├── .gitignore │ ├── ActiveAdvice.java │ ├── AdviceProcessor.java │ ├── AnnotatedLiteral.java │ ├── BottomClauseUnused.java │ ├── CVMaximumObtainableAverageCoverageStoppingCondition.java │ ├── ChildrenClausesGenerator.java │ ├── ClauseOptimiser.java │ ├── CoverageScore.java │ ├── CrossValidation.java │ ├── CrossValidationExampleSets.java │ ├── CrossValidationFoldResult.java │ ├── CrossValidationLoopState.java │ ├── CrossValidationResult.java │ ├── DefaultLoopState.java │ ├── EarlyStoppingConditionMet.java │ ├── Experimenter.java │ ├── ExperimenterMR.java │ ├── Gleaner.java │ ├── GleanerFileNameProvider.java │ ├── ILPCrossValidationLoop.java │ ├── ILPLoop.java │ ├── ILPLoopState.java │ ├── ILPMain.java │ ├── ILPObjectInputStream.java │ ├── ILPPruningRule.java │ ├── ILPSearchAction.java │ ├── ILPSearchListener.java │ ├── ILPouterLoop.java │ ├── ILPouterLoopState.java │ ├── ILPparameterSettings.java │ ├── ILPprocedurallyDefinedPredicateHandler.java │ ├── IncongruentSavedStateException.java │ ├── InitializeILPsearchSpace.java │ ├── InlineManager.java │ ├── LearnOneClause.java │ ├── LearnedClause.java │ ├── ModeConstraint.java │ ├── MutuallyExclusiveModeConstraint.java │ ├── NewMain.java │ ├── NonOperationalExpander.java │ ├── OnionFilter.java │ ├── Precompute.java │ ├── PruneILPsearchTree.java │ ├── Regression │ │ ├── .gitignore │ │ ├── BranchStats.java │ │ ├── BranchVectorStats.java │ │ ├── RegressionInfoHolder.java │ │ ├── RegressionInfoHolderForMLN.java │ │ ├── RegressionInfoHolderForRDN.java │ │ └── RegressionVectorInfoHolderForRDN.java │ ├── RelevantClauseInformation.java │ ├── RelevantFeatureInformation.java │ ├── RelevantInformation.java │ ├── RelevantModeInformation.java │ ├── SavedClause.java │ ├── ScoreOCCNode.java │ ├── ScoreRegressionNode.java │ ├── ScoreSingleClause.java │ ├── ScoreSingleClauseByAccuracy.java │ ├── ScoreSingleClauseByFbeta.java │ ├── ScoreSingleClauseByPminusNminusL.java │ ├── SentenceCompressor.java │ ├── SingleClauseNode.java │ ├── SingleClauseRootNode.java │ ├── SingleFoldPartialSplitExampleSet.java │ ├── StoppingCondition.java │ ├── TAWExperimenter.java │ ├── ThresholdManager.java │ ├── TreeStructuredLearningTask.java │ ├── TuneParametersForILP.java │ ├── VisitedClauses.java │ ├── VisitedClausesDoubleCheck.java │ └── readmeCheckpointingAndCrossValidation.txt │ ├── MLN_Inference │ ├── .gitignore │ ├── AllOfInference.java │ ├── BruteForceInference.java │ ├── Gibbs.java │ ├── GibbsInference.java │ ├── Infer.java │ ├── Inference.java │ ├── InferenceResult.java │ ├── InferenceResultComparator.java │ ├── MCMCInference.java │ ├── MCSAT.java │ ├── MCSATInference.java │ ├── MaxWalkSAT.java │ ├── SAT.java │ ├── SampleSAT.java │ └── UniqueGroundClauses.java │ ├── MLN_StructureLearning │ ├── .gitignore │ └── LearnDiscriminantMLNs.java │ ├── MLN_Task │ ├── .gitignore │ ├── Block.java │ ├── GroundClause.java │ ├── GroundLiteral.java │ ├── GroundLiteralComparator.java │ ├── GroundThisMarkovNetwork.java │ ├── GroundedMarkovNetwork.java │ ├── MLN_Task.java │ ├── MLNreductionProblemTooLargeException.java │ ├── PredNameArityPair.java │ ├── ProcessCommandLineString.java │ ├── TimeStamp.java │ └── Wrapper.java │ ├── MLN_WeightLearning │ ├── .gitignore │ ├── DiscriminativeWeightLearning.java │ ├── PSCG.java │ ├── VotedPerceptron.java │ └── WeightLearner.java │ ├── ResThmProver │ ├── .gitignore │ ├── AssertRetractListener.java │ ├── ClausebaseIndexInfo.java │ ├── DebuggingAbstractMap.java │ ├── DebuggingHashMap.java │ ├── DefaultHornClauseContext.java │ ├── DefaultHornClausebase.java │ ├── DefaultHornClausebaseIndexer.java │ ├── DefaultProof.java │ ├── DefiniteClauseList.java │ ├── DefiniteClauseToClauseIterable.java │ ├── DefiniteClauseToLiteralIterable.java │ ├── GroundClauseIndex.java │ ├── GroundNthArgumentClauseIndex.java │ ├── HornClauseContext.java │ ├── HornClauseProver.java │ ├── HornClauseProverChildrenGenerator.java │ ├── HornClausebase.java │ ├── HornClausebaseIndexer.java │ ├── HornSearchNode.java │ ├── ImprovedHornClausebase.java │ ├── InitHornProofSpace.java │ ├── InteractivePrompt.java │ ├── LazyGroundClauseIndex.java │ ├── LazyGroundNthArgumentClauseIndex.java │ ├── LazyHornClausebase.java │ ├── LazyHornClausebaseIndexer.java │ ├── MapOfDefiniteClauseLists.java │ ├── NewMain.java │ ├── PredicateIndex.java │ ├── Proof.java │ ├── ProofDone.java │ ├── ProofListener.java │ ├── ProofMonitor.java │ ├── UserHornClauseProver.java │ └── VariantClauseAction.java │ ├── Utils │ ├── .gitignore │ ├── AlphanumComparator.java │ ├── CrossProductViaContinuation.java │ ├── Filter.java │ ├── GzippedBufferedWriter.java │ ├── LinkedMapOfSets.java │ ├── MapOfLists.java │ ├── MapOfSets.java │ ├── MessageType.java │ ├── NamedInputStream.java │ ├── NamedReader.java │ ├── Permute.java │ ├── ProbDistribution.java │ ├── RegressionValueOrVector.java │ ├── Stopwatch.java │ ├── StringPair.java │ ├── TimeScale.java │ ├── Utils.java │ ├── VectorStatistics.java │ ├── WILLinterruption.java │ ├── WILLjumpOutOfHere.java │ ├── WILLthrownError.java │ ├── check_disc.java │ ├── condor │ │ ├── .gitignore │ │ ├── CompressedFileReader.java │ │ ├── CompressedInputStream.java │ │ ├── CompressedOutputStream.java │ │ ├── CompressionUtilities.java │ │ ├── CondorFile.java │ │ ├── CondorFileInputStream.java │ │ ├── CondorFileOutputStream.java │ │ ├── CondorFileReader.java │ │ ├── CondorFileWriter.java │ │ ├── CondorUtilities.java │ │ ├── TestCondor.java │ │ └── chirp │ │ │ ├── .gitignore │ │ │ ├── ChirpClient.java │ │ │ ├── ChirpConfig.java │ │ │ ├── ChirpInputStream.java │ │ │ └── ChirpOutputStream.java │ ├── disc.java │ └── parameters │ │ ├── .gitignore │ │ ├── BooleanParameter.java │ │ ├── DoubleParameter.java │ │ ├── EnumParameter.java │ │ ├── IllegalParameterException.java │ │ ├── IntegerParameter.java │ │ ├── Parameter.java │ │ ├── ParameterBuilder.java │ │ ├── ParameterList.java │ │ ├── ParameterRequiredException.java │ │ └── StringParameter.java │ └── stdAIsearch │ ├── .gitignore │ ├── BestFirstSearch.java │ ├── BreadthFirstSearch.java │ ├── ChildrenNodeGenerator.java │ ├── ClosedList.java │ ├── DepthFirstSearch.java │ ├── EndTest.java │ ├── HeuristicSearch.java │ ├── HillClimbing.java │ ├── Initializer.java │ ├── OpenList.java │ ├── ScoringFunction.java │ ├── SearchInterrupted.java │ ├── SearchMonitor.java │ ├── SearchNode.java │ ├── SearchResult.java │ ├── SearchStrategy.java │ ├── StateBasedSearchInputStream.java │ ├── StateBasedSearchTask.java │ └── StochasticSearch.java └── graphdbInt ├── .gitignore ├── GenerateSchema.java ├── GraphDB.java ├── clause.java └── getMLN.java /.github/CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/.github/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/.github/CONTRIBUTING.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/.github/ISSUE_TEMPLATE.md -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/README.md -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/WILLManual/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/README.txt -------------------------------------------------------------------------------- /docs/WILLManual/User_Manual_of_WILL_0.1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/User_Manual_of_WILL_0.1.pdf -------------------------------------------------------------------------------- /docs/WILLManual/algorithm.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/algorithm.sty -------------------------------------------------------------------------------- /docs/WILLManual/algorithmic.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/algorithmic.sty -------------------------------------------------------------------------------- /docs/WILLManual/figs/new_run_configuration.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/figs/new_run_configuration.png -------------------------------------------------------------------------------- /docs/WILLManual/figs/open_run_configurations.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/figs/open_run_configurations.png -------------------------------------------------------------------------------- /docs/WILLManual/figs/run_configuration_arguments.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/figs/run_configuration_arguments.png -------------------------------------------------------------------------------- /docs/WILLManual/figs/run_configuration_ilpmain.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/figs/run_configuration_ilpmain.png -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.aux -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.bbl -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.blg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.blg -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.dvi -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.log -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.out -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.pdf -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.tcp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.tcp -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.tex -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.toc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.toc -------------------------------------------------------------------------------- /docs/WILLManual/will-manual.tps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will-manual.tps -------------------------------------------------------------------------------- /docs/WILLManual/will.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will.bib -------------------------------------------------------------------------------- /docs/WILLManual/will_definitions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/will_definitions.tex -------------------------------------------------------------------------------- /docs/WILLManual/willmanualproject/willmanualproject.tcp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/willmanualproject/willmanualproject.tcp -------------------------------------------------------------------------------- /docs/WILLManual/willmanualproject/willmanualproject.tex: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /docs/WILLManual/willmanualproject/willmanualproject.tps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WILLManual/willmanualproject/willmanualproject.tps -------------------------------------------------------------------------------- /docs/WikiHowTo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/docs/WikiHowTo.md -------------------------------------------------------------------------------- /lib/commons-codec-1.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/commons-codec-1.6.jar -------------------------------------------------------------------------------- /lib/commons-collections4-4.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/commons-collections4-4.1.jar -------------------------------------------------------------------------------- /lib/commons-csv-1.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/commons-csv-1.0.jar -------------------------------------------------------------------------------- /lib/commons-lang3-3.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/commons-lang3-3.1.jar -------------------------------------------------------------------------------- /lib/httpclient-4.2.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/httpclient-4.2.6.jar -------------------------------------------------------------------------------- /lib/httpclient-cache-4.2.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/httpclient-cache-4.2.6.jar -------------------------------------------------------------------------------- /lib/httpcore-4.2.5.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/httpcore-4.2.5.jar -------------------------------------------------------------------------------- /lib/jackson-annotations-2.3.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jackson-annotations-2.3.0.jar -------------------------------------------------------------------------------- /lib/jackson-core-2.3.3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jackson-core-2.3.3.jar -------------------------------------------------------------------------------- /lib/jackson-databind-2.3.3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jackson-databind-2.3.3.jar -------------------------------------------------------------------------------- /lib/jcl-over-slf4j-1.7.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jcl-over-slf4j-1.7.6.jar -------------------------------------------------------------------------------- /lib/jena-arq-2.12.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jena-arq-2.12.1.jar -------------------------------------------------------------------------------- /lib/jena-core-2.12.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jena-core-2.12.1.jar -------------------------------------------------------------------------------- /lib/jena-iri-1.1.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jena-iri-1.1.1.jar -------------------------------------------------------------------------------- /lib/jena-sdb-1.5.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jena-sdb-1.5.1.jar -------------------------------------------------------------------------------- /lib/jena-tdb-1.1.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jena-tdb-1.1.1.jar -------------------------------------------------------------------------------- /lib/jsonld-java-sesame-0.5.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/jsonld-java-sesame-0.5.0.jar -------------------------------------------------------------------------------- /lib/libthrift-0.9.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/libthrift-0.9.1.jar -------------------------------------------------------------------------------- /lib/log4j-1.2.17.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/log4j-1.2.17.jar -------------------------------------------------------------------------------- /lib/slf4j-api-1.7.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/slf4j-api-1.7.6.jar -------------------------------------------------------------------------------- /lib/slf4j-log4j12-1.7.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/slf4j-log4j12-1.7.6.jar -------------------------------------------------------------------------------- /lib/xercesImpl-2.11.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/xercesImpl-2.11.0.jar -------------------------------------------------------------------------------- /lib/xml-apis-1.4.01.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/lib/xml-apis-1.4.01.jar -------------------------------------------------------------------------------- /license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/license.txt -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/pom.xml -------------------------------------------------------------------------------- /src/edu/iu/cs/RelationalRandomWalks/CommandLineArguments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/iu/cs/RelationalRandomWalks/CommandLineArguments.java -------------------------------------------------------------------------------- /src/edu/iu/cs/RelationalRandomWalks/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/iu/cs/RelationalRandomWalks/Edge.java -------------------------------------------------------------------------------- /src/edu/iu/cs/RelationalRandomWalks/GenerateRandomWalks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/iu/cs/RelationalRandomWalks/GenerateRandomWalks.java -------------------------------------------------------------------------------- /src/edu/iu/cs/RelationalRandomWalks/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/iu/cs/RelationalRandomWalks/Graph.java -------------------------------------------------------------------------------- /src/edu/iu/cs/RelationalRandomWalks/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/iu/cs/RelationalRandomWalks/Node.java -------------------------------------------------------------------------------- /src/edu/iu/cs/RelationalRandomWalks/Predicates.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/iu/cs/RelationalRandomWalks/Predicates.java -------------------------------------------------------------------------------- /src/edu/iu/cs/RelationalRandomWalks/RelationalRandomWalks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/iu/cs/RelationalRandomWalks/RelationalRandomWalks.java -------------------------------------------------------------------------------- /src/edu/iu/cs/RelationalRandomWalks/RunRelationalRandomWalks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/iu/cs/RelationalRandomWalks/RunRelationalRandomWalks.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Advice/.gitignore: -------------------------------------------------------------------------------- 1 | /AdviceReader.class 2 | -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Advice/AdviceReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Advice/AdviceReader.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Common/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Common/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Common/RunBoostedModels.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Common/RunBoostedModels.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Common/SRLInference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Common/SRLInference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/EM/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/EM/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/EM/HiddenLiteralSamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/EM/HiddenLiteralSamples.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/EM/HiddenLiteralState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/EM/HiddenLiteralState.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/KBAdvice/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/KBAdvice/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/KBAdvice/Advice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/KBAdvice/Advice.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/KBAdvice/AdviceInstance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/KBAdvice/AdviceInstance.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/MLN/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/MLN/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/MLN/MLNInference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/MLN/MLNInference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/MLN/RunBoostedMLN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/MLN/RunBoostedMLN.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/OneClass/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/OneClass/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/OneClass/BuildPairWiseScore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/OneClass/BuildPairWiseScore.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/OneClass/FeatureVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/OneClass/FeatureVector.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/OneClass/InferOCCModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/OneClass/InferOCCModel.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/OneClass/KernelEstimator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/OneClass/KernelEstimator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/OneClass/LearnOCCModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/OneClass/LearnOCCModel.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/OneClass/PairWiseExampleScore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/OneClass/PairWiseExampleScore.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/OneClass/PropositionalizationModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/OneClass/PropositionalizationModel.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/OneClass/RunOneClassModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/OneClass/RunOneClassModel.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/BoostingPrecomputeManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/BoostingPrecomputeManager.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/CombinedTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/CombinedTree.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/ConditionalModelPerPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/ConditionalModelPerPredicate.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/InferBoostedRDN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/InferBoostedRDN.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/JointModelSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/JointModelSampler.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/JointRDNModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/JointRDNModel.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/LearnBoostedRDN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/LearnBoostedRDN.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/Models/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/Models/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyExampleNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyExampleNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyNetwork.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyNetwork.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyNetworkEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyNetworkEdge.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyPredicateNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/Models/DependencyPredicateNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/Models/GroundDependencyNetwork.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/Models/GroundDependencyNetwork.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/Models/PhiFunctionForRDN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/Models/PhiFunctionForRDN.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/Models/RelationalDependencyNetwork.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/Models/RelationalDependencyNetwork.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/MultiClassExampleHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/MultiClassExampleHandler.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/RDNBoost API Doc.docx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/RDNBoost API Doc.docx -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/RegressionRDNExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/RegressionRDNExample.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/RunBoostedRDN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/RunBoostedRDN.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/SingleModelSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/SingleModelSampler.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/RDN/WILLSetup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/RDN/WILLSetup.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Regression/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Regression/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Regression/InferRegressionTrees.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Regression/InferRegressionTrees.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Regression/RegressionTreeInference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Regression/RegressionTreeInference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Regression/RunBoostedRegressionTrees.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Regression/RunBoostedRegressionTrees.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Trees/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Trees/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Trees/ClauseBasedTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Trees/ClauseBasedTree.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Trees/FeatureTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Trees/FeatureTree.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Trees/LearnRegressionTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Trees/LearnRegressionTree.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Trees/RegressionMLNModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Trees/RegressionMLNModel.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Trees/RegressionTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Trees/RegressionTree.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Trees/RegressionWillTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Trees/RegressionWillTree.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Trees/RegressionYapTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Trees/RegressionYapTree.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/BoostingUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/BoostingUtils.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/CommandLineArguments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/CommandLineArguments.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/ConvertProximityXMLToFacts.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/ConvertProximityXMLToFacts.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/ExampleSubSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/ExampleSubSampler.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/LineSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/LineSearch.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/MergeTreeStatsToCSV.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/MergeTreeStatsToCSV.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/NumberGroundingsCalculator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/NumberGroundingsCalculator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/PhiFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/PhiFunction.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/ThresholdSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/ThresholdSelector.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/Utils/createProximityXML.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/Utils/createProximityXML.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Boosting/notesOnVersionsDeliveredToSRI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Boosting/notesOnVersionsDeliveredToSRI.txt -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/ArgSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/ArgSpec.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/ComputeAUC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/ComputeAUC.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/ComputeDatasetSize.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/ComputeDatasetSize.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/CreateBins.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/CreateBins.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/CreateSyntheticExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/CreateSyntheticExamples.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/Example.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/Example.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/ExamplesByFeatures.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/ExamplesByFeatures.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/InverseTransformFunctionOutput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/InverseTransformFunctionOutput.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/PredicateModes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/PredicateModes.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/RegressionExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/RegressionExample.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/TypeManagement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/TypeManagement.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/WeightedSumModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/WeightedSumModel.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/WorldState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/WorldState.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/DataSetUtils/auc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/DataSetUtils/auc.jar -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/AbstractTypedUserDefinedBooleanLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/AbstractTypedUserDefinedBooleanLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/AbstractTypedUserDefinedFunctionAsLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/AbstractTypedUserDefinedFunctionAsLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/AbstractTypedUserDefinedLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/AbstractTypedUserDefinedLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/AbstractUserDefinedBooleanLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/AbstractUserDefinedBooleanLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/AbstractUserDefinedFunctionAsLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/AbstractUserDefinedFunctionAsLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/AbstractUserDefinedLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/AbstractUserDefinedLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/AllOfFOPC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/AllOfFOPC.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ArgList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ArgList.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ArityFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ArityFilter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Binding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Binding.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/BindingList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/BindingList.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/BuiltinProcedurallyDefinedPredicateHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/BuiltinProcedurallyDefinedPredicateHandler.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/CallbackRegister.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/CallbackRegister.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Clause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Clause.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ConnectedSentence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ConnectedSentence.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ConnectiveName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ConnectiveName.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ConsCell.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ConsCell.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Constant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Constant.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ConstantList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ConstantList.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ConstructedLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ConstructedLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/DefiniteClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/DefiniteClause.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/DoBuiltInListProcessing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/DoBuiltInListProcessing.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/DoBuiltInMath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/DoBuiltInMath.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ExistentialSentence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ExistentialSentence.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/FOPCInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/FOPCInputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Function.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Function.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/FunctionName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/FunctionName.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/HandleFOPCstrings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/HandleFOPCstrings.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Implication.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Implication.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/IsaHetrarchy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/IsaHetrarchy.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ListAsSentence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ListAsSentence.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ListAsTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ListAsTerm.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Literal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Literal.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/LiteralAsTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/LiteralAsTerm.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/LiteralComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/LiteralComparator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/LiteralOrFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/LiteralOrFunction.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/LiteralToThreshold.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/LiteralToThreshold.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/NamedTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/NamedTerm.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/NamedTermList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/NamedTermList.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/NumericConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/NumericConstant.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ObjectAsTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ObjectAsTerm.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/PredicateName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/PredicateName.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/PredicateNameAndArity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/PredicateNameAndArity.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/PredicateNameAndArityFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/PredicateNameAndArityFilter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/PredicateSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/PredicateSpec.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/PrettyPrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/PrettyPrinter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/PrettyPrinterOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/PrettyPrinterOptions.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/ProcedurallyDefinedPredicateHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/ProcedurallyDefinedPredicateHandler.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/PruneDuplicatesIfTrueRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/PruneDuplicatesIfTrueRule.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/PruneIfTrueRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/PruneIfTrueRule.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Pruner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Pruner.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/PruningRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/PruningRule.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/QuantifiedSentence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/QuantifiedSentence.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/RecordBacktrackEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/RecordBacktrackEntry.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/RecordEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/RecordEntry.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/RecordHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/RecordHandler.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/RecordReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/RecordReference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/RecordReferenceMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/RecordReferenceMap.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/RelevanceStrength.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/RelevanceStrength.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/RelevantLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/RelevantLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/SLDQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/SLDQuery.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Sentence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Sentence.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/SentenceAsTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/SentenceAsTerm.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/SentenceOrTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/SentenceOrTerm.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/SentenceUnifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/SentenceUnifier.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/StandardPredicateNames.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/StandardPredicateNames.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/StringConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/StringConstant.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Term.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TermAsLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TermAsLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TermAsSentence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TermAsSentence.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TermToBooleanTypeConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TermToBooleanTypeConverter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TermToDoubleTypeConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TermToDoubleTypeConverter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TermToIntegerTypeConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TermToIntegerTypeConverter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TermToJavaTypeConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TermToJavaTypeConverter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TermToStringTypeConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TermToStringTypeConverter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Theory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Theory.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TreeStructuredTheory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TreeStructuredTheory.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TreeStructuredTheoryInteriorNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TreeStructuredTheoryInteriorNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TreeStructuredTheoryLeaf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TreeStructuredTheoryLeaf.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TreeStructuredTheoryNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TreeStructuredTheoryNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Type.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/TypeSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/TypeSpec.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Unifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Unifier.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/UniversalSentence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/UniversalSentence.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/UserDefinedCacheResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/UserDefinedCacheResolver.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/UserDefinedLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/UserDefinedLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/UserDefinedLiteralCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/UserDefinedLiteralCache.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/VarList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/VarList.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/Variable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/Variable.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/ArgumentNameClearer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/ArgumentNameClearer.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/DefaultFOPCVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/DefaultFOPCVisitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/DefaultSentenceVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/DefaultSentenceVisitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/DefaultTermVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/DefaultTermVisitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/DefiniteClauseCostAggregator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/DefiniteClauseCostAggregator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/DoubleNegationByFailureRemover.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/DoubleNegationByFailureRemover.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/DuplicateDeterminateRemover.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/DuplicateDeterminateRemover.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/ElementAndPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/ElementAndPath.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/ElementFinder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/ElementFinder.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/ElementPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/ElementPath.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/ElementPositionListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/ElementPositionListener.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/ElementPositionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/ElementPositionVisitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/ElementRemover.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/ElementRemover.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/Inliner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/Inliner.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/PredicateCollector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/PredicateCollector.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/ReplaceLiteralsVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/ReplaceLiteralsVisitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/ReplacePredicatesVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/ReplacePredicatesVisitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/SentencePruner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/SentencePruner.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/SentenceVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/SentenceVisitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/StopVisitingException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/StopVisitingException.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/TermPosition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/TermPosition.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/TermReplacer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/TermReplacer.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/TermVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/TermVisitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/VariableCollector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/VariableCollector.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC/visitors/VariableCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC/visitors/VariableCounter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/FileParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/FileParser.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/ParsingException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/ParsingException.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/StreamTokenizerJWS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/StreamTokenizerJWS.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/StreamTokenizerTAW.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/StreamTokenizerTAW.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/arithmeticInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/arithmeticInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/bootstrapBKinLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/bootstrapBKinLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/comparisonInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/comparisonInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/differentInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/differentInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/inlines_arithmeticInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/inlines_arithmeticInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/inlines_comparisonInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/inlines_comparisonInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/inlines_differentInLogic.fopcLibrary: -------------------------------------------------------------------------------- 1 | 2 | usePrologVariables: true. 3 | -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/inlines_listsInLogic.fopcLibrary: -------------------------------------------------------------------------------- 1 | 2 | usePrologVariables: true. 3 | -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/listsInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/listsInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_advancedArithmeticInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_advancedArithmeticInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_advancedListsInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_advancedListsInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_arithmeticInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_arithmeticInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_comparisonInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_comparisonInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_differentInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_differentInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_listsInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/modes_listsInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/relevances_arithmeticInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/relevances_arithmeticInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/relevances_comparisonInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/relevances_comparisonInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/relevances_differentInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/relevances_differentInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/relevances_listsInLogic.fopcLibrary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/FOPC_MLN_ILP_Parser/relevances_listsInLogic.fopcLibrary -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/GroundRelationalRandomWalks/RunGroundRelationalRandomWalks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/GroundRelationalRandomWalks/RunGroundRelationalRandomWalks.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ActiveAdvice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ActiveAdvice.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/AdviceProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/AdviceProcessor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/AnnotatedLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/AnnotatedLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/BottomClauseUnused.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/BottomClauseUnused.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/CVMaximumObtainableAverageCoverageStoppingCondition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/CVMaximumObtainableAverageCoverageStoppingCondition.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ChildrenClausesGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ChildrenClausesGenerator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ClauseOptimiser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ClauseOptimiser.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/CoverageScore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/CoverageScore.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/CrossValidation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/CrossValidation.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/CrossValidationExampleSets.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/CrossValidationExampleSets.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/CrossValidationFoldResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/CrossValidationFoldResult.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/CrossValidationLoopState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/CrossValidationLoopState.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/CrossValidationResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/CrossValidationResult.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/DefaultLoopState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/DefaultLoopState.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/EarlyStoppingConditionMet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/EarlyStoppingConditionMet.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Experimenter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Experimenter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ExperimenterMR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ExperimenterMR.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Gleaner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Gleaner.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/GleanerFileNameProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/GleanerFileNameProvider.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPCrossValidationLoop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPCrossValidationLoop.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPLoop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPLoop.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPLoopState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPLoopState.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPMain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPMain.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPObjectInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPObjectInputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPPruningRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPPruningRule.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPSearchAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPSearchAction.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPSearchListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPSearchListener.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPouterLoop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPouterLoop.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPouterLoopState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPouterLoopState.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPparameterSettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPparameterSettings.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ILPprocedurallyDefinedPredicateHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ILPprocedurallyDefinedPredicateHandler.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/IncongruentSavedStateException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/IncongruentSavedStateException.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/InitializeILPsearchSpace.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/InitializeILPsearchSpace.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/InlineManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/InlineManager.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/LearnOneClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/LearnOneClause.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/LearnedClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/LearnedClause.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ModeConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ModeConstraint.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/MutuallyExclusiveModeConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/MutuallyExclusiveModeConstraint.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/NewMain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/NewMain.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/NonOperationalExpander.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/NonOperationalExpander.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/OnionFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/OnionFilter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Precompute.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Precompute.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/PruneILPsearchTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/PruneILPsearchTree.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Regression/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Regression/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Regression/BranchStats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Regression/BranchStats.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Regression/BranchVectorStats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Regression/BranchVectorStats.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Regression/RegressionInfoHolder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Regression/RegressionInfoHolder.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Regression/RegressionInfoHolderForMLN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Regression/RegressionInfoHolderForMLN.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Regression/RegressionInfoHolderForRDN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Regression/RegressionInfoHolderForRDN.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/Regression/RegressionVectorInfoHolderForRDN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/Regression/RegressionVectorInfoHolderForRDN.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/RelevantClauseInformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/RelevantClauseInformation.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/RelevantFeatureInformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/RelevantFeatureInformation.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/RelevantInformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/RelevantInformation.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/RelevantModeInformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/RelevantModeInformation.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/SavedClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/SavedClause.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ScoreOCCNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ScoreOCCNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ScoreRegressionNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ScoreRegressionNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ScoreSingleClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ScoreSingleClause.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ScoreSingleClauseByAccuracy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ScoreSingleClauseByAccuracy.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ScoreSingleClauseByFbeta.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ScoreSingleClauseByFbeta.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ScoreSingleClauseByPminusNminusL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ScoreSingleClauseByPminusNminusL.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/SentenceCompressor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/SentenceCompressor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/SingleClauseNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/SingleClauseNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/SingleClauseRootNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/SingleClauseRootNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/SingleFoldPartialSplitExampleSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/SingleFoldPartialSplitExampleSet.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/StoppingCondition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/StoppingCondition.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/TAWExperimenter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/TAWExperimenter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/ThresholdManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/ThresholdManager.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/TreeStructuredLearningTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/TreeStructuredLearningTask.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/TuneParametersForILP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/TuneParametersForILP.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/VisitedClauses.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/VisitedClauses.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/VisitedClausesDoubleCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/VisitedClausesDoubleCheck.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ILP/readmeCheckpointingAndCrossValidation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ILP/readmeCheckpointingAndCrossValidation.txt -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/AllOfInference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/AllOfInference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/BruteForceInference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/BruteForceInference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/Gibbs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/Gibbs.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/GibbsInference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/GibbsInference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/Infer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/Infer.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/Inference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/Inference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/InferenceResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/InferenceResult.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/InferenceResultComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/InferenceResultComparator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/MCMCInference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/MCMCInference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/MCSAT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/MCSAT.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/MCSATInference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/MCSATInference.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/MaxWalkSAT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/MaxWalkSAT.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/SAT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/SAT.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/SampleSAT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/SampleSAT.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Inference/UniqueGroundClauses.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Inference/UniqueGroundClauses.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_StructureLearning/.gitignore: -------------------------------------------------------------------------------- 1 | /LearnDiscriminantMLNs.class 2 | -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_StructureLearning/LearnDiscriminantMLNs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_StructureLearning/LearnDiscriminantMLNs.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/Block.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/Block.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/GroundClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/GroundClause.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/GroundLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/GroundLiteral.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/GroundLiteralComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/GroundLiteralComparator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/GroundThisMarkovNetwork.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/GroundThisMarkovNetwork.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/GroundedMarkovNetwork.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/GroundedMarkovNetwork.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/MLN_Task.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/MLN_Task.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/MLNreductionProblemTooLargeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/MLNreductionProblemTooLargeException.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/PredNameArityPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/PredNameArityPair.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/ProcessCommandLineString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/ProcessCommandLineString.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/TimeStamp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/TimeStamp.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_Task/Wrapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_Task/Wrapper.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_WeightLearning/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_WeightLearning/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_WeightLearning/DiscriminativeWeightLearning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_WeightLearning/DiscriminativeWeightLearning.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_WeightLearning/PSCG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_WeightLearning/PSCG.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_WeightLearning/VotedPerceptron.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_WeightLearning/VotedPerceptron.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/MLN_WeightLearning/WeightLearner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/MLN_WeightLearning/WeightLearner.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/AssertRetractListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/AssertRetractListener.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/ClausebaseIndexInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/ClausebaseIndexInfo.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/DebuggingAbstractMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/DebuggingAbstractMap.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/DebuggingHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/DebuggingHashMap.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/DefaultHornClauseContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/DefaultHornClauseContext.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/DefaultHornClausebase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/DefaultHornClausebase.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/DefaultHornClausebaseIndexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/DefaultHornClausebaseIndexer.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/DefaultProof.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/DefaultProof.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/DefiniteClauseList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/DefiniteClauseList.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/DefiniteClauseToClauseIterable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/DefiniteClauseToClauseIterable.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/DefiniteClauseToLiteralIterable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/DefiniteClauseToLiteralIterable.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/GroundClauseIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/GroundClauseIndex.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/GroundNthArgumentClauseIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/GroundNthArgumentClauseIndex.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/HornClauseContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/HornClauseContext.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/HornClauseProver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/HornClauseProver.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/HornClauseProverChildrenGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/HornClauseProverChildrenGenerator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/HornClausebase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/HornClausebase.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/HornClausebaseIndexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/HornClausebaseIndexer.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/HornSearchNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/HornSearchNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/ImprovedHornClausebase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/ImprovedHornClausebase.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/InitHornProofSpace.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/InitHornProofSpace.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/InteractivePrompt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/InteractivePrompt.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/LazyGroundClauseIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/LazyGroundClauseIndex.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/LazyGroundNthArgumentClauseIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/LazyGroundNthArgumentClauseIndex.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/LazyHornClausebase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/LazyHornClausebase.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/LazyHornClausebaseIndexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/LazyHornClausebaseIndexer.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/MapOfDefiniteClauseLists.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/MapOfDefiniteClauseLists.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/NewMain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/NewMain.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/PredicateIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/PredicateIndex.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/Proof.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/Proof.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/ProofDone.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/ProofDone.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/ProofListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/ProofListener.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/ProofMonitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/ProofMonitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/UserHornClauseProver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/UserHornClauseProver.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/ResThmProver/VariantClauseAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/ResThmProver/VariantClauseAction.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/AlphanumComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/AlphanumComparator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/CrossProductViaContinuation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/CrossProductViaContinuation.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/Filter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/Filter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/GzippedBufferedWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/GzippedBufferedWriter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/LinkedMapOfSets.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/LinkedMapOfSets.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/MapOfLists.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/MapOfLists.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/MapOfSets.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/MapOfSets.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/MessageType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/MessageType.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/NamedInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/NamedInputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/NamedReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/NamedReader.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/Permute.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/Permute.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/ProbDistribution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/ProbDistribution.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/RegressionValueOrVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/RegressionValueOrVector.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/Stopwatch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/Stopwatch.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/StringPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/StringPair.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/TimeScale.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/TimeScale.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/Utils.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/VectorStatistics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/VectorStatistics.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/WILLinterruption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/WILLinterruption.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/WILLjumpOutOfHere.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/WILLjumpOutOfHere.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/WILLthrownError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/WILLthrownError.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/check_disc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/check_disc.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CompressedFileReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CompressedFileReader.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CompressedInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CompressedInputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CompressedOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CompressedOutputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CompressionUtilities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CompressionUtilities.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CondorFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CondorFile.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CondorFileInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CondorFileInputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CondorFileOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CondorFileOutputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CondorFileReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CondorFileReader.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CondorFileWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CondorFileWriter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/CondorUtilities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/CondorUtilities.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/TestCondor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/TestCondor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/chirp/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/chirp/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/chirp/ChirpClient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/chirp/ChirpClient.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/chirp/ChirpConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/chirp/ChirpConfig.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/chirp/ChirpInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/chirp/ChirpInputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/condor/chirp/ChirpOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/condor/chirp/ChirpOutputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/disc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/disc.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/BooleanParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/BooleanParameter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/DoubleParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/DoubleParameter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/EnumParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/EnumParameter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/IllegalParameterException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/IllegalParameterException.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/IntegerParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/IntegerParameter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/Parameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/Parameter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/ParameterBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/ParameterBuilder.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/ParameterList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/ParameterList.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/ParameterRequiredException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/ParameterRequiredException.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/Utils/parameters/StringParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/Utils/parameters/StringParameter.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/.gitignore -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/BestFirstSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/BestFirstSearch.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/BreadthFirstSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/BreadthFirstSearch.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/ChildrenNodeGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/ChildrenNodeGenerator.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/ClosedList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/ClosedList.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/DepthFirstSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/DepthFirstSearch.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/EndTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/EndTest.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/HeuristicSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/HeuristicSearch.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/HillClimbing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/HillClimbing.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/Initializer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/Initializer.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/OpenList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/OpenList.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/ScoringFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/ScoringFunction.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/SearchInterrupted.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/SearchInterrupted.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/SearchMonitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/SearchMonitor.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/SearchNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/SearchNode.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/SearchResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/SearchResult.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/SearchStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/SearchStrategy.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/StateBasedSearchInputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/StateBasedSearchInputStream.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/StateBasedSearchTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/StateBasedSearchTask.java -------------------------------------------------------------------------------- /src/edu/wisc/cs/will/stdAIsearch/StochasticSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/edu/wisc/cs/will/stdAIsearch/StochasticSearch.java -------------------------------------------------------------------------------- /src/graphdbInt/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/graphdbInt/.gitignore -------------------------------------------------------------------------------- /src/graphdbInt/GenerateSchema.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/graphdbInt/GenerateSchema.java -------------------------------------------------------------------------------- /src/graphdbInt/GraphDB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/graphdbInt/GraphDB.java -------------------------------------------------------------------------------- /src/graphdbInt/clause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/graphdbInt/clause.java -------------------------------------------------------------------------------- /src/graphdbInt/getMLN.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starling-lab/BoostSRL/HEAD/src/graphdbInt/getMLN.java --------------------------------------------------------------------------------