| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa |
Inconsistent-tolerant base revision through Argument Theory Change.  |
Logic Journal of the IGPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Wassermann |
On AGM for Non-Classical Logics. |
J. Philosophical Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo T. Guerra, Renata Wassermann |
Belief Revision on Computation Tree Logic. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann, Fabio Gagliardi Cozman |
Satisfiability in EL with Sets of Probabilistic ABoxes. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann |
Horn Belief Change: A Contraction Core. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo T. Guerra, Renata Wassermann |
Revision of CTL Models. |
IBERAMIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa |
An Argumentation Machinery to Reason over Inconsistent Ontologies. |
IBERAMIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Renata Wassermann |
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Márcio Moretto Ribeiro, Renata Wassermann |
Base Revision for Ontology Debugging. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Revising Specifications with CTL Properties Using Bounded Model Checking. |
SBIA |
2008 |
DBLP DOI BibTeX RDF |
Model-checking, formal specification, belief revision, CTL |
| 1 | Márcio Moretto Ribeiro, Renata Wassermann |
The Ontology Reviser Plug-In for Protégé. |
WONTO |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Anytime Approximations of Classical Logic from Above. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
The universe of propositional approximations. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Moretto Ribeiro, Renata Wassermann |
First Steps Towards Revising Ontologies. |
WONTO |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fábio Natanael Kepler, Christian Paz-Trillo, Joselyto Riani, Márcio Moretto Ribeiro, Karina Valdivia Delgado, Leliane Nunes de Barros, Renata Wassermann |
Classifying Ontologies. |
WONTO |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christian Paz-Trillo, Renata Wassermann, Paula P. Braga |
An Information Retrieval Application using Ontologies. |
J. Braz. Comp. Soc. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joselyto Riani, Renata Wassermann |
Using Relevance to Speed Up Inference. Some Empirical Results. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Wassermann |
Generalized Change and the Meaning of Rationality Postulates. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
The Universe of Approximations. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Ove Hansson, Renata Wassermann |
Local Change. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Expressivity and Control in Limited Reasoning. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann |
Logics for Approximate Reasoning: Approximating Classical Logic "From Above". |
SBIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Wassermann, Samir Chopra |
Attacking the Complexity of Prioritized Inference Preliminary Report. |
SBIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Wassermann |
Local Diagnosis. |
Journal of Applied Non-Classical Logics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Samir Chopra, Rohit Parikh, Renata Wassermann |
Approximate Belief Revision. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Wassermann |
Local Diagnosis |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Daniela V. Carbogim, Renata Wassermann |
Full Acceptance via Argumentation. |
IBERAMIA-SBIA 2000 Open Discussion Track |
2000 |
DBLP BibTeX RDF |
|
| 1 | Renata Wassermann |
An Algorithm for Belief Revision. |
KR |
2000 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")