Renata Wassermann

84 papers A* 15A 3C 4Journal 24Unranked 36

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021. J. Log. Comput. Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz
2025	—	`conf`	An Ontology-Based Approach to Streamline the Reconstruction of Genome-Scale Metabolic Models. ONTOBRAS Nahim Alves de Souza, Renata Wassermann
2025	A*	`conf`	Contractions Based on Optimal Repairs (Extended Abstract). IJCAI Franz Baader, Renata Wassermann
2025	C	`conf`	Gärdenfors's Supplementary Postulates for Partial Product Contractions. ECSQARU Franz Baader, Renata Wassermann
2025	A*	`ed.`	Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025 KR Magdalena Ortiz, Renata Wassermann, Torsten Schaub
2024	A*	`conf`	Contractions Based on Optimal Repairs. KR Franz Baader, Renata Wassermann
2024	—	`conf`	Ontology extraction and evaluation for the Blue Amazon. ONTOBRAS Vivian Magri Alcaldi Soares, Renata Wassermann
2022	—	`conf`	Hyperintensional Models and Belief Change. BRACIS (1) Marlo Souza, Renata Wassermann
2022	A*	`conf`	Hyperintensional Partial Meet Contractions. KR Marlo Souza, Renata Wassermann
2022	—	`conf`	Repairing Ontologies via Kernel Pseudo-Contraction. NMR Vinícius Bitencourt Matos, Renata Wassermann
2022	J	`jnl`	Revising System Specifications in Temporal Logic. J. Log. Lang. Inf. Paulo T. Guerra, Renata Wassermann
2021	A*	`conf`	Belief Contraction in Non-classical logics as Hyperintensional Belief Change. KR Marlo Souza, Renata Wassermann
2021	C	`ed.`	Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings WoLLIC Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz
2021	J	`jnl`	Preface to special issue: LSFA 2017 and 2018. Math. Struct. Comput. Sci. Sandra Alves, Renata Wassermann
2020	A*	`conf`	Choosing What to Believe - New Results in Selective Revision. KR Fillipe Resina, Marco Garapa, Renata Wassermann, Eduardo Fermé, Maurício D. Luís Reis
2020	—	`conf`	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 Débora Lina N. Ciriaco Pereira, Alexandre Pessoa, Laís Salvador, Renata Wassermann
2019	A*	`conf`	Belief Change and Non-Monotonic Reasoning Sans Compactness. AAAI Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
2019	A*	`conf`	Belief Update without Compactness in Non-finitary Languages. IJCAI Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
2019	—	`conf`	Pseudo-contractions as Gentle Repairs. Description Logic, Theory Combination, and All That Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann
2019	J	`jnl`	The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). Dagstuhl Reports Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann
2019	J	`jnl`	Two AGM-style characterizations of model repair. Ann. Math. Artif. Intell. Paulo T. Guerra, Renata Wassermann
2018	—	`conf`	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 Débora Lina N. Ciriaco Pereira, Renata Wassermann, Laís Salvador
2018	J	`jnl`	On the logic of theory change: iteration of expansion. J. Braz. Comput. Soc. Eduardo Fermé, Renata Wassermann
2018	—	`conf`	Ontology Stratification Methods: A Comparative Study. MedRACER+WOMoCoE@KR Ricardo Guimarães, Uli Sattler, Renata Wassermann
2018	J	`jnl`	Partial meet pseudo-contractions. Int. J. Approx. Reason. Yuri David Santos, Vinícius Bitencourt Matos, Márcio Moretto Ribeiro, Renata Wassermann
2018	—	`conf`	Revising Ontologies. Description Logics Renata Wassermann
2018	A*	`conf`	Towards Belief Contraction without Compactness. KR Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
2018	A*	`conf`	Two AGM-Style Characterizations of Model Repair. KR Paulo T. Guerra, Renata Wassermann
2017	—	`conf`	Iterated Belief Change the Case of Expansion Into Inconsistency. BRACIS Eduardo L. Fermé, Renata Wassermann
2017	—	`conf`	Local Change in Ontologies with Atomic Decomposition. JOWO Ricardo Guimarães, Renata Wassermann
2017	—	`conf`	Modularity and Ontology Change. ONTOBRAS Ricardo F. Guimarães, Renata Wassermann
2017	—	`conf`	OntoMongo- Ontology-Based Data Access for NoSQL. ONTOBRAS Thiago Henrique Dias Araujo, Barbara Tieko Agena, Kelly Rosa Braghetto, Renata Wassermann
2017	—	`conf`	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 Rafael Brito de Oliveira, Renata Wassermann
2016	J	`jnl`	A hybrid cloud-P2P architecture for multimedia information retrieval on VoD services. Computing Vladimir Rocha, Fabio Kon, Raphael Cóbe, Renata Wassermann
2016	A*	`conf`	Consolidating Probabilistic Knowledge Bases via Belief Contraction. KR Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann
2015	—	`conf`	Between Belief Bases and Belief Sets: Partial Meet Contraction. DARe@IJCAI Yuri David Santos, Márcio Moretto Ribeiro, Renata Wassermann
2015	—	`conf`	Li-Fraumeni Ontology: A Case Study of an Ontology for Knowledge Discovery in a Cancer Domain. BRACIS Ricardo M. S. Budaruiche, Renata Wassermann, Diogo F. C. Patrão, Maria I. W. Achatz
2015	—	`conf`	Ontology Repair Through Partial Meet Contraction. DARe@IJCAI Raphael Cóbe, Renata Wassermann
2015	—	`ed.`	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. JOWO@IJCAI 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
2014	—	`conf`	Algorithms for Multiple Contraction and an Application to OWL Ontologies. BRACIS Fillipe Resina, Márcio Moretto Ribeiro, Renata Wassermann
2014	A*	`conf`	Minimal Change in AGM Revision for Non-Classical Logics. KR Márcio Moretto Ribeiro, Renata Wassermann
2014	J	`jnl`	On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann
2014	A	`conf`	On the revision of planning tasks. ECAI Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann
2013	J	`jnl`	Horn Clause Contraction Functions. J. Artif. Intell. Res. James P. Delgrande, Renata Wassermann
2013	—	`conf`	Merging Ontologies via Kernel Contraction. ONTOBRAS Raphael Cóbe, Fillipe Resina, Renata Wassermann
2013	J	`jnl`	Minimal change: Relevance and recovery revisited. Artif. Intell. Márcio Moretto Ribeiro, Renata Wassermann, Giorgos Flouris, Grigoris Antoniou
2013	—	`conf`	Ontocloud - a Clinical Information Ontology Based Data Integration System. ONTOBRAS Diogo F. C. Patrão, Helena Paula Brentani, Marcelo Finger, Renata Wassermann
2013	—	`ed.`	Proceedings of the 6th Seminar on Ontology Research in Brazil, Belo Horizonte, Brazil, September 23, 2013 ONTOBRAS Marcello Peixoto Bax, Mauricio Barcellos Almeida, Renata Wassermann
2013	—	`conf`	Toward the Revision of CTL Models through Kripke Modal Transition Systems. SBMF Paulo T. Guerra, Aline Andrade, Renata Wassermann
2012	—	`conf`	A Framework for Empirical Evaluation of Belief Change Operators. SBIA Renato U. Lundberg, Márcio Moretto Ribeiro, Renata Wassermann
2012	J	`jnl`	Inconsistent-tolerant base revision through Argument Theory Change. Log. J. IGPL Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa
2012	—	`conf`	Initial Approaches on Cross-Lingual Information Retrieval Using SMT on User-Queries. ONTOBRAS-MOST Marta R. Costa-jussà, Christian Paz-Trillo, Renata Wassermann
2011	A*	`conf`	Belief Revision on Computation Tree Logic. IJCAI Paulo T. Guerra, Renata Wassermann
2011	J	`jnl`	On AGM for Non-Classical Logics. J. Philos. Log. Renata Wassermann
2011	J	`jnl`	On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann
2011	—	`conf`	Ontology Merging: on The Confluence Between Theoretical and Pragmatic Approaches. ONTOBRAS-MOST Raphael Cóbe, Renata Wassermann, Fabio Kon
2011	—	`conf`	Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman
2010	—	`conf`	An Argumentation Machinery to Reason over Inconsistent Ontologies. IBERAMIA Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa
2010	A	`conf`	Horn Belief Change: A Contraction Core. ECAI Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann
2010	A*	`conf`	Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. KR James P. Delgrande, Renata Wassermann
2010	—	`conf`	Revision of CTL Models. IBERAMIA Paulo T. Guerra, Renata Wassermann
2009	J	`jnl`	Base Revision for Ontology Debugging. J. Log. Comput. Márcio Moretto Ribeiro, Renata Wassermann
2009	—	`conf`	Contraction on the Semantic Web: On the Role of Relevance and Recovery. IWOD@ISWC Márcio Moretto Ribeiro, Renata Wassermann, Grigoris Antoniou, Giorgos Flouris, Jeff Z. Pan
2008	—	`conf`	Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA Marcelo Finger, Renata Wassermann
2008	—	`conf`	The Ontology Reviser Plug-In for Protégé. WONTO Márcio Moretto Ribeiro, Renata Wassermann
2007	J	`jnl`	Anytime Approximations of Classical Logic from Above. J. Log. Comput. Marcelo Finger, Renata Wassermann
2006	—	`conf`	Classifying Ontologies. WONTO Fábio N. Kepler, Christian Paz-Trillo, Joselyto Riani, Márcio Moretto Ribeiro, Karina Valdivia Delgado, Leliane Nunes de Barros, Renata Wassermann
2006	—	`conf`	First Steps Towards Revising Ontologies. WONTO Márcio Moretto Ribeiro, Renata Wassermann
2006	J	`jnl`	The universe of propositional approximations. Theor. Comput. Sci. Marcelo Finger, Renata Wassermann
2005	J	`jnl`	An Information Retrieval Application using Ontologies. J. Braz. Comput. Soc. Christian Paz-Trillo, Renata Wassermann, Paula P. Braga
2005	C	`conf`	Intelligent mobile multi-robotic systems: some challenges and possible solutions. ICINCO Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger
2004	J	`jnl`	Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. Marcelo Finger, Renata Wassermann
2004	—	`conf`	Using Relevance to Speed Up Inference. Some Empirical Results. SBIA Joselyto Riani, Renata Wassermann
2003	J	`jnl`	Generalized Change and the Meaning of Rationality Postulates. Stud Logica Renata Wassermann
2003	C	`conf`	The Universe of Approximations. WoLLIC Marcelo Finger, Renata Wassermann
2002	—	`conf`	Attacking the Complexity of Prioritized Inference Preliminary Report. SBIA Renata Wassermann, Samir Chopra
2002	A	`conf`	Expressivity and Control in Limited Reasoning. ECAI Marcelo Finger, Renata Wassermann
2002	J	`jnl`	Local Change. Stud Logica Sven Ove Hansson, Renata Wassermann
2002	—	`conf`	Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA Marcelo Finger, Renata Wassermann
2001	J	`jnl`	Approximate Belief Revision. Log. J. IGPL Samir Chopra, Rohit Parikh, Renata Wassermann
2001	J	`jnl`	Local Diagnosis. J. Appl. Non Class. Logics Renata Wassermann
2000	A*	`conf`	An Algorithm for Belief Revision. KR Renata Wassermann
2000	—	`conf`	Full Acceptance via Argumentation. IBERAMIA-SBIA 2000 Open Discussion Track Daniela Vasconcelos Carbogim, Renata Wassermann
2000	J	`jnl`	Local Diagnosis CoRR Renata Wassermann