Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Renata Wassermann
2010 – today
- 2013
[j14]Márcio Moretto Ribeiro, Renata Wassermann, Giorgos Flouris, Grigoris Antoniou: Minimal change: Relevance and recovery revisited. Artif. Intell. 201: 59-80 (2013)- [c23]Raphael Cóbe, Fillipe Resina, Renata Wassermann: Merging Ontologies via Kernel Contraction. ONTOBRAS 2013: 94-105
- [c22]Diogo F. C. Patrão, Helena Brentani, Marcelo Finger, Renata Wassermann: Ontocloud - a Clinical Information Ontology Based Data Integration System. ONTOBRAS 2013: 118-129
- [c21]Paulo T. Guerra, Aline Andrade, Renata Wassermann: Toward the Revision of CTL Models through Kripke Modal Transition Systems. SBMF 2013: 115-130
- [e1]Marcello Peixoto Bax, Mauricio Barcellos Almeida, Renata Wassermann (Eds.): Proceedings of the 6th Seminar on Ontology Research in Brazil, Belo Horizonte, Brazil, September 23, 2013. CEUR Workshop Proceedings 1041, CEUR-WS.org 2013
- 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
2000 – 2009
- 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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team