| 2008 |
|---|
| 20 | EE | Marcelo Finger,
Renata Wassermann:
Revising Specifications with CTL Properties Using Bounded Model Checking.
SBIA 2008: 157-166 |
| 19 | EE | Márcio Moretto Ribeiro,
Renata Wassermann:
The Ontology Reviser Plug-In for Protégé.
WONTO 2008 |
| 2007 |
|---|
| 18 | EE | Marcelo Finger,
Renata Wassermann:
Anytime Approximations of Classical Logic from Above.
J. Log. Comput. 17(1): 53-82 (2007) |
| 2006 |
|---|
| 17 | EE | 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 | EE | Márcio Moretto Ribeiro,
Renata Wassermann:
First Steps Towards Revising Ontologies.
WONTO 2006 |
| 15 | EE | 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 | EE | Joselyto Riani,
Renata Wassermann:
Using Relevance to Speed Up Inference. Some Empirical Results.
SBIA 2004: 21-30 |
| 12 | EE | Marcelo Finger,
Renata Wassermann:
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control.
J. Log. Comput. 14(2): 179-204 (2004) |
| 2003 |
|---|
| 11 | EE | 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 | EE | Marcelo Finger,
Renata Wassermann:
Logics for Approximate Reasoning: Approximating Classical Logic "From Above".
SBIA 2002: 21-30 |
| 7 | EE | 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 | EE | 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 | EE | Renata Wassermann:
Local Diagnosis
CoRR cs.AI/0003051: (2000) |
