Travelled to:1 × Austria
1 × Canada
1 × USA
Collaborated with:M.M.Ribeiro J.P.Delgrande ∅
Talks about:belief (3) revis (2) algorithm (1) function (1) contract (1) approach (1) classic (1) minim (1) logic (1) claus (1)
Person: Renata Wassermann
DBLP: Wassermann:Renata
Contributed to:
201420102000Wrote 3 papers:
- KR-2014-RibeiroW #logic
- Minimal Change in AGM Revision for Non-Classical Logics (MMR, RW).
- KR-2010-DelgrandeW #horn clause #set
- Horn Clause Contraction Functions: Belief Set and Belief Base Approaches (JPD, RW).
- KR-2000-Wassermann #algorithm
- An Algorithm for Belief Revision (RW), pp. 345–352.