Concepedia

Renata Wassermann

RW

15

Publications

377

Citations

12

H-Index

2000

Active since

Affiliations

Universidade de São Paulo(Current)

Simon Fraser University

Renata Wassermann is an author at Universidade de São Paulo specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceKnowledge RepresentationMathematical ProgrammingSemanticsOntologiesLinguisticsData Science

Publications per year

2000–2018

15

Publications

15

Base Revision for Ontology Debugging

Márcio Moretto Ribeiro, Renata Wassermann · Journal of Logic and Computation · 2008 · 61 citations

Renata Wassermann · Studia Logica · 2002 · 50 citations · Full text

Minimal change: Relevance and recovery revisited

Márcio Moretto Ribeiro, Renata Wassermann, Giorgos Flouris et al. · Artificial Intelligence · 2013 · 36 citations · Full text

Public Policy, Change Impact Analysis, Change Management +2

Horn clause contraction functions: belief set and belief base approaches

James P. Delgrande, Renata Wassermann · Principles of Knowledge Representation and Reasoning · 2010 · 32 citations

Engineering, Belief Set, Higher-order Logic +16

Horn Clause Contraction Functions

James P. Delgrande, Renata Wassermann · Journal of Artificial Intelligence Research · 2013 · 31 citations · Full text

Artificial Intelligence, Horn Belief, Non-classical Logic +12

Rows per page

1–5 of 15