Wassermann, Renata
50  results:
Search for persons X
?
3

Revising System Specifications in Temporal Logic:

Guerra, Paulo T. ; Wassermann, Renata
Journal of Logic, Language and Information.  31 (2022)  4 - p. 591-618 , 2022
 
?
4

Hyperintensional Models and Belief Change:

, In: Intelligent Systems; Lecture Notes in Computer Science,
Souza, Marlo ; Wassermann, Renata - p. 429-443 , 2022
 
?
5

Logic, Language, Information, and Computation: 27th Interna.. 

Theoretical Computer Science and General Issues, 13038
 
?
6

Preface to special issue: LSFA 2017 and 2018:

Alves, Sandra ; Wassermann, Renata
Mathematical Structures in Computer Science.  31 (2021)  3 - p. 255-256 , 2021
 
?
7

Two AGM-style characterizations of model repair:

Guerra, Paulo T. ; Wassermann, Renata
Annals of Mathematics and Artificial Intelligence.  87 (2019)  3 - p. 233-257 , 2019
 
?
8

Pseudo-contractions as Gentle Repairs:

, In: Lecture Notes in Computer Science; Description Logic, Theory Combination, and All That,
 
?
9

Partial meet pseudo-contractions:

Santos, Yuri David ; Matos, Vinícius Bitencourt ; Ribeiro, Márcio Moretto.
International Journal of Approximate Reasoning.  103 (2018)  - p. 11-27 , 2018
 
?
10

On the logic of theory change: iteration of expansion:

Fermé, Eduardo ; Wassermann, Renata
Journal of the Brazilian Computer Society.  24 (2018)  1 - p. , 2018
 
?
13

On AGM for Non-Classical Logics:

Wassermann, Renata
Journal of Philosophical Logic.  40 (2011)  2 - p. 271-294 , 2011
 
?
14

On AGM for Non-Classical Logics:

Wassermann, Renata
Journal of Philosophical Logic.  40 (2011)  2 - p. 271-294 , 2011
 
?
15

The universe of propositional approximations:

Finger, Marcelo ; Wassermann, Renata
Theoretical Computer Science.  355 (2006)  2 - p. 153-166 , 2006
 
1-15