Playing with models, again...

Gavin Bierman wrote a very clear paper "What is a Categorical Model of Intuitionistic Linear Logic?" in 1995. Andrea Schalk has some detailed notes on her web page "What is a Categorical Model of Linear Logic?" Paul-Andre Mellies has two versions "Categorical models of linear logic revisited" (2003) and "Categorical Semantics of Linear Logic" (2012).  Together with Milly Maietti, Paola Maneggia and Eike Ritter, I have Relating Categorical Semantics for Intuitionistic Linear Logic.  By myself I have Categorical Semantics of Linear Logic for All, which needs some cleaning up and updating in places. Why do we need so many? Need to write a post with preliminary conclusions.

Paraty is drawing closer...

As usual, things got a bit delayed, so I have no slides, yet, for Proof Theory 2012. But I know I'm staying at "Pousada Villas de Paraty" and I have a ticket. so far, so good.

I also got invited by Jean-Yves Beziau to talk at Logic in Rio, so need to think about that too.

I now have a title "Who's Afraid of Categorical Models?" and a minimal abstract. Have decided to revisit a manuscript from 2006 "Categorical Semantics of Linear Logic For All", kind of the reason why I called this blog "Forro' Logico".

Bib Woes

Need to discover what is written in our these papers/notes below. And need to decide what to improve and how to go about it...

Update: Just re-read this and should explain that I actually have helped writing these papers... :)

It's just that I get confused on which one is which and I don't think I have final versions of them all, so what I mean is that I need to get final versions out of gmail/dropbox/etc... and try to map out a way to carry on with this project.

the papers are:

de Paiva, Valeria, and Alexandre Rademaker. 2012. “Revisiting a Brazilian WordNet”. In Proceedings of Global Wordnet Conference. Matsue: Global Wordnet Association.more

Haeusler, Edward Hermann, Valeria de Paiva, and Alexandre Rademaker. 2011. “Intuitionistic Description Logic and Legal Reasoning”. In XVI The Brazilian Logic Conference. Petrópolis.more

Haeusler, Edward Hermann, Valeria de Paiva, and Alexandre Rademaker. 2011. “Intuitionistic Description Logic and Legal Reasoning”. In 2011 Database and Expert Systems Applications, DEXA, International Workshops. Toulouse: IEEE Computer Society. doi:10.1109/DEXA.2011.46.more

de Paiva, Valeria, Edward Hermann Haeusler, and Alexandre Rademaker. 2011. “Constructive Description Logics Hybrid-Style”. Electronic Notes In Theoretical Computer Science 273: 21–31.more

Haeusler, Edward Hermann, Valeria de Paiva, and Alexandre Rademaker. 2010. “Using Intuitionistic Logic As a Basis For Legal Ontologies”. In Proceedings of the 4th Workshop On Legal Ontologies and Artificial Intelligence Techniques. Fiesole (Florence): European University Institute.more

Haeusler, Edward Hermann, Valeria de Paiva, and Alexandre Rademaker. 2010. “Using Intuitionistic Logic As a Basis For Legal Ontologies”. Informatica E Diritto (Journal On Informatics and Law) 1: 289–298.more

Haeusler, Edward Hermann, Valeria de Paiva, and Alexandre Rademaker. 2010. “Intuitionistic Logic and Legal Ontologies”. In Frontiers In Artificial Intelligence and Applications. Amsterdam: IOS Press. doi:10.3233/978-1-60750-682-9-

155.more

de Paiva, Valeria, Edward Hermann Haeusler, and Alexandre Rademaker. 2010. “Constructive Description Logic, Hybrid-Style”. In Pre-Proceedings of International Workshop On Hybrid Logic and Applications. Edinburgh.more

Resources and Reasoning: a new project?

Actually, it is the continuation of "Logics and Ontologies for Portuguese" which started in July, 2011.
Resources & Reasoning has three main goals:
1. Measure and  improve the accuracy of OpenWordNet-PT;
2. Choose and implement a version of named entity recognition for Brazilian Portuguese;
3. Demonstrate the feasibility of a prototype for reasoning about relationships between historical characters in the DHBB, using SUMO-Sigma and the resources we have created.

Writing research projects is hard work, as you don't want to promise too much and not live up to people's expectations. But you also do not want to promise too little and risk people not getting excited about the project at all. Finally there some bits that even if not the most exciting things, need to be done so that you do get to the exciting ones and you must try to show some enthusiasm for these boring bits too.

More on Logics and Ontologies for Portuguese

It's  rather annoying that all my photos of the meeting at Thanksgiving last year at FGV in Rio seem to have disappeared. Must write to Alexandre and Gerard and ask about theirs. Meanwhile just to facilitate my blog-navigation here's the link to the place where I try to keep information about natural language adventures.

I'm really chuffed with Francis Bond search interface to a collection of WordNets, including our OpenWN-PT,  and have to stop myself playing with it. Must  focus on the work that I need to get done. but yeah, maybe I should write down all the exciting possibilities I see for it, before I forget them...

Update: got some pictures from Alexandre, who's visiting California, yay.