A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic.
Zhiqiang ZhuangZhe WangKewen WangJames P. DelgrandePublished in: J. Artif. Intell. Res. (2019)
Keyphrases
- first order logic
- propositional logic
- horn contraction
- belief change
- belief revision
- horn logic
- mazurkiewicz traces
- temporal logic
- expressive power
- theorem proving
- probabilistic reasoning
- inference rules
- knowledge representation
- representation language
- theorem prover
- guarded fragment
- markov networks
- probabilistic graphical models
- belief update
- relational algebra
- quantifier elimination
- minimal change
- markov logic networks
- belief set
- horn clauses
- transitive closure
- database
- markov logic
- logical rules
- logic programming
- inductive logic programming