Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence

Book title Buchtitel

ISBN

978-1-57735-513-7

Editor Herausgeber_in

Walsh, Toby

Publisher Herausgeber

AAAI Press/International Joint Conferences on Artificial Intelligence

Place of publishing Erscheinungsort

Menlo Park, California

Filter:

Author: Ortiz de la Fuente, M.Magdalena

Results 1-3 of 3 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

	Author(s)	Title	Type	Issue Date
1	Calvanese, Diego ; Carbotta, Domenico ; Ortiz de la Fuente, M.Magdalena	A Practical Automata-Based Technique for Reasoning in Expressive Description Logics	Konferenzbeitrag Inproceedings	2011
2	Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas	Containment of Regular Path Queries under Description Logic Constraints	Konferenzbeitrag Inproceedings	2011
3	Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas	Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ	Konferenzbeitrag Inproceedings	2011