Renata Wassermann's Selected Publications

"A Contraction Core for Horn Belief Change: Preliminary Report" - with Booth, R., Meyer, T., Varzinczak, I.. In: 13th international workshop on Non-Monotonic Reasoning, 2010, Toronto.
"Horn Clause Contraction Functions: Belief Set and Belief Base Approaches" - with Jim Delgrande. In: International Conference on the Principles of Knowledge Representation and Reasoning, 2010, Toronto.
"Belief Contraction in Web-Ontology Languages" - with Marcio Moretto Ribeiro, Grigoris Antoniou, Giorgos Flouris and Jeff Pan. In: International Workshop on Ontology Dynamics (IWOD), 2009, Washington.
"AGM Revision for Description Logics" - with Marcio Moretto Ribeiro. In: The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 2009, Pasadena, CA.
"Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative Approach" - with Martin Moguillansky. In: The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 2009, Pasadena, CA.
"Base Revision for Ontology Debugging" - with Marcio Moretto Ribeiro. Journal of Logic and Computation, v. ??, p. ??, 2009.
"Revising Specifications with CTL Properties Using Bounded Model Checking" - with Marcelo Finger. In: Simpósio Brasileiro de Inteligência Artificial (SBIA), 2008, Salvador. Advances in Artificial Intelligence - SBIA 2008 (LNAI). Berlin/Heidelberg : Springer, 2008. v. 5249. p. 157-166.
"The Ontology Reviser Plug-In for Protégé" - with Marcio Moretto Ribeiro. In: WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS (WONTO 2008), 2008, Salvador.
"Degrees of Recovery and Inclusion in Belief Base Dynamics" - with Marcio Moretto Ribeiro. In: Twelfth International Workshop on Non-Monotonic Reasoning, 2008, Sydney. Proceedings of NMR-2008, 2008.
"Handling Inconsistencies in CTL Model-Checking using Belief Revision" - with Thiago Carvalho de Sousa. In: Brazilian Symposium on Formal Methods (SBMF), 2007, Ouro Preto.
"Base Revision in Description Logics - Preliminary Results" - with Marcio Moretto Ribeiro. In: International Workshop on Ontology Dynamics (IWOD), 2007, Innsbruck, Austria.
"Anytime Approximations of Classical Logic from Above" - with Marcelo Finger. Journal of Logic and Computation, v. 17, p. 53-82, 2007.
"Classifying Ontologies" - with Fabio Kepler, Christian Paz-Trillo, Joselyto Riani, Marcio Moretto-Ribeiro, Karina Valdivia-Delgado and Leliane Nunes de Barros. In: 2nd Workshop on Ontologies and their Applications (WONTO'2006), 2006, Ribeirão Preto.
"First Steps Towards Revising Ontologies" - with Marcio Moretto Ribeiro. In: 2nd Workshop on Ontologies and their Applications (WONTO'2006), 2006, Ribeirão Preto.
"The Universe of Propositional Approximations" - with Marcelo Finger. Theoretical Computer Science, v. 355, n. 2, p. 153-166, 2006.
"An Information Retrieval Application using Ontologies" - with Christian Paz-Trillo and Paula P. Braga. Journal of the Brazilian Computer Society, v. 11, n. 2, p. 17-31, 2005.
"Intelligent mobile multi-robotic systems: some challenges and possible solutions" - with Flavio S. C. da Silva, Ana Cristina V. de Melo, Leliane Nunes de Barros and Marcelo Finger. In: International Conference on Informatics in Control, Automation and Robotics (ICINCO), 2005, Barcelona.
"Using Relevance to Speed up Inference" - with Joselyto Riani. In: Simpósio Brasileiro de Inteligência Artificial, 2004, São Luís. Advances in Artificial Intelligence (Lecture Notes in Artificial Intelligence), 2004. v. 3171. p. 21-30.
"Using Ontologies to Retrieve Video Information" - with Christian Paz-Trillo and Paula P. Braga. In: Workshop on Ontologies and their Applications, 2004, São Luís. Proceedings of the workshop on Ontologies and their Applications, 2004.
"Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control"- with Marcelo Finger. Journal of Logic and Computation, 14(2), pp. 179-204, 2004.(ps.gz)
"The Universe of Approximations"- with Marcelo Finger. Proceedings of Wollic 2003.(ps.gz)
"Generalized Change and the Meaning of Rationality Postulates". Studia logica, v. 73, n. 2, p. 299-319, 2003.(ps.gz)
"Logics for Approximate Reasoning: Approximating Classical Logic "From Above""- with Marcelo Finger. Proceedings of SBIA'02.(ps.gz)
"Attacking the complexity of prioritized inference - Preliminary Report"- with Samir Chopra. Proceedings of SBIA'02.(ps.gz)
"Expressivity and Control in Limited Reasoning" - with Marcelo Finger. Proceedings of ECAI 2002.(ps.gz)
"Local Change" - with Sven Ove Hansson. Studia logica, v. 70, n. 1, p. 49-76, 2002.
"Abductive Expansion of Belief Bases" - with Wagner Dias. Proceedings of the IJCAI Workshop on Abductive Reasoning, Seattle, August 2001.(ps.gz)
"Tableaux for Approximate Reasoning" - with Marcelo Finger. Proceedings of the IJCAI Workshop on Inconsistency in Data and Knowledge, Seattle, August 2001.(ps.gz)
"Approximate Reasoning and Paraconsistency - Preliminary Report" - with Marcelo Finger. Proceedings of the Eigth Workshop on Logic, Language, Information and Comunication (WoLLIC'2001), Brasilia, August 2001.(ps.gz)
"Full Acceptance via Argumentation" - with Daniela Carbogim. Proceedings of the Discussion Track of SBIA/IBERAMIA, Atibaia, November 2000.(ps.gz)
"Approximate Belief Revision - A Preliminary Report" - with Samir Chopra and Rohit Parikh. Proceedings of the Seventh Workshop on Logic, Language, Information and Comunication (WoLLIC'2000), Natal, August 2000.(ps.gz)
"Local Diagnosis" - Proceedings of the Eighth International Workshop on Nonmonotonic Reasoning (NMR2000).(ps.gz)
"An Algorithm for Belief Revision" - Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Morgan Kaufmann.(ps.gz)
"A Note on Prototype Revision" - with Eduardo Fermé, In "Spinning Ideas" (Electronic Essays dedicated to Peter Gärdenfors on his 50th Birthday). Also available as Research Report PP-1999-18 in the ILLC Series.(ps.gz)
"Full Acceptance Through Argumentation - A Preliminary Report" - Proceedings of the IJCAI Workshop on Practical Reasoning and Rationality (PRR), Stockholm, 1999.(ps.gz)
"On Structured Belief Bases" - In H.Rott and M.Williams (eds.) Frontiers in Belief Revision, Kluwer, 2001.(ps.gz)
"Local Change" - with Sven Ove Hansson, Research Report PP-1999-17 in the ILLC Series. (ps.gz)
"Revising Concepts" - Proceedings of the Fifth Workshop on Logic, Language, Information and Comunication (WoLLIC'98), São Paulo, 1998.(ps.gz)
"On Structured Belief Bases - A Preliminary Report" - presented at the Seventh International Workshop on Nonmonotonic Reasoning (NM'98), Trento, 1998.(ps.gz)
"Resource Bounded Belief Revision" - presented at the Workshop on Coherence and Dynamics of Belief, Konstanz, 1998. Appeared in Erkenntnis (vol.50, num.2-3, 1999).(ps.gz)
"Local Change: A Preliminary Report" - with Sven Ove Hansson, presented at the Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London, 1998.(ps.gz)
"Towards a Theory of Resource Bounded Belief Revision" - appeared in the proceedings of the 3rd Dutch-German Workshop in Non-Monotonic Reasoning, Saarbruecken, 1997.(ps.gz)
"The Logic of Feature Structures and its Applications" (In Portuguese) - Master's thesis, 1995.(ps.gz)
"Towards Efficient Modelling of Distributed Knowledge Using Equational and Order-Sorted Logic" - with Flávio S. Corrêa da Silva, appeared in the proceedings of the XI Brazilian Symposium on Artificial Intelligence, Fortaleza, 1994.(ps.gz)

HOME