From Utterance to Belief via Presupposition: Default Logic in User-Modelling.
Andrew CsingerDavid PoolePublished in: KBCS (1989)
Keyphrases
- user modelling
- default logic
- truth maintenance systems
- default theories
- nonmonotonic reasoning
- user model
- autoepistemic logic
- default reasoning
- logic programming
- information retrieval systems
- nonmonotonic logics
- default rules
- information retrieval
- belief functions
- fixed point
- belief revision
- modal logic
- user oriented
- recommender systems
- domain specific
- constraint propagation
- propositional logic