logo
Representing Meta-Knowledge in Poole-Systems
A Centipede for Intransitive Preferrers
Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions
Basic Infobase Change
Propositional Plausible Logic
Plausible Reasoning and the Resolution of Quantifier Scope Ambiguities
A Framework for Multi-Agent Belief Revision
Trends in Logic