| 2012 | ||
|---|---|---|
| j13 | Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa: Inconsistent-tolerant base revision through Argument Theory Change. Logic Journal of the IGPL 20(1): 154-186 (2012) | |
| c20 | Marta R. Costa-Jussà, Christian Paz-Trillo, Renata Wassermann: Initial Approaches on Cross-Lingual Information Retrieval Using SMT on User-Queries. ONTOBRAS-MOST 2012: 25-35 | |
| c19 | Renato U. Lundberg, Márcio Moretto Ribeiro, Renata Wassermann: A Framework for Empirical Evaluation of Belief Change Operators. SBIA 2012: 12-21 | |
| 2011 | ||
| j12 | Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann: On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. (JAIR) 42: 31-53 (2011) | |
| j11 | ||
| c18 | Marcelo Finger, Renata Wassermann, Fabio Gagliardi Cozman: Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics 2011 | |
| c17 | Paulo T. Guerra, Renata Wassermann: Belief Revision on Computation Tree Logic. IJCAI 2011: 2810-2811 | |
| c16 | Raphael Cóbe, Renata Wassermann, Fabio Kon: Ontology Merging: on The Confluence Between Theoretical and Pragmatic Approaches. ONTOBRAS-MOST 2011: 159-164 | |
| 2010 | ||
| c15 | Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann: Horn Belief Change: A Contraction Core. ECAI 2010: 1065-1066 | |
| c14 | Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa: An Argumentation Machinery to Reason over Inconsistent Ontologies. IBERAMIA 2010: 100-109 | |
| c13 | ||
| c12 | James P. Delgrande, Renata Wassermann: Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. KR 2010 | |
| 2009 | ||
| j10 | Márcio Moretto Ribeiro, Renata Wassermann: Base Revision for Ontology Debugging. J. Log. Comput. 19(5): 721-743 (2009) | |
| 2008 | ||
| c11 | Marcelo Finger, Renata Wassermann: Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA 2008: 157-166 | |
| c10 | ||
| 2007 | ||
| j9 | Marcelo Finger, Renata Wassermann: Anytime Approximations of Classical Logic from Above. J. Log. Comput. 17(1): 53-82 (2007) | |
| 2006 | ||
| j8 | Marcelo Finger, Renata Wassermann: The universe of propositional approximations. Theor. Comput. Sci. 355(2): 153-166 (2006) | |
| c9 | 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 | |
| c8 | ||
| 2005 | ||
| j7 | Christian Paz-Trillo, Renata Wassermann, Paula P. Braga: An Information Retrieval Application using Ontologies. J. Braz. Comp. Soc. 11(2): 17-31 (2005) | |
| c7 | 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 | ||
| j6 | Marcelo Finger, Renata Wassermann: Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. 14(2): 179-204 (2004) | |
| c6 | Joselyto Riani, Renata Wassermann: Using Relevance to Speed Up Inference. Some Empirical Results. SBIA 2004: 21-30 | |
| 2003 | ||
| j5 | Marcelo Finger, Renata Wassermann: The Universe of Approximations. Electr. Notes Theor. Comput. Sci. 84: 91-104 (2003) | |
| j4 | Renata Wassermann: Generalized Change and the Meaning of Rationality Postulates. Studia Logica 73(2): 299-319 (2003) | |
| 2002 | ||
| j3 | ||
| c5 | Marcelo Finger, Renata Wassermann: Expressivity and Control in Limited Reasoning. ECAI 2002: 272-276 | |
| c4 | Marcelo Finger, Renata Wassermann: Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA 2002: 21-30 | |
| c3 | Renata Wassermann, Samir Chopra: Attacking the Complexity of Prioritized Inference Preliminary Report. SBIA 2002: 31-40 | |
| 2001 | ||
| j2 | Samir Chopra, Rohit Parikh, Renata Wassermann: Approximate Belief Revision. Logic Journal of the IGPL 9(6): 755-768 (2001) | |
| j1 | ||
| 2000 | ||
| c2 | ||
| c1 | Daniela V. Carbogim, Renata Wassermann: Full Acceptance via Argumentation. IBERAMIA-SBIA 2000 Open Discussion Track 2000: 127-136 | |
| i1 | ||
Colors in the list of coauthors
Last update Fri May 24 11:39:37 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page