Renata Wassermann

According to our database, Renata Wassermann authored at least 71 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Revising System Specifications in Temporal Logic.

Paulo T. Guerra, Renata Wassermann

J. Log. Lang. Inf., 2022

Repairing Ontologies via Kernel Pseudo-Contraction.

Vinícius Bitencourt Matos, Renata Wassermann

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Hyperintensional Partial Meet Contractions.

Marlo Souza, Renata Wassermann

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Hyperintensional Models and Belief Change.

Marlo Souza, Renata Wassermann

Proceedings of the Intelligent Systems - 11th Brazilian Conference, 2022

2021

Preface to special issue: LSFA 2017 and 2018.

Sandra Alves, Renata Wassermann

Math. Struct. Comput. Sci., 2021

Belief Contraction in Non-classical logics as Hyperintensional Belief Change.

Marlo Souza, Renata Wassermann

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

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).

Débora Lina N. Ciriaco Pereira, Alexandre Pessoa, Laís Salvador, Renata Wassermann

Proceedings of the XIII Seminar on Ontology Research in Brazil and IV Doctoral and Masters Consortium on Ontologies (ONTOBRAS 2020), 2020

Choosing What to Believe - New Results in Selective Revision.

Fillipe Resina, Marco Garapa, Renata Wassermann, Eduardo Fermé, Maurício D. Luís Reis

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072).

Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann

Dagstuhl Reports, 2019

Two AGM-style characterizations of model repair.

Paulo T. Guerra, Renata Wassermann

Ann. Math. Artif. Intell., 2019

Belief Update without Compactness in Non-finitary Languages.

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Pseudo-contractions as Gentle Repairs.

Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Belief Change and Non-Monotonic Reasoning Sans Compactness.

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

On the logic of theory change: iteration of expansion.

Eduardo Fermé, Renata Wassermann

J. Braz. Comput. Soc., 2018

Partial meet pseudo-contractions.

Yuri David Santos, Vinícius Bitencourt Matos, Márcio Moretto Ribeiro, Renata Wassermann

Int. J. Approx. Reason., 2018

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).

Débora Lina N. Ciriaco Pereira, Renata Wassermann, Laís Salvador

Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies, 2018

Towards Belief Contraction without Compactness.

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Ontology Stratification Methods: A Comparative Study.

Ricardo Guimarães, Uli Sattler, Renata Wassermann

Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, 2018

Revising Ontologies.

Renata Wassermann

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

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).

Rafael Brito de Oliveira, Renata Wassermann

Proceedings of the IX Seminar on Ontology Research in Brazil and I Doctoral and Masters Consortium on Ontologies, 2017

Modularity and Ontology Change.

Ricardo F. Guimarães, Renata Wassermann

Proceedings of the IX Seminar on Ontology Research in Brazil and I Doctoral and Masters Consortium on Ontologies, 2017

OntoMongo- Ontology-Based Data Access for NoSQL.

Thiago Henrique Dias Araujo, Barbara Tieko Agena, Kelly Rosa Braghetto, Renata Wassermann

Proceedings of the IX Seminar on Ontology Research in Brazil and I Doctoral and Masters Consortium on Ontologies, 2017

Local Change in Ontologies with Atomic Decomposition.

Ricardo Guimarães, Renata Wassermann

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Iterated Belief Change the Case of Expansion Into Inconsistency.

Eduardo L. Fermé, Renata Wassermann

Proceedings of the 2017 Brazilian Conference on Intelligent Systems, 2017

2016

A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services.

Vladimir Rocha, Fabio Kon, Raphael Cóbe, Renata Wassermann

Computing, 2016

Consolidating Probabilistic Knowledge Bases via Belief Contraction.

Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015

Between Belief Bases and Belief Sets: Partial Meet Contraction.

Yuri David Santos, Márcio Moretto Ribeiro, Renata Wassermann

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

Ontology Repair Through Partial Meet Contraction.

Raphael Cóbe, Renata Wassermann

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

Li-Fraumeni Ontology: A Case Study of an Ontology for Knowledge Discovery in a Cancer Domain.

Ricardo M. S. Budaruiche, Renata Wassermann, Diogo F. C. Patrão, Maria I. W. Achatz

Proceedings of the 2015 Brazilian Conference on Intelligent Systems, 2015

2014

Minimal Change in AGM Revision for Non-Classical Logics.

Márcio Moretto Ribeiro, Renata Wassermann

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

On the revision of planning tasks.

Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Algorithms for Multiple Contraction and an Application to OWL Ontologies.

Fillipe Resina, Márcio Moretto Ribeiro, Renata Wassermann

Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

2013

Horn Clause Contraction Functions.

James P. Delgrande, Renata Wassermann

J. Artif. Intell. Res., 2013

Minimal change: Relevance and recovery revisited.

Márcio Moretto Ribeiro, Renata Wassermann, Giorgos Flouris, Grigoris Antoniou

Artif. Intell., 2013

Toward the Revision of CTL Models through Kripke Modal Transition Systems.

Paulo T. Guerra, Aline Andrade, Renata Wassermann

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Ontocloud - a Clinical Information Ontology Based Data Integration System.

Diogo F. C. Patrão, Helena Paula Brentani, Marcelo Finger, Renata Wassermann

Proceedings of the 6th Seminar on Ontology Research in Brazil, 2013

Merging Ontologies via Kernel Contraction.

Raphael Cóbe, Fillipe Resina, Renata Wassermann

Proceedings of the 6th Seminar on Ontology Research in Brazil, 2013

2012

Inconsistent-tolerant base revision through Argument Theory Change.

Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa

Log. J. IGPL, 2012

A Framework for Empirical Evaluation of Belief Change Operators.

Renato U. Lundberg, Márcio Moretto Ribeiro, Renata Wassermann

Proceedings of the Advances in Artificial Intelligence - SBIA 2012, 2012

Initial Approaches on Cross-Lingual Information Retrieval Using SMT on User-Queries.

Marta R. Costa-jussà, Christian Paz-Trillo, Renata Wassermann

Proceedings of Joint V Seminar on Ontology Research in Brazil and VII International Workshop on Metamodels, 2012

2011

On AGM for Non-Classical Logics.

Renata Wassermann

J. Philos. Log., 2011

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.

Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann

J. Artif. Intell. Res., 2011

Ontology Merging: on The Confluence Between Theoretical and Pragmatic Approaches.

Raphael Cóbe, Renata Wassermann, Fabio Kon

Proceedings of Joint IV Seminar on Ontology Research in Brazil and VI International Workshop on Metamodels, 2011

Belief Revision on Computation Tree Logic.

Paulo T. Guerra, Renata Wassermann

Proceedings of the IJCAI 2011, 2011

Satisfiability in EL with Sets of Probabilistic ABoxes.

Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Horn Clause Contraction Functions: Belief Set and Belief Base Approaches.

James P. Delgrande, Renata Wassermann

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

An Argumentation Machinery to Reason over Inconsistent Ontologies.

Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa

Proceedings of the Advances in Artificial Intelligence, 2010

Revision of CTL Models.

Paulo T. Guerra, Renata Wassermann

Proceedings of the Advances in Artificial Intelligence, 2010

Horn Belief Change: A Contraction Core.

Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann

Proceedings of the ECAI 2010, 2010

2009

Base Revision for Ontology Debugging.

Márcio Moretto Ribeiro, Renata Wassermann

J. Log. Comput., 2009

Contraction on the Semantic Web: On the Role of Relevance and Recovery.

Márcio Moretto Ribeiro, Renata Wassermann, Grigoris Antoniou, Giorgos Flouris, Jeff Z. Pan

Proceedings of the 3rd International Workshop on Ontology Dynamics, 2009

2008

The Ontology Reviser Plug-In for Protégé.

Márcio Moretto Ribeiro, Renata Wassermann

Proceedings of the 3rd Workshop on Ontologies and their Applications, 2008

Revising Specifications with CTL Properties Using Bounded Model Checking.

Marcelo Finger, Renata Wassermann

Proceedings of the Advances in Artificial Intelligence, 2008

2007

Anytime Approximations of Classical Logic from Above.

Marcelo Finger, Renata Wassermann

J. Log. Comput., 2007

2006

The universe of propositional approximations.

Marcelo Finger, Renata Wassermann

Theor. Comput. Sci., 2006

First Steps Towards Revising Ontologies.

Márcio Moretto Ribeiro, Renata Wassermann

Proceedings of the Workshop on 2nd Workshop on Ontologies and their Applications co-located with the International Joint Conference IBERAMIA-SBIA-SBRN'06, 2006

Classifying Ontologies.

Fábio N. Kepler, Christian Paz-Trillo, Joselyto Riani, Márcio Moretto Ribeiro, Karina Valdivia Delgado, Leliane Nunes de Barros, Renata Wassermann

Proceedings of the Workshop on 2nd Workshop on Ontologies and their Applications co-located with the International Joint Conference IBERAMIA-SBIA-SBRN'06, 2006

2005

An Information Retrieval Application using Ontologies.

Christian Paz-Trillo, Renata Wassermann, Paula P. Braga

J. Braz. Comput. Soc., 2005

Intelligent mobile multi-robotic systems: some challenges and possible solutions.

Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger

Proceedings of the ICINCO 2005, 2005

2004

Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control.

Marcelo Finger, Renata Wassermann

J. Log. Comput., 2004

Using Relevance to Speed Up Inference. Some Empirical Results.

Joselyto Riani, Renata Wassermann

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

2003

Generalized Change and the Meaning of Rationality Postulates.

Renata Wassermann

Stud Logica, 2003

The Universe of Approximations.

Marcelo Finger, Renata Wassermann

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

2002

Local Change.

Sven Ove Hansson, Renata Wassermann

Stud Logica, 2002

Attacking the Complexity of Prioritized Inference Preliminary Report.

Renata Wassermann, Samir Chopra

Proceedings of the Advances in Artificial Intelligence, 2002

Logics for Approximate Reasoning: Approximating Classical Logic "From Above".

Marcelo Finger, Renata Wassermann

Proceedings of the Advances in Artificial Intelligence, 2002

Expressivity and Control in Limited Reasoning.

Marcelo Finger, Renata Wassermann

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001

Local Diagnosis.

Renata Wassermann

J. Appl. Non Class. Logics, 2001

Approximate Belief Revision.

Samir Chopra, Rohit Parikh, Renata Wassermann

Log. J. IGPL, 2001

2000

Full Acceptance via Argumentation.

Daniela Vasconcelos Carbogim, Renata Wassermann

Proceedings of the International Joint Conference, 2000

An Algorithm for Belief Revision.

Renata Wassermann

Proceedings of the KR 2000, 2000