default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRenata Wassermann
Person information
- affiliation: University of Sao Paulo, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c52]Franz Baader, Renata Wassermann:
Contractions Based on Optimal Repairs. KR 2024- 2022
- [j20]Paulo T. Guerra
, Renata Wassermann:
Revising System Specifications in Temporal Logic. J. Log. Lang. Inf. 31(4): 591-618 (2022) - [c51]Marlo Souza, Renata Wassermann:
Hyperintensional Models and Belief Change. BRACIS (1) 2022: 429-443 - [c50]Marlo Souza, Renata Wassermann:
Hyperintensional Partial Meet Contractions. KR 2022 - [c49]Vinícius Bitencourt Matos, Renata Wassermann:
Repairing Ontologies via Kernel Pseudo-Contraction. NMR 2022: 16-26 - 2021
- [j19]Sandra Alves, Renata Wassermann:
Preface to special issue: LSFA 2017 and 2018. Math. Struct. Comput. Sci. 31(3): 255-256 (2021) - [c48]Marlo Souza, Renata Wassermann:
Belief Contraction in Non-classical logics as Hyperintensional Belief Change. KR 2021: 588-598 - [e3]Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings. Lecture Notes in Computer Science 13038, Springer 2021, ISBN 978-3-030-88852-7 [contents] - 2020
- [c47]Fillipe Resina, Marco Garapa, Renata Wassermann, Eduardo Fermé, Maurício D. Luís Reis:
Choosing What to Believe - New Results in Selective Revision. KR 2020: 687-691 - [c46]Débora Lina N. Ciriaco Pereira, Alexandre Pessoa, Laís Salvador, Renata Wassermann:
Integração Semântica das Bases de Dados do Sistema Único de Saúde: Um Estudo de Caso com o Município de São Paulo (Semantic Data Integration for the Brazilian Public Health System: A Case Study With São Paulo). ONTOBRAS 2020: 61-74
2010 – 2019
- 2019
- [j18]Paulo T. Guerra, Renata Wassermann:
Two AGM-style characterizations of model repair. Ann. Math. Artif. Intell. 87(3): 233-257 (2019) - [c45]Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann:
Belief Change and Non-Monotonic Reasoning Sans Compactness. AAAI 2019: 3019-3026 - [c44]Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann:
Pseudo-contractions as Gentle Repairs. Description Logic, Theory Combination, and All That 2019: 385-403 - [c43]Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann:
Belief Update without Compactness in Non-finitary Languages. IJCAI 2019: 1858-1864 - [i3]Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann:
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). Dagstuhl Reports 9(2): 73-90 (2019) - 2018
- [j17]Yuri David Santos, Vinícius Bitencourt Matos, Márcio Moretto Ribeiro, Renata Wassermann:
Partial meet pseudo-contractions. Int. J. Approx. Reason. 103: 11-27 (2018) - [j16]Eduardo Fermé, Renata Wassermann:
On the logic of theory change: iteration of expansion. J. Braz. Comput. Soc. 24(1): 8:1-8:9 (2018) - [c42]Renata Wassermann:
Revising Ontologies. Description Logics 2018 - [c41]Ricardo Guimarães, Uli Sattler, Renata Wassermann:
Ontology Stratification Methods: A Comparative Study. MedRACER+WOMoCoE@KR 2018: 51-62 - [c40]Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann:
Towards Belief Contraction without Compactness. KR 2018: 287-296 - [c39]Paulo T. Guerra, Renata Wassermann:
Two AGM-Style Characterizations of Model Repair. KR 2018: 645-646 - [c38]Débora Lina N. Ciriaco Pereira, Renata Wassermann, Laís Salvador:
Integração Semântica das Bases de Dados do Município de São Paulo: Um Estudo de Caso com Anomalias Congênitas(Semantic Integration of Health Databases in São Paulo: A Case Study with Congenital Anomalies). ONTOBRAS 2018: 276-281 - 2017
- [c37]Eduardo L. Fermé, Renata Wassermann:
Iterated Belief Change the Case of Expansion Into Inconsistency. BRACIS 2017: 420-425 - [c36]Ricardo Guimarães, Renata Wassermann:
Local Change in Ontologies with Atomic Decomposition. JOWO 2017 - [c35]Thiago Henrique Dias Araujo, Barbara Tieko Agena, Kelly Rosa Braghetto, Renata Wassermann:
OntoMongo- Ontology-Based Data Access for NoSQL. ONTOBRAS 2017: 55-66 - [c34]Rafael Brito de Oliveira, Renata Wassermann:
Utilização de Ontologia para Busca em Base de Dados de Acórdãos do STF(Using an Ontology for Searching the Decisions of the Brazilian Supreme Court). ONTOBRAS 2017: 147-157 - [c33]Ricardo F. Guimarães, Renata Wassermann:
Modularity and Ontology Change. ONTOBRAS 2017: 183-188 - 2016
- [j15]Vladimir Rocha, Fabio Kon, Raphael Cóbe, Renata Wassermann:
A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services. Computing 98(1-2): 73-92 (2016) - [c32]Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann:
Consolidating Probabilistic Knowledge Bases via Belief Contraction. KR 2016: 125-134 - 2015
- [c31]Ricardo M. S. Budaruiche, Renata Wassermann, Diogo F. C. Patrão, Maria I. W. Achatz:
Li-Fraumeni Ontology: A Case Study of an Ontology for Knowledge Discovery in a Cancer Domain. BRACIS 2015: 157-162 - [c30]Raphael Cóbe, Renata Wassermann:
Ontology Repair Through Partial Meet Contraction. DARe@IJCAI 2015 - [c29]Yuri David Santos, Márcio Moretto Ribeiro, Renata Wassermann:
Between Belief Bases and Belief Sets: Partial Meet Contraction. DARe@IJCAI 2015 - [e2]Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, Daniele Porello:
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015. CEUR Workshop Proceedings 1517, CEUR-WS.org 2015 [contents] - 2014
- [c28]Fillipe Resina, Márcio Moretto Ribeiro, Renata Wassermann:
Algorithms for Multiple Contraction and an Application to OWL Ontologies. BRACIS 2014: 366-371 - [c27]Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann:
On the revision of planning tasks. ECAI 2014: 435-440 - [c26]Márcio Moretto Ribeiro, Renata Wassermann:
Minimal Change in AGM Revision for Non-Classical Logics. KR 2014 - [i2]Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR abs/1401.3902 (2014) - 2013
- [j14]Márcio Moretto Ribeiro, Renata Wassermann, Giorgos Flouris, Grigoris Antoniou:
Minimal change: Relevance and recovery revisited. Artif. Intell. 201: 59-80 (2013) - [j13]James P. Delgrande, Renata Wassermann:
Horn Clause Contraction Functions. J. Artif. Intell. Res. 48: 475-511 (2013) - [c25]Raphael Cóbe, Fillipe Resina, Renata Wassermann:
Merging Ontologies via Kernel Contraction. ONTOBRAS 2013: 94-105 - [c24]Diogo F. C. Patrão, Helena Paula Brentani, Marcelo Finger, Renata Wassermann:
Ontocloud - a Clinical Information Ontology Based Data Integration System. ONTOBRAS 2013: 118-129 - [c23]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:
Proceedings of the 6th Seminar on Ontology Research in Brazil, Belo Horizonte, Brazil, September 23, 2013. CEUR Workshop Proceedings 1041, CEUR-WS.org 2013 [contents] - 2012
- [j12]Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa:
Inconsistent-tolerant base revision through Argument Theory Change. Log. J. IGPL 20(1): 154-186 (2012) - [c22]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 - [c21]Renato U. Lundberg, Márcio Moretto Ribeiro, Renata Wassermann:
A Framework for Empirical Evaluation of Belief Change Operators. SBIA 2012: 12-21 - 2011
- [j11]Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. 42: 31-53 (2011) - [j10]Renata Wassermann:
On AGM for Non-Classical Logics. J. Philos. Log. 40(2): 271-294 (2011) - [c20]Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman:
Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics 2011 - [c19]Paulo T. Guerra, Renata Wassermann:
Belief Revision on Computation Tree Logic. IJCAI 2011: 2810-2811 - [c18]Raphael Cóbe, Renata Wassermann, Fabio Kon:
Ontology Merging: on The Confluence Between Theoretical and Pragmatic Approaches. ONTOBRAS-MOST 2011: 159-164 - 2010
- [c17]Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
Horn Belief Change: A Contraction Core. ECAI 2010: 1065-1066 - [c16]Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa:
An Argumentation Machinery to Reason over Inconsistent Ontologies. IBERAMIA 2010: 100-109 - [c15]Paulo T. Guerra, Renata Wassermann:
Revision of CTL Models. IBERAMIA 2010: 153-162 - [c14]James P. Delgrande, Renata Wassermann:
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. KR 2010
2000 – 2009
- 2009
- [j9]Márcio Moretto Ribeiro, Renata Wassermann:
Base Revision for Ontology Debugging. J. Log. Comput. 19(5): 721-743 (2009) - [c13]Márcio Moretto Ribeiro, Renata Wassermann, Grigoris Antoniou, Giorgos Flouris, Jeff Z. Pan:
Contraction on the Semantic Web: On the Role of Relevance and Recovery. IWOD@ISWC 2009 - 2008
- [c12]Marcelo Finger, Renata Wassermann:
Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA 2008: 157-166 - [c11]Márcio Moretto Ribeiro, Renata Wassermann:
The Ontology Reviser Plug-In for Protégé. WONTO 2008 - 2007
- [j8]Marcelo Finger, Renata Wassermann:
Anytime Approximations of Classical Logic from Above. J. Log. Comput. 17(1): 53-82 (2007) - 2006
- [j7]Marcelo Finger, Renata Wassermann:
The universe of propositional approximations. Theor. Comput. Sci. 355(2): 153-166 (2006) - [c10]Fábio N. Kepler, Christian Paz-Trillo, Joselyto Riani, Márcio Moretto Ribeiro, Karina Valdivia Delgado, Leliane Nunes de Barros, Renata Wassermann:
Classifying Ontologies. WONTO 2006 - [c9]Márcio Moretto Ribeiro, Renata Wassermann:
First Steps Towards Revising Ontologies. WONTO 2006 - 2005
- [j6]Christian Paz-Trillo, Renata Wassermann, Paula P. Braga:
An Information Retrieval Application using Ontologies. J. Braz. Comput. Soc. 11(2): 17-31 (2005) - [c8]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
- [j5]Marcelo Finger, Renata Wassermann:
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. 14(2): 179-204 (2004) - [c7]Joselyto Riani, Renata Wassermann:
Using Relevance to Speed Up Inference. Some Empirical Results. SBIA 2004: 21-30 - 2003
- [j4]Renata Wassermann:
Generalized Change and the Meaning of Rationality Postulates. Stud Logica 73(2): 299-319 (2003) - [c6]Marcelo Finger, Renata Wassermann:
The Universe of Approximations. WoLLIC 2003: 91-104 - 2002
- [j3]Sven Ove Hansson, Renata Wassermann:
Local Change. Stud Logica 70(1): 49-76 (2002) - [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. Log. J. IGPL 9(6): 755-768 (2001) - [j1]Renata Wassermann:
Local Diagnosis. J. Appl. Non Class. Logics 11(1-2): 107-129 (2001) - 2000
- [c2]Renata Wassermann:
An Algorithm for Belief Revision. KR 2000: 345-352 - [c1]Daniela Vasconcelos Carbogim, Renata Wassermann:
Full Acceptance via Argumentation. IBERAMIA-SBIA 2000 Open Discussion Track 2000: 127-136 - [i1]Renata Wassermann:
Local Diagnosis. CoRR cs.AI/0003051 (2000)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-15 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
