dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marianne Winslett (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeng-cho Timothy Chou, Marianne Winslett: A Model-Based Belief Revision System. J. Autom. Reasoning 12(2): 157-208 (1994)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarianne Winslett, Seng-cho Timothy Chou: Updates with Equality: Beyond the Herbrand Universe Assumption. ISMIS 1991: 276-285
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeng-cho Timothy Chou, Marianne Winslett: Immortal: A Model-Based Belief Revision System. KR 1991: 99-110
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeng-cho Timothy Chou, Marianne Winslett: The Implementation of a Model-based Belief Revision System. SIGART Bulletin 2(3): 28-34 (1991)

Selection of 4 from 235 records - Marianne Winslett has 152 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page