Publications of Magdalena Ortiz

My most recent work is on query answering in expressive description logics.

I also wrote my Master Thesis on this topic.
The results of my thesis, with some later corrections and improvements, can be found in this Technical Report.

An article on my previous work with Mauricio Osorio appeared recently. It's about strong negation in Answer Set Programming:

A bit independently of my main line of research, with the help of Carlos Areces, I proposed last year a sequent calculus for Categorial Logics with hybrid operators.

Most of my older publications are related to Answer Set Programming.
Some of them can be found on the DBLP server, but the list is not complete. A not-always up-to-date list of publications is here (pdf)
If you are interested in any of my work and you don't find it here, please mail me.

Back to my homepage.