Markov Logic Style Weighted Rules under the Stable Model Semantics.
Joohyung LeeYunsong MengYi WangPublished in: ICLP (Technical Communications) (2015)
Keyphrases
- markov logic
- normal logic programs
- logic programs
- logic programming
- inductive logic programming
- stable models
- semantics for logic programs
- fixpoint
- background knowledge
- coreference resolution
- entity resolution
- integrating multiple
- probabilistic graphical models
- first order logic
- stable model semantics
- web scale
- inference engine
- answer set programming
- answer sets
- markov networks
- default reasoning
- finite state machines
- statistical relational learning
- deductive databases
- horn clauses
- markov logic networks
- expressive power
- relational learning
- integrity constraints
- machine learning