1
NIL
Renata Wassermann's Home Page
-----This page is always under construction.
Suggestions are welcome.
About Me
2
http://www.wins.uva.nl/research/illc
PhD student at the Institute for Logic, Language and Computation of the University of Amsterdam since September, 1995.
3
http://www.ime.usp.br/
MSc in Computer Science at the Institute of Mathematics and Statistics of the University of São Paulo
Some Papers
Here you find some articles in postscript format. Some of them are also available in HTML.
4
http://turing.wins.uva.nl/~renata/pap26_5.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.
5
http://turing.wins.uva.nl/~renata/tese.ps.gz
"The Logic of Feature Structures and its Applications" (In Portuguese) - Master's thesis, 1995.
6
http://turing.wins.uva.nl/~renata/DGwork.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.
7
http://turing.wins.uva.nl/~renata/CS98.ps.gz
"Local Change: A Preliminary Report" - with Sven Ove Hansson, presented at the Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London, 1998. (HTML version)
8
http://turing.wins.uva.nl/~renata/Erkenntnis.ps.gz
"Resource Bounded Belief Revision" - presented at the Workshop on Coherence and Dynamics of Belief, Konstanz, 1998.
9
http://turing.wins.uva.nl/~renata/Trento98.ps.gz
"On Structured Belief Bases" - presented at the Seventh International Workshop on Nonmonotonic Reasoning ( NM'98 ), Trento, 1998.
10
http://turing.wins.uva.nl/~renata/Wollic98.ps.gz
"Revising Concepts" - accepted for the Fifth Workshop on Logic, Language, Information and Comunication ( WoLLIC'98 ), São Paulo, 1998.
Some Interesting Links
Scientific:
11
http://u2.newcastle.edu.au/webworld/belief.revision/
Belief Revision on the WWW
12
http://www.ida.liu.se/ext/etai/
Eletronic Transactions on AI ( ETAI )
13
http://colibri.let.ruu.nl/
Colibri Agenda
14
http://www.wins.uva.nl/research/ozsl/lin/
Logic in the Netherlands ( LIN )
Miscelaneous:
15
http://www.telebyte.nl/bioscoop/nederland/amsterdam.html
Bioscoop Agenda
16
http://www.concert.nl/
Concert Agenda
17
http://postcards.www.media.mit.edu/Postcards/
Eletric Postcard
18
http://www.uol.com.br/fsp/
Universo On-Line - Folha de São Paulo
19
http://www.estado.com.br
O Estado De Sao Paulo
20
http://www.cnn.com/
CNN Interactive
21
http://www.travlang.com/
Travel and Language ( travlang )
22
http://www.embratel.net.br/infoserv/donati/mpb.htm
MPB (Música Popular Brasileira)
If you have comments or suggestions, email me at renata@wins.uva.nl 