A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources.

Laurence Cholvy

Published in: ECSQARU (2005)

Keyphrases

modal logic
small number
temporal logic
decision procedures
default logic
artificial intelligence
multi agent
information sources
inference rules
situation calculus
prime implicates