BibTeX records: Magdalena Ortiz

download as .bib file

@article{DBLP:journals/dagstuhl-manifestos/AbiteboulABBCD018,
  author    = {Serge Abiteboul and
               Marcelo Arenas and
               Pablo Barcel{\'{o}} and
               Meghyn Bienvenu and
               Diego Calvanese and
               Claire David and
               Richard Hull and
               Eyke H{\"{u}}llermeier and
               Benny Kimelfeld and
               Leonid Libkin and
               Wim Martens and
               Tova Milo and
               Filip Murlak and
               Frank Neven and
               Magdalena Ortiz and
               Thomas Schwentick and
               Julia Stoyanovich and
               Jianwen Su and
               Dan Suciu and
               Victor Vianu and
               Ke Yi},
  title     = {Research Directions for Principles of Data Management (Dagstuhl Perspectives
               Workshop 16151)},
  journal   = {Dagstuhl Manifestos},
  volume    = {7},
  number    = {1},
  pages     = {1--29},
  year      = {2018},
  url       = {https://doi.org/10.4230/DagMan.7.1.1},
  doi       = {10.4230/DagMan.7.1.1},
  timestamp = {Tue, 10 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-manifestos/AbiteboulABBCD018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BajraktariOS18,
  author    = {Labinot Bajraktari and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Combining Rules and Ontologies into Clopen Knowledge Bases},
  booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               (AAAI-18), the 30th innovative Applications of Artificial Intelligence
               (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
               Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
               2-7, 2018},
  pages     = {1728--1735},
  year      = {2018},
  crossref  = {DBLP:conf/aaai/2018},
  url       = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16991},
  timestamp = {Tue, 23 Oct 2018 06:42:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/BajraktariOS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AndreselIOS18,
  author    = {Medina Andresel and
               Yazmin Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Taming Complex Role Inclusions for DL-Lite},
  booktitle = {Proceedings of the 31st International Workshop on Description Logics
               co-located with 16th International Conference on Principles of Knowledge
               Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
               27th - to - 29th, 2018.},
  year      = {2018},
  crossref  = {DBLP:conf/dlog/2018},
  url       = {http://ceur-ws.org/Vol-2211/paper-05.pdf},
  timestamp = {Thu, 01 Nov 2018 18:23:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/AndreselIOS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BohmO18,
  author    = {Katinka B{\"{o}}hm and
               Magdalena Ortiz},
  title     = {A Tool for Building Topic-specific Ontologies Using a Knowledge Graph},
  booktitle = {Proceedings of the 31st International Workshop on Description Logics
               co-located with 16th International Conference on Principles of Knowledge
               Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
               27th - to - 29th, 2018.},
  year      = {2018},
  crossref  = {DBLP:conf/dlog/2018},
  url       = {http://ceur-ws.org/Vol-2211/paper-10.pdf},
  timestamp = {Thu, 01 Nov 2018 18:23:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BohmO18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AhmetajOS18,
  author    = {Shqiponja Ahmetaj and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Rewriting Guarded Existential Rules into Small Datalog Programs},
  booktitle = {21st International Conference on Database Theory, {ICDT} 2018, March
               26-29, 2018, Vienna, Austria},
  pages     = {4:1--4:24},
  year      = {2018},
  crossref  = {DBLP:conf/icdt/2018},
  url       = {https://doi.org/10.4230/LIPIcs.ICDT.2018.4},
  doi       = {10.4230/LIPIcs.ICDT.2018.4},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/AhmetajOS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BajraktariOS18,
  author    = {Labinot Bajraktari and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Compiling Model Representations for Querying Large ABoxes in Expressive
               DLs},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden.},
  pages     = {1691--1698},
  year      = {2018},
  crossref  = {DBLP:conf/ijcai/2018},
  url       = {https://doi.org/10.24963/ijcai.2018/234},
  doi       = {10.24963/ijcai.2018/234},
  timestamp = {Sat, 28 Jul 2018 14:39:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BajraktariOS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ortiz18,
  author    = {Magdalena Ortiz},
  title     = {Improving Data Management using Domain Knowledge},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden.},
  pages     = {5709--5713},
  year      = {2018},
  crossref  = {DBLP:conf/ijcai/2018},
  url       = {https://doi.org/10.24963/ijcai.2018/814},
  doi       = {10.24963/ijcai.2018/814},
  timestamp = {Sat, 28 Jul 2018 14:39:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/Ortiz18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AndreselIOS18,
  author    = {Medina Andresel and
               Yazmin Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Relaxing and Restraining Queries for {OBDA} - Extended Abstract},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018.},
  pages     = {617--618},
  year      = {2018},
  crossref  = {DBLP:conf/kr/2018},
  url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18061},
  timestamp = {Thu, 18 Oct 2018 09:44:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/AndreselIOS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2018,
  editor    = {Magdalena Ortiz and
               Thomas Schneider},
  title     = {Proceedings of the 31st International Workshop on Description Logics
               co-located with 16th International Conference on Principles of Knowledge
               Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
               27th - to - 29th, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2211},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2211},
  urn       = {urn:nbn:de:0074-2211-6},
  timestamp = {Thu, 01 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-02850,
  author    = {Medina Andresel and
               Yazmin Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Relaxing and Restraining Queries for {OBDA}},
  journal   = {CoRR},
  volume    = {abs/1808.02850},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.02850},
  archivePrefix = {arXiv},
  eprint    = {1808.02850},
  timestamp = {Tue, 23 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1808-02850},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AhmetajCOS17,
  author    = {Shqiponja Ahmetaj and
               Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Managing Change in Graph-Structured Data Using Description Logics},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {18},
  number    = {4},
  pages     = {27:1--27:35},
  year      = {2017},
  url       = {https://doi.org/10.1145/3143803},
  doi       = {10.1145/3143803},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/AhmetajCOS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BajraktariOS17,
  author    = {Labinot Bajraktari and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Clopen Knowledge Bases: Combining Description Logics and Answer Set
               Programming},
  booktitle = {Proceedings of the 30th International Workshop on Description Logics,
               Montpellier, France, July 18-21, 2017.},
  year      = {2017},
  crossref  = {DBLP:conf/dlog/2017},
  url       = {http://ceur-ws.org/Vol-1879/paper62.pdf},
  timestamp = {Thu, 20 Jul 2017 09:42:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BajraktariOS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LabaiHO17,
  author    = {Nadia Labai and
               Martin Homola and
               Magdalena Ortiz},
  title     = {Constructive Satisfiability Procedure for ALC\({}^{\mbox{P}}\)(Z)
               (Preliminary Report)},
  booktitle = {Proceedings of the 30th International Workshop on Description Logics,
               Montpellier, France, July 18-21, 2017.},
  year      = {2017},
  crossref  = {DBLP:conf/dlog/2017},
  url       = {http://ceur-ws.org/Vol-1879/paper16.pdf},
  timestamp = {Thu, 20 Jul 2017 09:42:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/LabaiHO17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/FermullerHO17,
  author    = {Christian G. Ferm{\"{u}}ller and
               Matthias F. J. Hofer and
               Magdalena Ortiz},
  title     = {Querying with Vague Quantifiers Using Probabilistic Semantics},
  booktitle = {Flexible Query Answering Systems - 12th International Conference,
               {FQAS} 2017, London, UK, June 21-22, 2017, Proceedings},
  pages     = {15--27},
  year      = {2017},
  crossref  = {DBLP:conf/fqas/2017},
  url       = {https://doi.org/10.1007/978-3-319-59692-1\_2},
  doi       = {10.1007/978-3-319-59692-1\_2},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fqas/FermullerHO17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbiteboulABBCDH17,
  author    = {Serge Abiteboul and
               Marcelo Arenas and
               Pablo Barcel{\'{o}} and
               Meghyn Bienvenu and
               Diego Calvanese and
               Claire David and
               Richard Hull and
               Eyke H{\"{u}}llermeier and
               Benny Kimelfeld and
               Leonid Libkin and
               Wim Martens and
               Tova Milo and
               Filip Murlak and
               Frank Neven and
               Magdalena Ortiz and
               Thomas Schwentick and
               Julia Stoyanovich and
               Jianwen Su and
               Dan Suciu and
               Victor Vianu and
               Ke Yi},
  title     = {Research Directions for Principles of Data Management (Dagstuhl Perspectives
               Workshop 16151)},
  journal   = {CoRR},
  volume    = {abs/1701.09007},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.09007},
  archivePrefix = {arXiv},
  eprint    = {1701.09007},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbiteboulABBCDH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AbiteboulABBCDH16,
  author    = {Serge Abiteboul and
               Marcelo Arenas and
               Pablo Barcel{\'{o}} and
               Meghyn Bienvenu and
               Diego Calvanese and
               Claire David and
               Richard Hull and
               Eyke H{\"{u}}llermeier and
               Benny Kimelfeld and
               Leonid Libkin and
               Wim Martens and
               Tova Milo and
               Filip Murlak and
               Frank Neven and
               Magdalena Ortiz and
               Thomas Schwentick and
               Julia Stoyanovich and
               Jianwen Su and
               Dan Suciu and
               Victor Vianu and
               Ke Yi},
  title     = {Research Directions for Principles of Data Management (Abridged)},
  journal   = {{SIGMOD} Record},
  volume    = {45},
  number    = {4},
  pages     = {5--17},
  year      = {2016},
  url       = {https://doi.org/10.1145/3092931.3092933},
  doi       = {10.1145/3092931.3092933},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigmod/AbiteboulABBCDH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/AhmetajOS16,
  author    = {Shqiponja Ahmetaj and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed
               Predicates},
  booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Panama City, Panama, May 8-10, 2016},
  year      = {2016},
  crossref  = {DBLP:conf/amw/2016},
  url       = {http://ceur-ws.org/Vol-1644/paper19.pdf},
  timestamp = {Tue, 19 Jul 2016 17:43:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/AhmetajOS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/NgoOS16,
  author    = {Nhung Ngo and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Closed Predicates in Description Logics: Results on Combined Complexity},
  booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Panama City, Panama, May 8-10, 2016},
  year      = {2016},
  crossref  = {DBLP:conf/amw/2016},
  url       = {http://ceur-ws.org/Vol-1644/paper8.pdf},
  timestamp = {Tue, 19 Jul 2016 17:43:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/NgoOS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AhmetajOS16,
  author    = {Shqiponja Ahmetaj and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive
               Description Logics},
  booktitle = {Proceedings of the 29th International Workshop on Description Logics,
               Cape Town, South Africa, April 22-25, 2016.},
  year      = {2016},
  crossref  = {DBLP:conf/dlog/2016},
  url       = {http://ceur-ws.org/Vol-1577/paper\_26.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/AhmetajOS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AndreselOS16,
  author    = {Medina Andresel and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {A Compilation Technique for Interactive Ontology-mediated Data Exploration},
  booktitle = {Proceedings of the 29th International Workshop on Description Logics,
               Cape Town, South Africa, April 22-25, 2016.},
  year      = {2016},
  crossref  = {DBLP:conf/dlog/2016},
  url       = {http://ceur-ws.org/Vol-1577/paper\_37.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/AndreselOS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CalvaneseOS16,
  author    = {Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Verification of Evolving Graph-structured Data under Expressive Path
               Constraints},
  booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
               France, March 15-18, 2016},
  pages     = {15:1--15:19},
  year      = {2016},
  crossref  = {DBLP:conf/icdt/2016},
  url       = {https://doi.org/10.4230/LIPIcs.ICDT.2016.15},
  doi       = {10.4230/LIPIcs.ICDT.2016.15},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/CalvaneseOS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AhmetajOS16,
  author    = {Shqiponja Ahmetaj and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Polynomial Datalog Rewritings for Expressive Description Logics with
               Closed Predicates},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {878--885},
  year      = {2016},
  crossref  = {DBLP:conf/ijcai/2016},
  url       = {http://www.ijcai.org/Abstract/16/129},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/AhmetajOS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/NgoOS16,
  author    = {Nhung Ngo and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Closed Predicates in Description Logics: Results on Combined Complexity},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fifteenth International Conference, {KR} 2016, Cape Town, South
               Africa, April 25-29, 2016.},
  pages     = {237--246},
  year      = {2016},
  crossref  = {DBLP:conf/kr/2016},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12906},
  timestamp = {Thu, 21 Apr 2016 20:01:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/NgoOS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2016,
  editor    = {Magdalena Ortiz and
               Stefan Schlobach},
  title     = {Web Reasoning and Rule Systems - 10th International Conference, {RR}
               2016, Aberdeen, UK, September 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9898},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45276-0},
  doi       = {10.1007/978-3-319-45276-0},
  isbn      = {978-3-319-45275-3},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rr/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BienvenuOS15,
  author    = {Meghyn Bienvenu and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Regular Path Queries in Lightweight Description Logics: Complexity
               and Algorithms},
  journal   = {J. Artif. Intell. Res.},
  volume    = {53},
  pages     = {315--374},
  year      = {2015},
  url       = {https://doi.org/10.1613/jair.4577},
  doi       = {10.1613/jair.4577},
  timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jair/BienvenuOS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/BienvenuOS15,
  author    = {Meghyn Bienvenu and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Navigational Queries Based on Frontier-Guarded Datalog: Preliminary
               Results},
  booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Lima, Peru, May 6 - 8, 2015.},
  year      = {2015},
  crossref  = {DBLP:conf/amw/2015},
  url       = {http://ceur-ws.org/Vol-1378/AMW\_2015\_paper\_33.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/BienvenuOS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/NgoOS15,
  author    = {Nhung Ngo and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {The Combined Complexity of Reasoning with Closed Predicates in Description
               Logics},
  booktitle = {Proceedings of the 28th International Workshop on Description Logics,
               Athens,Greece, June 7-10, 2015.},
  year      = {2015},
  crossref  = {DBLP:conf/dlog/2015},
  url       = {http://ceur-ws.org/Vol-1350/paper-34.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/NgoOS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/BienvenuO15,
  author    = {Meghyn Bienvenu and
               Magdalena Ortiz},
  title     = {Ontology-Mediated Query Answering with Data-Tractable Description
               Logics},
  booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School
               2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
  pages     = {218--307},
  year      = {2015},
  crossref  = {DBLP:conf/rweb/2015},
  url       = {https://doi.org/10.1007/978-3-319-21768-0\_9},
  doi       = {10.1007/978-3-319-21768-0\_9},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rweb/BienvenuO15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CalvaneseEO14,
  author    = {Diego Calvanese and
               Thomas Eiter and
               Magdalena Ortiz},
  title     = {Answering regular path queries in expressive Description Logics via
               alternating tree-automata},
  journal   = {Inf. Comput.},
  volume    = {237},
  pages     = {12--55},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.ic.2014.04.002},
  doi       = {10.1016/j.ic.2014.04.002},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/CalvaneseEO14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AhmetajCOS14,
  author    = {Shqiponja Ahmetaj and
               Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Managing Change in Graph-Structured Data Using Description Logics},
  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  pages     = {966--973},
  year      = {2014},
  crossref  = {DBLP:conf/aaai/2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8238},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/AhmetajCOS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/AhmetajCOS14,
  author    = {Shqiponja Ahmetaj and
               Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Planning and Change in Graph Structured Data under Description Logics
               Constraints},
  booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of
               Data Management, Cartagena de Indias, Colombia, June 4-6, 2014.},
  year      = {2014},
  crossref  = {DBLP:conf/amw/2014},
  url       = {http://ceur-ws.org/Vol-1189/paper\_21.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/AhmetajCOS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/BienvenuCOS14,
  author    = {Meghyn Bienvenu and
               Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Nested Regular Path Queries in Description Logics (Extended Abstract)},
  booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of
               Data Management, Cartagena de Indias, Colombia, June 4-6, 2014.},
  year      = {2014},
  crossref  = {DBLP:conf/amw/2014},
  url       = {http://ceur-ws.org/Vol-1189/paper\_34.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/BienvenuCOS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AhmetajCOS14,
  author    = {Shqiponja Ahmetaj and
               Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Planning Problems for Graph Structured Data in Description Logics},
  booktitle = {Informal Proceedings of the 27th International Workshop on Description
               Logics, Vienna, Austria, July 17-20, 2014.},
  pages     = {4--7},
  year      = {2014},
  crossref  = {DBLP:conf/dlog/2014},
  url       = {http://ceur-ws.org/Vol-1193/paper\_85.pdf},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/AhmetajCOS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuCOS14,
  author    = {Meghyn Bienvenu and
               Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Nested Regular Path Queries in Description Logics},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/kr/2014},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8000},
  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/BienvenuCOS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/OrtizS14,
  author    = {Magdalena Ortiz and
               Mantas Simkus},
  title     = {Revisiting the Hardness of Query Answering in Expressive Description
               Logics},
  booktitle = {Web Reasoning and Rule Systems - 8th International Conference, {RR}
               2014, Athens, Greece, September 15-17, 2014. Proceedings},
  pages     = {216--223},
  year      = {2014},
  crossref  = {DBLP:conf/rr/2014},
  url       = {https://doi.org/10.1007/978-3-319-11113-1\_18},
  doi       = {10.1007/978-3-319-11113-1\_18},
  timestamp = {Wed, 24 May 2017 08:28:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rr/OrtizS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2014,
  editor    = {Meghyn Bienvenu and
               Magdalena Ortiz and
               Riccardo Rosati and
               Mantas Simkus},
  title     = {Informal Proceedings of the 27th International Workshop on Description
               Logics, Vienna, Austria, July 17-20, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1193},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1193},
  urn       = {urn:nbn:de:0074-1193-9},
  timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseOSS14,
  author    = {Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus and
               Giorgio Stefanoni},
  title     = {Reasoning about Explanations for Negative Query Answers in DL-Lite},
  journal   = {CoRR},
  volume    = {abs/1402.0575},
  year      = {2014},
  url       = {http://arxiv.org/abs/1402.0575},
  archivePrefix = {arXiv},
  eprint    = {1402.0575},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CalvaneseOSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BienvenuCOS14,
  author    = {Meghyn Bienvenu and
               Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Nested Regular Path Queries in Description Logics},
  journal   = {CoRR},
  volume    = {abs/1402.7122},
  year      = {2014},
  url       = {http://arxiv.org/abs/1402.7122},
  archivePrefix = {arXiv},
  eprint    = {1402.7122},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BienvenuCOS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AhmetajCOS14,
  author    = {Shqiponja Ahmetaj and
               Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Managing Change in Graph-structured Data Using Description Logics
               (long version with appendix)},
  journal   = {CoRR},
  volume    = {abs/1404.4274},
  year      = {2014},
  url       = {http://arxiv.org/abs/1404.4274},
  archivePrefix = {arXiv},
  eprint    = {1404.4274},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AhmetajCOS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CalvaneseOSS13,
  author    = {Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus and
               Giorgio Stefanoni},
  title     = {Reasoning about Explanations for Negative Query Answers in DL-Lite},
  journal   = {J. Artif. Intell. Res.},
  volume    = {48},
  pages     = {635--669},
  year      = {2013},
  url       = {https://doi.org/10.1613/jair.3870},
  doi       = {10.1613/jair.3870},
  timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jair/CalvaneseOSS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/Ortiz13,
  author    = {Magdalena Ortiz},
  title     = {Ontology Based Query Answering: The Story So Far},
  booktitle = {Proceedings of the 7th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23,
               2013.},
  year      = {2013},
  crossref  = {DBLP:conf/amw/2013},
  url       = {http://ceur-ws.org/Vol-1087/keynote3.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/Ortiz13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuOSX13,
  author    = {Meghyn Bienvenu and
               Magdalena Ortiz and
               Mantas Simkus and
               Guohui Xiao},
  title     = {Tractability Guarantees for DL-Lite Query Answering},
  booktitle = {Informal Proceedings of the 26th International Workshop on Description
               Logics, Ulm, Germany, July 23 - 26, 2013},
  pages     = {41--52},
  year      = {2013},
  crossref  = {DBLP:conf/dlog/2013},
  url       = {http://ceur-ws.org/Vol-1014/paper\_54.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BienvenuOSX13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseOS13,
  author    = {Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Evolving Graph Databases under Description Logic Constraints},
  booktitle = {Informal Proceedings of the 26th International Workshop on Description
               Logics, Ulm, Germany, July 23 - 26, 2013},
  pages     = {120--131},
  year      = {2013},
  crossref  = {DBLP:conf/dlog/2013},
  url       = {http://ceur-ws.org/Vol-1014/paper\_82.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/CalvaneseOS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BienvenuOS13,
  author    = {Meghyn Bienvenu and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Conjunctive Regular Path Queries in Lightweight Description Logics},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {761--767},
  year      = {2013},
  crossref  = {DBLP:conf/ijcai/2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6886},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BienvenuOS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BienvenuOSX13,
  author    = {Meghyn Bienvenu and
               Magdalena Ortiz and
               Mantas Simkus and
               Guohui Xiao},
  title     = {Tractable Queries for Lightweight Description Logics},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {768--774},
  year      = {2013},
  crossref  = {DBLP:conf/ijcai/2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6908},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BienvenuOSX13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EiterOS12,
  author    = {Thomas Eiter and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Conjunctive query answering in the description logic {SH} using knots},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {78},
  number    = {1},
  pages     = {47--85},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jcss.2011.02.012},
  doi       = {10.1016/j.jcss.2011.02.012},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/EiterOS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiterOSTX12,
  author    = {Thomas Eiter and
               Magdalena Ortiz and
               Mantas Simkus and
               Trung{-}Kien Tran and
               Guohui Xiao},
  title     = {Query Rewriting for Horn-SHIQ Plus Rules},
  booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada.},
  year      = {2012},
  crossref  = {DBLP:conf/aaai/2012},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4931},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/EiterOSTX12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuOS12,
  author    = {Meghyn Bienvenu and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Answering Expressive Path Queries over Lightweight {DL} Knowledge
               Bases},
  booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
               DL-2012, Rome, Italy, June 7-10, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/dlog/2012},
  url       = {http://ceur-ws.org/Vol-846/paper\_28.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BienvenuOS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/EiterOSTX12,
  author    = {Thomas Eiter and
               Magdalena Ortiz and
               Mantas Simkus and
               Trung{-}Kien Tran and
               Guohui Xiao},
  title     = {Towards Practical Query Answering for Horn-SHIQ},
  booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
               DL-2012, Rome, Italy, June 7-10, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/dlog/2012},
  url       = {http://ceur-ws.org/Vol-846/paper\_20.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/EiterOSTX12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseOSS12,
  author    = {Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus and
               Giorgio Stefanoni},
  title     = {The Complexity of Explaining Negative Query Answers in DL-Lite},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
               June 10-14, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/kr/2012},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4537},
  timestamp = {Wed, 11 Jul 2012 10:51:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/CalvaneseOSS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/OrtizS12,
  author    = {Magdalena Ortiz and
               Mantas Simkus},
  title     = {Reasoning and Query Answering in Description Logics},
  booktitle = {Reasoning Web. Semantic Technologies for Advanced Query Answering
               - 8th International Summer School 2012, Vienna, Austria, September
               3-8, 2012. Proceedings},
  pages     = {1--53},
  year      = {2012},
  crossref  = {DBLP:conf/rweb/2012},
  url       = {https://doi.org/10.1007/978-3-642-33158-9\_1},
  doi       = {10.1007/978-3-642-33158-9\_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rweb/OrtizS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseOSS11,
  author    = {Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus and
               Giorgio Stefanoni},
  title     = {The Complexity of Conjunctive Query Abduction in DL-Lite},
  booktitle = {Proceedings of the 24th International Workshop on Description Logics
               {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/dlog/2011},
  url       = {http://ceur-ws.org/Vol-745/paper\_49.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/CalvaneseOSS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseCO11,
  author    = {Diego Calvanese and
               Domenico Carbotta and
               Magdalena Ortiz},
  title     = {A Practical Automata-Based Technique for Reasoning in Expressive Description
               Logics},
  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  pages     = {798--804},
  year      = {2011},
  crossref  = {DBLP:conf/ijcai/2011},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-140},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-140},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/CalvaneseCO11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseOS11,
  author    = {Diego Calvanese and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Containment of Regular Path Queries under Description Logic Constraints},
  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  pages     = {805--812},
  year      = {2011},
  crossref  = {DBLP:conf/ijcai/2011},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-141},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-141},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/CalvaneseOS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OrtizRS11,
  author    = {Magdalena Ortiz and
               Sebastian Rudolph and
               Mantas Simkus},
  title     = {Query Answering in the Horn Fragments of the Description Logics {SHOIQ}
               and {SROIQ}},
  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  pages     = {1039--1044},
  year      = {2011},
  crossref  = {DBLP:conf/ijcai/2011},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-178},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-178},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/OrtizRS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuELOS10,
  author    = {Meghyn Bienvenu and
               Thomas Eiter and
               Carsten Lutz and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Query Answering in the Description Logic {S}},
  booktitle = {Proceedings of the 23rd International Workshop on Description Logics
               {(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/dlog/2010},
  url       = {http://ceur-ws.org/Vol-573/paper\_20.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BienvenuELOS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OrtizRS10,
  author    = {Magdalena Ortiz and
               Sebastian Rudolph and
               Mantas Simkus},
  title     = {Worst-Case Optimal Reasoning for the Horn-DL Fragments of {OWL} 1
               and 2},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
               Canada, May 9-13, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/kr/2010},
  url       = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1296},
  timestamp = {Wed, 23 Jun 2010 11:56:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/OrtizRS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseEO09,
  author    = {Diego Calvanese and
               Thomas Eiter and
               Magdalena Ortiz},
  title     = {Regular Path Queries in Expressive Description Logics with Nominals},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  pages     = {714--720},
  year      = {2009},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/124.pdf},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/CalvaneseEO09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterLOS09,
  author    = {Thomas Eiter and
               Carsten Lutz and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Query Answering in Description Logics with Transitive Roles},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  pages     = {759--764},
  year      = {2009},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/131.pdf},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/EiterLOS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/EiterLOS09,
  author    = {Thomas Eiter and
               Carsten Lutz and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Query Answering in Description Logics: The Knots Approach},
  booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
               WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
  pages     = {26--36},
  year      = {2009},
  crossref  = {DBLP:conf/wollic/2009},
  url       = {https://doi.org/10.1007/978-3-642-02261-6\_3},
  doi       = {10.1007/978-3-642-02261-6\_3},
  timestamp = {Wed, 14 Nov 2018 10:55:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wollic/EiterLOS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/OrtizCE08,
  author    = {Magdalena Ortiz and
               Diego Calvanese and
               Thomas Eiter},
  title     = {Data Complexity of Query Answering in Expressive Description Logics
               via Tableaux},
  journal   = {J. Autom. Reasoning},
  volume    = {41},
  number    = {1},
  pages     = {61--98},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10817-008-9102-9},
  doi       = {10.1007/s10817-008-9102-9},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/OrtizCE08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/OrtizSE08,
  author    = {Magdalena Ortiz and
               Mantas Simkus and
               Thomas Eiter},
  title     = {Worst-case Optimal Conjunctive Query Answering for an Expressive Description
               Logic without Inverses},
  booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages     = {504--510},
  year      = {2008},
  crossref  = {DBLP:conf/aaai/2008},
  url       = {http://www.aaai.org/Library/AAAI/2008/aaai08-080.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/OrtizSE08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/OrtizSE08,
  author    = {Magdalena Ortiz and
               Mantas Simkus and
               Thomas Eiter},
  title     = {Conjunctive Query Answering in {SH} using Knots},
  booktitle = {Proceedings of the 21st International Workshop on Description Logics
               (DL2008), Dresden, Germany, May 13-16, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/dlog/2008},
  url       = {http://ceur-ws.org/Vol-353/OrtizSimkusEiter.pdf},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/OrtizSE08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterGOS08,
  author    = {Thomas Eiter and
               Georg Gottlob and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Query Answering in the Description Logic Horn-},
  booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
               2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
  pages     = {166--179},
  year      = {2008},
  crossref  = {DBLP:conf/jelia/2008},
  url       = {https://doi.org/10.1007/978-3-540-87803-2\_15},
  doi       = {10.1007/978-3-540-87803-2\_15},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/EiterGOS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Ortiz08,
  author    = {Magdalena Ortiz},
  title     = {Extending Carinto the Description Logics of the Family},
  booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
               2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
  pages     = {324--337},
  year      = {2008},
  crossref  = {DBLP:conf/jelia/2008},
  url       = {https://doi.org/10.1007/978-3-540-87803-2\_27},
  doi       = {10.1007/978-3-540-87803-2\_27},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/Ortiz08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/Ortiz08,
  author    = {Magdalena Ortiz},
  title     = {An Automata-based algorithm for description logics around {SRIQ}},
  booktitle = {Proceedings of the fourth Latin American Workshop on Non-Monotonic
               Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n
               de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla,
               Puebla, M{\'{e}}xico, October 22-24, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/lanmr/2008},
  url       = {http://ceur-ws.org/Vol-408/Paper01.pdf},
  timestamp = {Tue, 17 Oct 2017 19:01:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lanmr/Ortiz08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EiterOS08,
  author    = {Thomas Eiter and
               Magdalena Ortiz and
               Mantas Simkus},
  title     = {Reasoning Using Knots},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  pages     = {377--390},
  year      = {2008},
  crossref  = {DBLP:conf/lpar/2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1\_27},
  doi       = {10.1007/978-3-540-89439-1\_27},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/EiterOS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/OrtizO07,
  author    = {Magdalena Ortiz and
               Mauricio Osorio},
  title     = {Strong Negation and Equivalence in the Safe Belief Semantics},
  journal   = {J. Log. Comput.},
  volume    = {17},
  number    = {3},
  pages     = {499--515},
  year      = {2007},
  url       = {https://doi.org/10.1093/logcom/exm011},
  doi       = {10.1093/logcom/exm011},
  timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/OrtizO07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CalvaneseEO07,
  author    = {Diego Calvanese and
               Thomas Eiter and
               Magdalena Ortiz},
  title     = {Answering Regular Path Queries in Expressive Description Logics: An
               Automata-Theoretic Approach},
  booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  pages     = {391--396},
  year      = {2007},
  crossref  = {DBLP:conf/aaai/2007},
  url       = {http://www.aaai.org/Library/AAAI/2007/aaai07-061.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/CalvaneseEO07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/OrtizCE06,
  author    = {Magdalena Ortiz and
               Diego Calvanese and
               Thomas Eiter},
  title     = {Characterizing Data Complexity for Conjunctive Query Answering in
               Expressive Description Logics},
  booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
               and the Eighteenth Innovative Applications of Artificial Intelligence
               Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
  pages     = {275--280},
  year      = {2006},
  crossref  = {DBLP:conf/aaai/2006},
  url       = {http://www.aaai.org/Library/AAAI/2006/aaai06-044.php},
  timestamp = {Wed, 06 Feb 2019 12:16:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/OrtizCE06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/OrtizCE06,
  author    = {Magdalena Ortiz and
               Diego Calvanese and
               Thomas Eiter},
  title     = {Data Complexity of Answering Unions of Conjunctive Queries in \emph{SHIQ}},
  booktitle = {Proceedings of the 2006 International Workshop on Description Logics
               (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
  year      = {2006},
  crossref  = {DBLP:conf/dlog/2006},
  url       = {http://ceur-ws.org/Vol-189/submission\_21.pdf},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/OrtizCE06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/Ortiz05,
  author    = {Magdalena Ortiz and
               Mauricio Osorio},
  title     = {Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics},
  booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  year      = {2005},
  crossref  = {DBLP:conf/asp/2005},
  url       = {http://ceur-ws.org/Vol-142/page70.pdf},
  timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asp/Ortiz05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enc/AyalaOO05,
  author    = {Gerardo Ayala and
               Magdalena Ortiz and
               Mauricio Osorio},
  title     = {Agent Modelling for {CSCL} Environments using Answer Sets Programming},
  booktitle = {Sixth Mexican International Conference on Computer Science {(ENC}
               2005), 26-30 September 2005, Puebla, Mexico},
  pages     = {214--221},
  year      = {2005},
  crossref  = {DBLP:conf/enc/2005},
  url       = {https://doi.org/10.1109/ENC.2005.9},
  doi       = {10.1109/ENC.2005.9},
  timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/enc/AyalaOO05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/AyalaOO05,
  author    = {Gerardo Ayala and
               Magdalena Ortiz and
               Mauricio Osorio},
  title     = {Application of {ASP} for Agent Modelling in {CSCL} Environments},
  booktitle = {{MICAI} 2005: Advances in Artificial Intelligence, 4th Mexican International
               Conference on Artificial Intelligence, Monterrey, Mexico, November
               14-18, 2005, Proceedings},
  pages     = {109--118},
  year      = {2005},
  crossref  = {DBLP:conf/micai/2005},
  url       = {https://doi.org/10.1007/11579427\_12},
  doi       = {10.1007/11579427\_12},
  timestamp = {Wed, 14 Nov 2018 10:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/micai/AyalaOO05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507059,
  author    = {Magdalena Ortiz and
               Diego Calvanese and
               Thomas Eiter and
               Enrico Franconi},
  title     = {Data complexity of answering conjunctive queries over {SHIQ} knowledge
               bases},
  journal   = {CoRR},
  volume    = {abs/cs/0507059},
  year      = {2005},
  url       = {http://arxiv.org/abs/cs/0507059},
  archivePrefix = {arXiv},
  eprint    = {cs/0507059},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0507059},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanmr/Ortiz04,
  author    = {Magdalena Ortiz},
  title     = {{ASP:} from Application Development to Syntax Extensions},
  booktitle = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of
               the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso,
               Mexico City, {D.F} , Mexico, April 26th 2004},
  year      = {2004},
  crossref  = {DBLP:conf/lanmr/2004},
  url       = {http://ceur-ws.org/Vol-92/ortiz.pdf},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lanmr/Ortiz04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enc/OrtizAO03,
  author    = {Magdalena Ortiz and
               Gerardo Ayala and
               Mauricio Osorio},
  title     = {Formalizing the Learner Model for {CSCL} Environments},
  booktitle = {4th Mexican International Conference on Computer Science {(ENC} 2003),
               8-12 September 2003, Apizaco, Mexico},
  pages     = {151--158},
  year      = {2003},
  crossref  = {DBLP:conf/enc/2003},
  url       = {https://doi.org/10.1109/ENC.2003.1232889},
  doi       = {10.1109/ENC.2003.1232889},
  timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/enc/OrtizAO03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2018,
  editor    = {Sheila A. McIlraith and
               Kilian Q. Weinberger},
  title     = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               (AAAI-18), the 30th innovative Applications of Artificial Intelligence
               (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
               Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
               2-7, 2018},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/schedConf/presentations},
  timestamp = {Tue, 23 Oct 2018 06:42:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2018,
  editor    = {Magdalena Ortiz and
               Thomas Schneider},
  title     = {Proceedings of the 31st International Workshop on Description Logics
               co-located with 16th International Conference on Principles of Knowledge
               Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
               27th - to - 29th, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2211},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2211},
  urn       = {urn:nbn:de:0074-2211-6},
  timestamp = {Thu, 01 Nov 2018 18:23:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2018,
  editor    = {Benny Kimelfeld and
               Yael Amsterdamer},
  title     = {21st International Conference on Database Theory, {ICDT} 2018, March
               26-29, 2018, Vienna, Austria},
  series    = {LIPIcs},
  volume    = {98},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-063-7},
  isbn      = {978-3-95977-063-7},
  timestamp = {Mon, 05 Mar 2018 17:48:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2018,
  editor    = {J{\'{e}}r{\^{o}}me Lang},
  title     = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden},
  publisher = {ijcai.org},
  year      = {2018},
  url       = {http://www.ijcai.org/proceedings/2018/},
  isbn      = {978-0-9992411-2-7},
  timestamp = {Sat, 28 Jul 2018 14:39:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2018,
  editor    = {Michael Thielscher and
               Francesca Toni and
               Frank Wolter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {http://www.aaai.org/Library/KR/kr18contents.php},
  isbn      = {978-1-57735-803-9},
  timestamp = {Thu, 18 Oct 2018 09:44:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2017,
  editor    = {Alessandro Artale and
               Birte Glimm and
               Roman Kontchakov},
  title     = {Proceedings of the 30th International Workshop on Description Logics,
               Montpellier, France, July 18-21, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1879},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1879},
  urn       = {urn:nbn:de:0074-1879-6},
  timestamp = {Thu, 20 Jul 2017 09:42:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fqas/2017,
  editor    = {Henning Christiansen and
               H{\'{e}}l{\`{e}}ne Jaudoin and
               Panagiotis Chountas and
               Troels Andreasen and
               Henrik Legind Larsen},
  title     = {Flexible Query Answering Systems - 12th International Conference,
               {FQAS} 2017, London, UK, June 21-22, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10333},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-59692-1},
  doi       = {10.1007/978-3-319-59692-1},
  isbn      = {978-3-319-59691-4},
  timestamp = {Fri, 16 Jun 2017 12:53:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fqas/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amw/2016,
  editor    = {Reinhard Pichler and
               Altigran Soares da Silva},
  title     = {Proceedings of the 10th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Panama City, Panama, May 8-10, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1644},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1644},
  urn       = {urn:nbn:de:0074-1644-7},
  timestamp = {Tue, 19 Jul 2016 17:43:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2016,
  editor    = {Maurizio Lenzerini and
               Rafael Pe{\~{n}}aloza},
  title     = {Proceedings of the 29th International Workshop on Description Logics,
               Cape Town, South Africa, April 22-25, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1577},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1577},
  urn       = {urn:nbn:de:0074-1577-5},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2016,
  editor    = {Wim Martens and
               Thomas Zeume},
  title     = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
               France, March 15-18, 2016},
  series    = {LIPIcs},
  volume    = {48},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-002-6},
  isbn      = {978-3-95977-002-6},
  timestamp = {Wed, 23 Mar 2016 10:09:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016,
  editor    = {Subbarao Kambhampati},
  title     = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  publisher = {{IJCAI/AAAI} Press},
  year      = {2016},
  url       = {http://www.ijcai.org/Proceedings/2016},
  isbn      = {978-1-57735-770-4},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2016,
  editor    = {Chitta Baral and
               James P. Delgrande and
               Frank Wolter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fifteenth International Conference, {KR} 2016, Cape Town, South
               Africa, April 25-29, 2016},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/KR/kr16contents.php},
  isbn      = {978-1-57735-755-1},
  timestamp = {Thu, 21 Apr 2016 20:01:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amw/2015,
  editor    = {Andrea Cal{\`{\i}} and
               Maria{-}Esther Vidal},
  title     = {Proceedings of the 9th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Lima, Peru, May 6 - 8, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1378},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1378},
  urn       = {urn:nbn:de:0074-1378-2},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2015,
  editor    = {Diego Calvanese and
               Boris Konev},
  title     = {Proceedings of the 28th International Workshop on Description Logics,
               Athens,Greece, June 7-10, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1350},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1350},
  urn       = {urn:nbn:de:0074-1350-6},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2015,
  editor    = {Wolfgang Faber and
               Adrian Paschke},
  title     = {Reasoning Web. Web Logic Rules - 11th International Summer School
               2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {9203},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21768-0},
  doi       = {10.1007/978-3-319-21768-0},
  isbn      = {978-3-319-21767-3},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rweb/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2014,
  editor    = {Carla E. Brodley and
               Peter Stone},
  title     = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/Library/AAAI/aaai14contents.php},
  isbn      = {978-1-57735-661-5},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amw/2014,
  editor    = {Georg Gottlob and
               Jorge P{\'{e}}rez},
  title     = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of
               Data Management, Cartagena de Indias, Colombia, June 4-6, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1189},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1189},
  urn       = {urn:nbn:de:0074-1189-6},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2014,
  editor    = {Meghyn Bienvenu and
               Magdalena Ortiz and
               Riccardo Rosati and
               Mantas Simkus},
  title     = {Informal Proceedings of the 27th International Workshop on Description
               Logics, Vienna, Austria, July 17-20, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1193},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1193},
  urn       = {urn:nbn:de:0074-1193-9},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2014,
  editor    = {Chitta Baral and
               Giuseppe {De Giacomo} and
               Thomas Eiter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/Library/KR/kr14contents.php},
  isbn      = {978-1-57735-657-8},
  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2014,
  editor    = {Roman Kontchakov and
               Marie{-}Laure Mugnier},
  title     = {Web Reasoning and Rule Systems - 8th International Conference, {RR}
               2014, Athens, Greece, September 15-17, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8741},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11113-1},
  doi       = {10.1007/978-3-319-11113-1},
  isbn      = {978-3-319-11112-4},
  timestamp = {Wed, 24 May 2017 08:28:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rr/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amw/2013,
  editor    = {Loreto Bravo and
               Maurizio Lenzerini},
  title     = {Proceedings of the 7th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23,
               2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1087},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1087},
  urn       = {urn:nbn:de:0074-1087-2},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2013,
  editor    = {Thomas Eiter and
               Birte Glimm and
               Yevgeny Kazakov and
               Markus Kr{\"{o}}tzsch},
  title     = {Informal Proceedings of the 26th International Workshop on Description
               Logics, Ulm, Germany, July 23 - 26, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1014},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1014},
  urn       = {urn:nbn:de:0074-1014-7},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2013,
  editor    = {Francesca Rossi},
  title     = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  publisher = {{IJCAI/AAAI}},
  year      = {2013},
  url       = {http://ijcai.org/proceedings/2013},
  isbn      = {978-1-57735-633-2},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2012,
  editor    = {J{\"{o}}rg Hoffmann and
               Bart Selman},
  title     = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada},
  publisher = {{AAAI} Press},
  year      = {2012},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2012,
  editor    = {Yevgeny Kazakov and
               Domenico Lembo and
               Frank Wolter},
  title     = {Proceedings of the 2012 International Workshop on Description Logics,
               DL-2012, Rome, Italy, June 7-10, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {846},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-846},
  urn       = {urn:nbn:de:0074-846-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2012,
  editor    = {Gerhard Brewka and
               Thomas Eiter and
               Sheila A. McIlraith},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
               June 10-14, 2012},
  publisher = {{AAAI} Press},
  year      = {2012},
  isbn      = {978-1-57735-560-1},
  timestamp = {Wed, 11 Jul 2012 10:51:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2012,
  editor    = {Thomas Eiter and
               Thomas Krennwallner},
  title     = {Reasoning Web. Semantic Technologies for Advanced Query Answering
               - 8th International Summer School 2012, Vienna, Austria, September
               3-8, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7487},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33158-9},
  doi       = {10.1007/978-3-642-33158-9},
  isbn      = {978-3-642-33157-2},
  timestamp = {Sun, 21 May 2017 00:20:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rweb/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2011,
  editor    = {Riccardo Rosati and
               Sebastian Rudolph and
               Michael Zakharyaschev},
  title     = {Proceedings of the 24th International Workshop on Description Logics
               {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {745},
  publisher = {CEUR-WS.org},
  year      = {2011},
  url       = {http://ceur-ws.org/Vol-745},
  urn       = {urn:nbn:de:0074-745-4},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2011,
  editor    = {Toby Walsh},
  title     = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  publisher = {{IJCAI/AAAI}},
  year      = {2011},
  url       = {http://ijcai.org/proceedings/2011},
  isbn      = {978-1-57735-516-8},
  timestamp = {Wed, 20 Jul 2016 14:35:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2010,
  editor    = {Volker Haarslev and
               David Toman and
               Grant E. Weddell},
  title     = {Proceedings of the 23rd International Workshop on Description Logics
               {(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {573},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-573},
  urn       = {urn:nbn:de:0074-573-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2010,
  editor    = {Fangzhen Lin and
               Ulrike Sattler and
               Miroslaw Truszczynski},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
               Canada, May 9-13, 2010},
  publisher = {{AAAI} Press},
  year      = {2010},
  timestamp = {Wed, 23 Jun 2010 11:56:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2009,
  editor    = {Craig Boutilier},
  title     = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  year      = {2009},
  url       = {http://ijcai.org/proceedings/2009},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2009,
  editor    = {Hiroakira Ono and
               Makoto Kanazawa and
               Ruy J. G. B. de Queiroz},
  title     = {Logic, Language, Information and Computation, 16th International Workshop,
               WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5514},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02261-6},
  doi       = {10.1007/978-3-642-02261-6},
  isbn      = {978-3-642-02260-9},
  timestamp = {Wed, 14 Nov 2018 10:55:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wollic/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2008,
  editor    = {Dieter Fox and
               Carla P. Gomes},
  title     = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  publisher = {{AAAI} Press},
  year      = {2008},
  isbn      = {978-1-57735-368-3},
  timestamp = {Fri, 15 Aug 2008 11:13:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2008,
  editor    = {Franz Baader and
               Carsten Lutz and
               Boris Motik},
  title     = {Proceedings of the 21st International Workshop on Description Logics
               (DL2008), Dresden, Germany, May 13-16, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {353},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-353},
  urn       = {urn:nbn:de:0074-353-8},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2008,
  editor    = {Steffen H{\"{o}}lldobler and
               Carsten Lutz and
               Heinrich Wansing},
  title     = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
               2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5293},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87803-2},
  doi       = {10.1007/978-3-540-87803-2},
  isbn      = {978-3-540-87802-5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lanmr/2008,
  editor    = {Mauricio Osorio and
               Iv{\'{a}}n Olmos},
  title     = {Proceedings of the fourth Latin American Workshop on Non-Monotonic
               Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computaci{\'{o}}n
               de la Benem{\'{e}}rita Universidad Aut{\'{o}}noma de Puebla,
               Puebla, M{\'{e}}xico, October 22-24, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {408},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-408},
  urn       = {urn:nbn:de:0074-408-2},
  timestamp = {Tue, 17 Oct 2017 19:01:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lanmr/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2008,
  editor    = {Iliano Cervesato and
               Helmut Veith and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5330},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1},
  doi       = {10.1007/978-3-540-89439-1},
  isbn      = {978-3-540-89438-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2007,
  title     = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  publisher = {{AAAI} Press},
  year      = {2007},
  isbn      = {978-1-57735-323-2},
  timestamp = {Wed, 05 Sep 2007 08:24:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2006,
  title     = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
               and the Eighteenth Innovative Applications of Artificial Intelligence
               Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
  publisher = {{AAAI} Press},
  year      = {2006},
  url       = {https://www.aaai.org/Conferences/AAAI/aaai06.php},
  timestamp = {Wed, 06 Feb 2019 12:16:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2006,
  editor    = {Bijan Parsia and
               Ulrike Sattler and
               David Toman},
  title     = {Proceedings of the 2006 International Workshop on Description Logics
               (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {189},
  publisher = {CEUR-WS.org},
  year      = {2006},
  url       = {http://ceur-ws.org/Vol-189},
  urn       = {urn:nbn:de:0074-189-6},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asp/2005,
  editor    = {Marina De Vos and
               Alessandro Provetti},
  title     = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {142},
  publisher = {CEUR-WS.org},
  year      = {2005},
  url       = {http://ceur-ws.org/Vol-142},
  urn       = {urn:nbn:de:0074-142-5},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enc/2005,
  title     = {Sixth Mexican International Conference on Computer Science {(ENC}
               2005), 26-30 September 2005, Puebla, Mexico},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10607},
  isbn      = {0-7695-2454-0},
  timestamp = {Wed, 20 Jan 2016 13:01:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/enc/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/micai/2005,
  editor    = {Alexander F. Gelbukh and
               Alvaro de Albornoz and
               Hugo Terashima{-}Mar{\'{\i}}n},
  title     = {{MICAI} 2005: Advances in Artificial Intelligence, 4th Mexican International
               Conference on Artificial Intelligence, Monterrey, Mexico, November
               14-18, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3789},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11579427},
  doi       = {10.1007/11579427},
  isbn      = {3-540-29896-7},
  timestamp = {Wed, 14 Nov 2018 10:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/micai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lanmr/2004,
  editor    = {Mauricio Osorio and
               Alessandro Provetti},
  title     = {Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of
               the 1st Intl. {LA-NMR04} Workshop, Antiguo Colegio de San Ildefonso,
               Mexico City, {D.F} , Mexico, April 26th 2004},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {92},
  publisher = {CEUR-WS.org},
  year      = {2004},
  url       = {http://ceur-ws.org/Vol-92},
  urn       = {urn:nbn:de:0074-92-8},
  timestamp = {Fri, 29 Sep 2017 08:09:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lanmr/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enc/2003,
  title     = {4th Mexican International Conference on Computer Science {(ENC} 2003),
               8-12 September 2003, Apizaco, Mexico},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8727},
  isbn      = {0-7695-1915-6},
  timestamp = {Wed, 20 Jan 2016 13:01:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/enc/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier