Renata Wassermann

	2008
20		Marcelo Finger, Renata Wassermann: Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA 2008: 157-166
19		Márcio Moretto Ribeiro, Renata Wassermann: The Ontology Reviser Plug-In for Protégé. WONTO 2008
	2007
18		Marcelo Finger, Renata Wassermann: Anytime Approximations of Classical Logic from Above. J. Log. Comput. 17(1): 53-82 (2007)
	2006
17		Fábio Natanael Kepler, Christian Paz-Trillo, Joselyto Riani, Márcio Moretto Ribeiro, Karina Valdivia Delgado, Leliane Nunes de Barros, Renata Wassermann: Classifying Ontologies. WONTO 2006
16		Márcio Moretto Ribeiro, Renata Wassermann: First Steps Towards Revising Ontologies. WONTO 2006
15		Marcelo Finger, Renata Wassermann: The universe of propositional approximations. Theor. Comput. Sci. 355(2): 153-166 (2006)
	2005
14		Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger: Intelligent mobile multi-robotic systems: some challenges and possible solutions. ICINCO 2005: 479-485
	2004
13		Joselyto Riani, Renata Wassermann: Using Relevance to Speed Up Inference. Some Empirical Results. SBIA 2004: 21-30
12		Marcelo Finger, Renata Wassermann: Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. 14(2): 179-204 (2004)
	2003
11		Marcelo Finger, Renata Wassermann: The Universe of Approximations. Electr. Notes Theor. Comput. Sci. 84: (2003)
10		Renata Wassermann: Generalized Change and the Meaning of Rationality Postulates. Studia Logica 73(2): 299-319 (2003)
	2002
9		Marcelo Finger, Renata Wassermann: Expressivity and Control in Limited Reasoning. ECAI 2002: 272-276
8		Marcelo Finger, Renata Wassermann: Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA 2002: 21-30
7		Renata Wassermann, Samir Chopra: Attacking the Complexity of Prioritized Inference Preliminary Report. SBIA 2002: 31-40
6		Sven Ove Hansson, Renata Wassermann: Local Change. Studia Logica 70(1): 49-76 (2002)
	2001
5		Renata Wassermann: Local Diagnosis. Journal of Applied Non-Classical Logics 11(1-2): 107-129 (2001)
4		Samir Chopra, Rohit Parikh, Renata Wassermann: Approximate Belief Revision. Logic Journal of the IGPL 9(6): (2001)
	2000
3		Daniela V. Carbogim, Renata Wassermann: Full Acceptance via Argumentation. IBERAMIA-SBIA 2000 Open Discussion Track 2000: 127-136
2		Renata Wassermann: An Algorithm for Belief Revision. KR 2000: 345-352
1		Renata Wassermann: Local Diagnosis CoRR cs.AI/0003051: (2000)

Coauthor Index

1	Leliane Nunes de Barros	[14] [17]
2	Daniela V. Carbogim	[3]
3	Samir Chopra	[4] [7]
4	Karina Valdivia Delgado	[17]
5	Marcelo Finger	[8] [9] [11] [12] [14] [15] [18] [20]
6	Sven Ove Hansson	[6]
7	Fábio Natanael Kepler	[17]
8	Ana Cristina Vieira de Melo	[14]
9	Rohit Parikh	[4]
10	Christian Paz-Trillo	[17]
11	Joselyto Riani	[13] [17]
12	Márcio Moretto Ribeiro	[16] [17] [19]
13	Flávio S. Corrêa da Silva	[14]

Colors in the list of coauthors