A Logical Framework for Convergent Infinite Computations

Wei Li Shilong Ma Yuefei Sui Ke Xu

Published in: CoRR (2001)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
higher order logic
linear logic
normative systems
epistemic logic
possibilistic logic
artificial intelligence
knowledge base
probability distribution
object oriented