Renata Wassermann

According to our database1, Renata Wassermann authored at least 63 papers between 2000 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Two AGM-style characterizations of model repair.
Ann. Math. Artif. Intell., 2019

Belief Update without Compactness in Non-finitary Languages.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Pseudo-contractions as Gentle Repairs.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Belief Change and Non-Monotonic Reasoning Sans Compactness.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
On the logic of theory change: iteration of expansion.
J. Braz. Comp. Soc., 2018

Partial meet pseudo-contractions.
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).
Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies, 2018

Towards Belief Contraction without Compactness.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Ontology Stratification Methods: A Comparative Study.
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.
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).
Proceedings of the IX Seminar on Ontology Research in Brazil and I Doctoral and Masters Consortium on Ontologies, 2017

Modularity and Ontology Change.
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.
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.
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Iterated Belief Change the Case of Expansion Into Inconsistency.
Proceedings of the 2017 Brazilian Conference on Intelligent Systems, 2017

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

Consolidating Probabilistic Knowledge Bases via Belief Contraction.
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.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

Ontology Repair Through Partial Meet Contraction.
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.
Proceedings of the 2015 Brazilian Conference on Intelligent Systems, 2015

2014
Minimal Change in AGM Revision for Non-Classical Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

On the revision of planning tasks.
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.
Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

2013
Horn Clause Contraction Functions.
J. Artif. Intell. Res., 2013

Minimal change: Relevance and recovery revisited.
Artif. Intell., 2013

Toward the Revision of CTL Models through Kripke Modal Transition Systems.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Ontocloud - a Clinical Information Ontology Based Data Integration System.
Proceedings of the 6th Seminar on Ontology Research in Brazil, 2013

Merging Ontologies via Kernel Contraction.
Proceedings of the 6th Seminar on Ontology Research in Brazil, 2013

2012
Inconsistent-tolerant base revision through Argument Theory Change.
Logic Journal of the IGPL, 2012

A Framework for Empirical Evaluation of Belief Change Operators.
Proceedings of the Advances in Artificial Intelligence - SBIA 2012, 2012

Initial Approaches on Cross-Lingual Information Retrieval Using SMT on User-Queries.
Proceedings of Joint V Seminar on Ontology Research in Brazil and VII International Workshop on Metamodels, 2012

2011
On AGM for Non-Classical Logics.
J. Philosophical Logic, 2011

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.
J. Artif. Intell. Res., 2011

Ontology Merging: on The Confluence Between Theoretical and Pragmatic Approaches.
Proceedings of Joint IV Seminar on Ontology Research in Brazil and VI International Workshop on Metamodels, 2011

Belief Revision on Computation Tree Logic.
Proceedings of the IJCAI 2011, 2011

Satisfiability in EL with Sets of Probabilistic ABoxes.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

An Argumentation Machinery to Reason over Inconsistent Ontologies.
Proceedings of the Advances in Artificial Intelligence, 2010

Revision of CTL Models.
Proceedings of the Advances in Artificial Intelligence, 2010

Horn Belief Change: A Contraction Core.
Proceedings of the ECAI 2010, 2010

2009
Base Revision for Ontology Debugging.
J. Log. Comput., 2009

Contraction on the Semantic Web: On the Role of Relevance and Recovery.
Proceedings of the 3rd International Workshop on Ontology Dynamics, 2009

2008
The Ontology Reviser Plug-In for Protégé.
Proceedings of the 3rd Workshop on Ontologies and their Applications, 2008

Revising Specifications with CTL Properties Using Bounded Model Checking.
Proceedings of the Advances in Artificial Intelligence, 2008

2007
Anytime Approximations of Classical Logic from Above.
J. Log. Comput., 2007

2006
The universe of propositional approximations.
Theor. Comput. Sci., 2006

First Steps Towards Revising Ontologies.
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.
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.
J. Braz. Comp. Soc., 2005

Intelligent mobile multi-robotic systems: some challenges and possible solutions.
Proceedings of the ICINCO 2005, 2005

2004
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control.
J. Log. Comput., 2004

Using Relevance to Speed Up Inference. Some Empirical Results.
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.
Studia Logica, 2003

The Universe of Approximations.
Electron. Notes Theor. Comput. Sci., 2003

2002
Local Change.
Studia Logica, 2002

Attacking the Complexity of Prioritized Inference Preliminary Report.
Proceedings of the Advances in Artificial Intelligence, 2002

Logics for Approximate Reasoning: Approximating Classical Logic "From Above".
Proceedings of the Advances in Artificial Intelligence, 2002

Expressivity and Control in Limited Reasoning.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

2001
Local Diagnosis.
Journal of Applied Non-Classical Logics, 2001

Approximate Belief Revision.
Logic Journal of the IGPL, 2001

2000
Full Acceptance via Argumentation.
Proceedings of the International Joint Conference, 2000

An Algorithm for Belief Revision.
Proceedings of the KR 2000, 2000


  Loading...