Language Splitting and Relevance-Based Belief Change in Horn Logic.

Maonian Wu Dongmo Zhang Mingyi Zhang

Published in: AAAI (2011)

Keyphrases

horn logic
belief change
belief revision
propositional logic
ontological reasoning
programming language
belief update
minimal change
natural language
bayesian networks
domain knowledge
first order logic
machine learning
probability theory
belief base
ontology matching
ontology reasoning
artificial intelligence