Renata Wassermann

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 30

Top Topics

Semantic Integration

Classical Logic

Top Venues

Publications

Marlo Souza, Renata Wassermann
Hyperintensional Models and Belief Change. BRACIS (1) (2022)
Marlo Souza, Renata Wassermann
Hyperintensional Partial Meet Contractions. KR (2022)
Paulo T. Guerra, Renata Wassermann
Revising System Specifications in Temporal Logic. J. Log. Lang. Inf. 31 (4) (2022)
Vinícius Bitencourt Matos, Renata Wassermann
Repairing Ontologies via Kernel Pseudo-Contraction. NMR (2022)
Marlo Souza, Renata Wassermann
Belief Contraction in Non-classical logics as Hyperintensional Belief Change. KR (2021)
Sandra Alves, Renata Wassermann
Preface to special issue: LSFA 2017 and 2018. Math. Struct. Comput. Sci. 31 (3) (2021)
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)
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)
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
Belief Change and Non-Monotonic Reasoning Sans Compactness. AAAI (2019)
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) (2019)
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)
Paulo T. Guerra, Renata Wassermann
Two AGM-style characterizations of model repair. Ann. Math. Artif. Intell. 87 (3) (2019)
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
Belief Update without Compactness in Non-finitary Languages. IJCAI (2019)
Eduardo Fermé, Renata Wassermann
On the logic of theory change: iteration of expansion. J. Braz. Comput. Soc. 24 (1) (2018)
Renata Wassermann
Revising Ontologies. Description Logics (2018)
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
Towards Belief Contraction without Compactness. KR (2018)
Paulo T. Guerra, Renata Wassermann
Two AGM-Style Characterizations of Model Repair. KR (2018)
Ricardo Guimarães, Uli Sattler, Renata Wassermann
Ontology Stratification Methods: A Comparative Study. MedRACER+WOMoCoE@KR (2018)
Yuri David Santos, Vinícius Bitencourt Matos, Márcio Moretto Ribeiro, Renata Wassermann
Partial meet pseudo-contractions. Int. J. Approx. Reason. 103 (2018)
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)
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)
Ricardo F. Guimarães, Renata Wassermann
Modularity and Ontology Change. ONTOBRAS (2017)
Ricardo Guimarães, Renata Wassermann
Local Change in Ontologies with Atomic Decomposition. JOWO (2017)
Thiago Henrique Dias Araujo, Barbara Tieko Agena, Kelly Rosa Braghetto, Renata Wassermann
OntoMongo- Ontology-Based Data Access for NoSQL. ONTOBRAS (2017)
Eduardo L. Fermé, Renata Wassermann
Iterated Belief Change the Case of Expansion Into Inconsistency. BRACIS (2017)
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) (2016)
Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann
Consolidating Probabilistic Knowledge Bases via Belief Contraction. KR (2016)
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)
Yuri David Santos, Márcio Moretto Ribeiro, Renata Wassermann
Between Belief Bases and Belief Sets: Partial Meet Contraction. DARe@IJCAI (2015)
Raphael Cóbe, Renata Wassermann
Ontology Repair Through Partial Meet Contraction. DARe@IJCAI (2015)
Fillipe Resina, Márcio Moretto Ribeiro, Renata Wassermann
Algorithms for Multiple Contraction and an Application to OWL Ontologies. BRACIS (2014)
Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann
On the revision of planning tasks. ECAI (2014)
Márcio Moretto Ribeiro, Renata Wassermann
Minimal Change in AGM Revision for Non-Classical Logics. KR (2014)
Richard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR (2014)
Raphael Cóbe, Fillipe Resina, Renata Wassermann
Merging Ontologies via Kernel Contraction. ONTOBRAS (2013)
Diogo F. C. Patrão, Helena Brentani, Marcelo Finger, Renata Wassermann
Ontocloud - a Clinical Information Ontology Based Data Integration System. ONTOBRAS (2013)
Márcio Moretto Ribeiro, Renata Wassermann, Giorgos Flouris, Grigoris Antoniou
Minimal change: Relevance and recovery revisited. Artif. Intell. 201 (2013)
James P. Delgrande, Renata Wassermann
Horn Clause Contraction Functions. J. Artif. Intell. Res. 48 (2013)
Paulo T. Guerra, Aline Andrade, Renata Wassermann
Toward the Revision of CTL Models through Kripke Modal Transition Systems. SBMF (2013)
Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa
Inconsistent-tolerant base revision through Argument Theory Change. Log. J. IGPL 20 (1) (2012)
Renato U. Lundberg, Márcio Moretto Ribeiro, Renata Wassermann
A Framework for Empirical Evaluation of Belief Change Operators. SBIA (2012)
Marta R. Costa-jussà, Christian Paz-Trillo, Renata Wassermann
Initial Approaches on Cross-Lingual Information Retrieval Using SMT on User-Queries. ONTOBRAS-MOST (2012)
Paulo T. Guerra, Renata Wassermann
Belief Revision on Computation Tree Logic. IJCAI (2011)
Raphael Cóbe, Renata Wassermann, Fabio Kon
Ontology Merging: on The Confluence Between Theoretical and Pragmatic Approaches. ONTOBRAS-MOST (2011)
Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman
Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics (2011)
Renata Wassermann
On AGM for Non-Classical Logics. J. Philos. Log. 40 (2) (2011)
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. 42 (2011)
James P. Delgrande, Renata Wassermann
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. KR (2010)
Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa
An Argumentation Machinery to Reason over Inconsistent Ontologies. IBERAMIA (2010)
Paulo T. Guerra, Renata Wassermann
Revision of CTL Models. IBERAMIA (2010)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann
Horn Belief Change: A Contraction Core. ECAI (2010)
Márcio Moretto Ribeiro, Renata Wassermann
Base Revision for Ontology Debugging. J. Log. Comput. 19 (5) (2009)
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)
Márcio Moretto Ribeiro, Renata Wassermann
The Ontology Reviser Plug-In for Protégé. WONTO (2008)
Marcelo Finger, Renata Wassermann
Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA (2008)
Marcelo Finger, Renata Wassermann
Anytime Approximations of Classical Logic from Above. J. Log. Comput. 17 (1) (2007)
Márcio Moretto Ribeiro, Renata Wassermann
First Steps Towards Revising Ontologies. WONTO (2006)
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)
Marcelo Finger, Renata Wassermann
The universe of propositional approximations. Theor. Comput. Sci. 355 (2) (2006)
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)
Christian Paz-Trillo, Renata Wassermann, Paula P. Braga
An Information Retrieval Application using Ontologies. J. Braz. Comput. Soc. 11 (2) (2005)
Marcelo Finger, Renata Wassermann
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. 14 (2) (2004)
Joselyto Riani, Renata Wassermann
Using Relevance to Speed Up Inference. Some Empirical Results. SBIA (2004)
Marcelo Finger, Renata Wassermann
The Universe of Approximations. Electron. Notes Theor. Comput. Sci. 84 (2003)
Renata Wassermann
Generalized Change and the Meaning of Rationality Postulates. Stud Logica 73 (2) (2003)
Marcelo Finger, Renata Wassermann
Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA (2002)
Renata Wassermann, Samir Chopra
Attacking the Complexity of Prioritized Inference Preliminary Report. SBIA (2002)
Marcelo Finger, Renata Wassermann
Expressivity and Control in Limited Reasoning. ECAI (2002)
Sven Ove Hansson, Renata Wassermann
Local Change. Stud Logica 70 (1) (2002)
Samir Chopra, Rohit Parikh, Renata Wassermann
Approximate Belief Revision. Log. J. IGPL 9 (6) (2001)
Renata Wassermann
Local Diagnosis. J. Appl. Non Class. Logics 11 (1-2) (2001)
Renata Wassermann
Local Diagnosis CoRR (2000)
Renata Wassermann
An Algorithm for Belief Revision. KR (2000)
Daniela Vasconcelos Carbogim, Renata Wassermann
Full Acceptance via Argumentation. IBERAMIA-SBIA 2000 Open Discussion Track (2000)