BibTeX records: Ivan José Varzinczak

download as .bib file

@article{DBLP:journals/ai/BoothCMV19,
  author    = {Richard Booth and
               Giovanni Casini and
               Thomas Meyer and
               Ivan Varzinczak},
  title     = {On rational entailment for Propositional Typicality Logic},
  journal   = {Artif. Intell.},
  volume    = {277},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.artint.2019.103178},
  doi       = {10.1016/j.artint.2019.103178},
  timestamp = {Tue, 29 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ai/BoothCMV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BritzV19,
  author    = {Katarina Britz and
               Ivan Varzinczak},
  title     = {Contextual rational closure for defeasible {ALC}},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {87},
  number    = {1-2},
  pages     = {83--108},
  year      = {2019},
  url       = {https://doi.org/10.1007/s10472-019-09658-2},
  doi       = {10.1007/s10472-019-09658-2},
  timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/amai/BritzV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/BoothCKRV19,
  author    = {Richard Booth and
               Giovanni Casini and
               Szymon Klarman and
               Gilles Richard and
               Ivan Varzinczak},
  title     = {Editorial: Defeasible and Ampliative Reasoning},
  journal   = {Int. J. Approx. Reasoning},
  volume    = {112},
  pages     = {1--3},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.ijar.2019.05.009},
  doi       = {10.1016/j.ijar.2019.05.009},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijar/BoothCKRV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BritzCMV19,
  author    = {Katarina Britz and
               Giovanni Casini and
               Thomas Meyer and
               Ivan Varzinczak},
  title     = {A {KLM} Perspective on Defeasible Reasoning for Description Logics},
  booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
               to Franz Baader on the Occasion of His 60th Birthday},
  pages     = {147--173},
  year      = {2019},
  crossref  = {DBLP:conf/birthday/2019baader},
  url       = {https://doi.org/10.1007/978-3-030-22102-7\_7},
  doi       = {10.1007/978-3-030-22102-7\_7},
  timestamp = {Mon, 29 Jul 2019 16:00:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/BritzCMV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BritzV19,
  author    = {Katarina Britz and
               Ivan Varzinczak},
  title     = {Reasoning with Contextual Defeasible {ALC}},
  booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
               Oslo, Norway, June 18-21, 2019.},
  year      = {2019},
  crossref  = {DBLP:conf/dlog/2019},
  url       = {http://ceur-ws.org/Vol-2373/paper-8.pdf},
  timestamp = {Fri, 30 Aug 2019 13:15:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BritzV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BritzV19a,
  author    = {Katarina Britz and
               Ivan Varzinczak},
  title     = {Contextual Rational Closure for Defeasible {ALC} (Extended Abstract)},
  booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
               Oslo, Norway, June 18-21, 2019.},
  year      = {2019},
  crossref  = {DBLP:conf/dlog/2019},
  url       = {http://ceur-ws.org/Vol-2373/paper-38.pdf},
  timestamp = {Fri, 30 Aug 2019 13:15:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BritzV19a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CasiniMV19,
  author    = {Giovanni Casini and
               Thomas Meyer and
               Ivan Varzinczak},
  title     = {Simple Conditionals with Constrained Right Weakening},
  booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
               2019},
  pages     = {1632--1638},
  year      = {2019},
  crossref  = {DBLP:conf/ijcai/2019},
  url       = {https://doi.org/10.24963/ijcai.2019/226},
  doi       = {10.24963/ijcai.2019/226},
  timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/CasiniMV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CasiniMV19,
  author    = {Giovanni Casini and
               Thomas Meyer and
               Ivan Varzinczak},
  title     = {Taking Defeasible Entailment Beyond Rational Closure},
  booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
               2019, Rende, Italy, May 7-11, 2019, Proceedings},
  pages     = {182--197},
  year      = {2019},
  crossref  = {DBLP:conf/jelia/2019},
  url       = {https://doi.org/10.1007/978-3-030-19570-0\_12},
  doi       = {10.1007/978-3-030-19570-0\_12},
  timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/CasiniMV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BritzV19,
  author    = {Katarina Britz and
               Ivan Varzinczak},
  title     = {Preferential Tableaux for Contextual Defeasible \emph{ALC}},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
               International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
               2019, Proceedings},
  pages     = {39--57},
  year      = {2019},
  crossref  = {DBLP:conf/tableaux/2019},
  url       = {https://doi.org/10.1007/978-3-030-29026-9\_3},
  doi       = {10.1007/978-3-030-29026-9\_3},
  timestamp = {Thu, 22 Aug 2019 12:08:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/BritzV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07559,
  author    = {Katarina Britz and
               Giovanni Casini and
               Thomas Meyer and
               Kody Moodley and
               Uli Sattler and
               Ivan Varzinczak},
  title     = {Theoretical Foundations of Defeasible Description Logics},
  journal   = {CoRR},
  volume    = {abs/1904.07559},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.07559},
  archivePrefix = {arXiv},
  eprint    = {1904.07559},
  timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1904-07559},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BritzV18,
  author    = {Katarina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {From KLM-style conditionals to defeasible modalities, and back},
  journal   = {Journal of Applied Non-Classical Logics},
  volume    = {28},
  number    = {1},
  pages     = {92--121},
  year      = {2018},
  url       = {https://doi.org/10.1080/11663081.2017.1397325},
  doi       = {10.1080/11663081.2017.1397325},
  timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jancl/BritzV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BritzV18,
  author    = {Katarina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Preferential Accessibility and Preferred Worlds},
  journal   = {Journal of Logic, Language and Information},
  volume    = {27},
  number    = {2},
  pages     = {133--155},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10849-017-9264-0},
  doi       = {10.1007/s10849-017-9264-0},
  timestamp = {Tue, 08 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jolli/BritzV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Varzinczak18,
  author    = {Ivan Varzinczak},
  title     = {A Note on a Description Logic of Concept and Role Typicality for Defeasible
               Reasoning Over Ontologies},
  journal   = {Logica Universalis},
  volume    = {12},
  number    = {3-4},
  pages     = {297--325},
  year      = {2018},
  url       = {https://doi.org/10.1007/s11787-018-0211-x},
  doi       = {10.1007/s11787-018-0211-x},
  timestamp = {Mon, 12 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/lu/Varzinczak18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BritzV18,
  author    = {Katarina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Rationality and Context in Defeasible Subsumption},
  booktitle = {Foundations of Information and Knowledge Systems - 10th International
               Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
  pages     = {114--132},
  year      = {2018},
  crossref  = {DBLP:conf/foiks/2018},
  url       = {https://doi.org/10.1007/978-3-319-90050-6\_7},
  doi       = {10.1007/978-3-319-90050-6\_7},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/foiks/BritzV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CasiniFMV18,
  author    = {Giovanni Casini and
               Eduardo Ferm{\'{e}} and
               Thomas Meyer and
               Ivan Varzinczak},
  title     = {A Semantic Perspective on Belief Change in a Preferential Non-Monotonic
               Framework},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018.},
  pages     = {220--229},
  year      = {2018},
  crossref  = {DBLP:conf/kr/2018},
  url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18071},
  timestamp = {Thu, 18 Oct 2018 09:44:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/CasiniFMV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/FreitasV18,
  author    = {Fred Freitas and
               Ivan Varzinczak},
  title     = {Cardinality Restrictions Within Description Logic Connection Calculi},
  booktitle = {Rules and Reasoning - Second International Joint Conference, RuleML+RR
               2018, Luxembourg, September 18-21, 2018, Proceedings},
  pages     = {65--80},
  year      = {2018},
  crossref  = {DBLP:conf/ruleml/2018},
  url       = {https://doi.org/10.1007/978-3-319-99906-7\_5},
  doi       = {10.1007/978-3-319-99906-7\_5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/FreitasV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10946,
  author    = {Richard Booth and
               Giovanni Casini and
               Thomas Andreas Meyer and
               Ivan Varzinczak},
  title     = {On Rational Entailment for Propositional Typicality Logic},
  journal   = {CoRR},
  volume    = {abs/1809.10946},
  year      = {2018},
  url       = {http://arxiv.org/abs/1809.10946},
  archivePrefix = {arXiv},
  eprint    = {1809.10946},
  timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-10946},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/commonsense/BritzV17,
  author    = {Katarina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Context-based defeasible subsumption for dSROIQ},
  booktitle = {Proceedings of the Thirteenth International Symposium on Commonsense
               Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017.},
  year      = {2017},
  crossref  = {DBLP:conf/commonsense/2017},
  url       = {http://ceur-ws.org/Vol-2052/paper3.pdf},
  timestamp = {Tue, 28 May 2019 16:23:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/commonsense/BritzV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BritzV17,
  author    = {Katarina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Towards Defeasible {SROIQ}},
  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/paper22.pdf},
  timestamp = {Tue, 28 May 2019 16:23:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BritzV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2017dare,
  editor    = {Richard Booth and
               Giovanni Casini and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Proceedings of the 4th International Workshop on Defeasible and Ampliative
               Reasoning (DARe-17) co-located with the 14th International Conference
               on Logic Programming and Nonmonotonic Reasoning {(LPNMR} 2017), Espoo,
               Finland, July 3, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1872},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1872},
  urn       = {urn:nbn:de:0074-1872-7},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2017dare},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BritzV16,
  author    = {Katarina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Introducing Role Defeasibility in Description Logics},
  booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
               2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
  pages     = {174--189},
  year      = {2016},
  crossref  = {DBLP:conf/jelia/2016},
  url       = {https://doi.org/10.1007/978-3-319-48758-8\_12},
  doi       = {10.1007/978-3-319-48758-8\_12},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/BritzV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2016dare,
  editor    = {Richard Booth and
               Giovanni Casini and
               Szymon Klarman and
               Gilles Richard and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Proceedings of the International Workshop on Defeasible and Ampliative
               Reasoning (DARe-16) co-located with the 22th European Conference on
               Artificial Intelligence {(ECAI} 2016), The Hague, The Netherlands,
               August 29, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1626},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1626},
  urn       = {urn:nbn:de:0074-1626-7},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2016dare},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/0001CMV15,
  author    = {Richard Booth and
               Giovanni Casini and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {What Does Entailment for {PTL} Mean?},
  booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
               USA, March 22-25, 2015},
  year      = {2015},
  crossref  = {DBLP:conf/aaaiss/2015},
  url       = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10280},
  timestamp = {Wed, 14 Nov 2018 14:01:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/0001CMV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoothCMV15,
  author    = {Richard Booth and
               Giovanni Casini and
               Thomas Andreas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {On the Entailment Problem for a Logic of Typicality},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {2805--2811},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/Abstract/15/397},
  timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BoothCMV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/CasiniMMSV15,
  author    = {Giovanni Casini and
               Thomas Andreas Meyer and
               Kodylan Moodley and
               Uli Sattler and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Introducing Defeasibility into {OWL} Ontologies},
  booktitle = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
               Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {II}},
  pages     = {409--426},
  year      = {2015},
  crossref  = {DBLP:conf/semweb/2015-2},
  url       = {https://doi.org/10.1007/978-3-319-25010-6\_27},
  doi       = {10.1007/978-3-319-25010-6\_27},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/CasiniMMSV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015dare,
  editor    = {Richard Booth and
               Giovanni Casini and
               Szymon Klarman and
               Gilles Richard and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Proceedings of the International Workshop on Defeasible and Ampliative
               Reasoning, DARe 2015, co-located with the 24th International Joint
               Conference on Artificial Intelligence {(IJCAI} 2015), Buenos Aires,
               Argentina, July 27, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1423},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1423},
  urn       = {urn:nbn:de:0074-1423-0},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2015dare},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BritzV14,
  author    = {Arina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Towards a Logic of Dilation},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014.},
  pages     = {59--73},
  year      = {2014},
  crossref  = {DBLP:conf/cade/2014pruv},
  url       = {http://ceur-ws.org/Vol-1205/00010059.pdf},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BritzV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2014dare,
  editor    = {Richard Booth and
               Giovanni Casini and
               Szymon Klarman and
               Gilles Richard and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Proceedings of the International Workshop on Defeasible and Ampliative
               Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference
               on Artificial Intelligence {(ECAI} 2014), Prague, Czech Republic,
               August 19, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1212},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1212},
  urn       = {urn:nbn:de:0074-1212-6},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2014dare},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fois/2014womo,
  editor    = {Kenneth Baclawski and
               Tudor Groza and
               Torsten Hahmann and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Proceedings of the 8th International Workshop on Modular Ontologies
               co-located with the 8th International Conference on Formal Ontology
               in Information Systems {(FOIS} 2014), Rio de Janeiro, Brazil, September
               22, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1248},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1248},
  urn       = {urn:nbn:de:0074-1248-8},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fois/2014womo},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Varzinczak14,
  author    = {Ivan Jos{\'{e}} Varzinczak},
  title     = {On Action Theory Change},
  journal   = {CoRR},
  volume    = {abs/1401.3835},
  year      = {2014},
  url       = {http://arxiv.org/abs/1401.3835},
  archivePrefix = {arXiv},
  eprint    = {1401.3835},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Varzinczak14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoothMVW14,
  author    = {Richard Booth and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak and
               Renata Wassermann},
  title     = {On the Link between Partial Meet, Kernel, and Infra Contraction and
               its Application to Horn Logic},
  journal   = {CoRR},
  volume    = {abs/1401.3902},
  year      = {2014},
  url       = {http://arxiv.org/abs/1401.3902},
  archivePrefix = {arXiv},
  eprint    = {1401.3902},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BoothMVW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BritzCMV13,
  author    = {Arina Britz and
               Giovanni Casini and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Preferential Role Restrictions},
  booktitle = {Informal Proceedings of the 26th International Workshop on Description
               Logics, Ulm, Germany, July 23 - 26, 2013},
  pages     = {93--106},
  year      = {2013},
  crossref  = {DBLP:conf/dlog/2013},
  url       = {http://ceur-ws.org/Vol-1014/paper\_47.pdf},
  timestamp = {Tue, 28 May 2019 16:23:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BritzCMV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CasiniMMV13,
  author    = {Giovanni Casini and
               Thomas Meyer and
               Kodylan Moodley and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Towards Practical Defeasible Reasoning for Description Logics},
  booktitle = {Informal Proceedings of the 26th International Workshop on Description
               Logics, Ulm, Germany, July 23 - 26, 2013},
  pages     = {587--599},
  year      = {2013},
  crossref  = {DBLP:conf/dlog/2013},
  url       = {http://ceur-ws.org/Vol-1014/paper\_17.pdf},
  timestamp = {Tue, 28 May 2019 16:23:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/CasiniMMV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CasiniMVM13,
  author    = {Giovanni Casini and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak and
               Kodylan Moodley},
  title     = {Nonmonotonic Reasoning in Description Logics: Rational Closure for
               the ABox},
  booktitle = {Informal Proceedings of the 26th International Workshop on Description
               Logics, Ulm, Germany, July 23 - 26, 2013},
  pages     = {600--615},
  year      = {2013},
  crossref  = {DBLP:conf/dlog/2013},
  url       = {http://ceur-ws.org/Vol-1014/paper\_57.pdf},
  timestamp = {Tue, 28 May 2019 16:23:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/CasiniMVM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/BritzV13,
  author    = {Katarina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Defeasible Modalities},
  booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
               and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
  year      = {2013},
  crossref  = {DBLP:conf/tark/2013},
  url       = {http://www.tark.org/proceedings/tark\_jan7\_13/p49-britz.pdf},
  timestamp = {Wed, 30 Mar 2016 18:10:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tark/BritzV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BritzJ13,
  author    = {Katarina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Defeasible Modalities},
  journal   = {CoRR},
  volume    = {abs/1310.6409},
  year      = {2013},
  url       = {http://arxiv.org/abs/1310.6409},
  archivePrefix = {arXiv},
  eprint    = {1310.6409},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BritzJ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/LehmannVB12,
  author    = {Jos Lehmann and
               Ivan Jos{\'{e}} Varzinczak and
               Alan Bundy},
  title     = {Reasoning with Context in the Semantic Web},
  journal   = {J. Web Semant.},
  volume    = {12},
  pages     = {1--2},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.websem.2011.12.004},
  doi       = {10.1016/j.websem.2011.12.004},
  timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ws/LehmannVB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BritzMV12,
  author    = {Katarina Britz and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Normal Modal Preferential Consequence},
  booktitle = {{AI} 2012: Advances in Artificial Intelligence - 25th Australasian
               Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings},
  pages     = {505--516},
  year      = {2012},
  crossref  = {DBLP:conf/ausai/2012},
  url       = {https://doi.org/10.1007/978-3-642-35101-3\_43},
  doi       = {10.1007/978-3-642-35101-3\_43},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/BritzMV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MoodleyMV12,
  author    = {Kodylan Moodley and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {A Protege Plug-in for Defeasible Reasoning},
  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\_46.pdf},
  timestamp = {Tue, 28 May 2019 16:23:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/MoodleyMV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BoothMV12,
  author    = {Richard Booth and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {{PTL:} {A} Propositional Typicality Logic},
  booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
               2012, Toulouse, France, September 26-28, 2012. Proceedings},
  pages     = {107--119},
  year      = {2012},
  crossref  = {DBLP:conf/jelia/2012},
  url       = {https://doi.org/10.1007/978-3-642-33353-8\_9},
  doi       = {10.1007/978-3-642-33353-8\_9},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/BoothMV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/MoodleyMV12,
  author    = {Kodylan Moodley and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {A defeasible reasoning approach for description logic ontologies},
  booktitle = {2012 South African Institute of Computer Scientists and Information
               Technologists Conference, {SAICSIT} '12, Pretoria, South Africa, October
               1-3, 2012},
  pages     = {69--78},
  year      = {2012},
  crossref  = {DBLP:conf/saicsit/2012},
  url       = {https://doi.org/10.1145/2389836.2389845},
  doi       = {10.1145/2389836.2389845},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/MoodleyMV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BritzMV11,
  author    = {Katarina Britz and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Preferential Reasoning for Modal Logics},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {278},
  pages     = {55--69},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.10.006},
  doi       = {10.1016/j.entcs.2011.10.006},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BritzMV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BoothMVW11,
  author    = {Richard Booth and
               Thomas Andreas Meyer and
               Ivan Jos{\'{e}} Varzinczak and
               Renata Wassermann},
  title     = {On the Link between Partial Meet, Kernel, and Infra Contraction and
               its Application to Horn Logic},
  journal   = {J. Artif. Intell. Res.},
  volume    = {42},
  pages     = {31--53},
  year      = {2011},
  url       = {https://doi.org/10.1613/jair.3364},
  doi       = {10.1613/jair.3364},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jair/BoothMVW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/BritzHV11,
  author    = {Katarina Britz and
               Johannes Heidema and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Constrained Consequence},
  journal   = {Logica Universalis},
  volume    = {5},
  number    = {2},
  pages     = {327--350},
  year      = {2011},
  url       = {https://doi.org/10.1007/s11787-011-0037-2},
  doi       = {10.1007/s11787-011-0037-2},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lu/BritzHV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BritzMV11,
  author    = {Katarina Britz and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Semantic Foundation for Preferential Description Logics},
  booktitle = {{AI} 2011: Advances in Artificial Intelligence - 24th Australasian
               Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings},
  pages     = {491--500},
  year      = {2011},
  crossref  = {DBLP:conf/ausai/2011},
  url       = {https://doi.org/10.1007/978-3-642-25832-9\_50},
  doi       = {10.1007/978-3-642-25832-9\_50},
  timestamp = {Mon, 16 Sep 2019 15:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/BritzMV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BritzMV11,
  author    = {Arina Britz and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Concept Model Semantics for {DL} Preferential Reasoning},
  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\_16.pdf},
  timestamp = {Tue, 28 May 2019 16:23:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BritzMV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/MoodleyMV11,
  author    = {Kodylan Moodley and
               Thomas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Root Justifications for Ontology Repair},
  booktitle = {Web Reasoning and Rule Systems - 5th International Conference, {RR}
               2011, Galway, Ireland, August 29-30, 2011. Proceedings},
  pages     = {275--280},
  year      = {2011},
  crossref  = {DBLP:conf/rr/2011},
  url       = {https://doi.org/10.1007/978-3-642-23580-1\_24},
  doi       = {10.1007/978-3-642-23580-1\_24},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rr/MoodleyMV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Varzinczak10,
  author    = {Ivan Jos{\'{e}} Varzinczak},
  title     = {On Action Theory Change},
  journal   = {J. Artif. Intell. Res.},
  volume    = {37},
  pages     = {189--246},
  year      = {2010},
  url       = {https://doi.org/10.1613/jair.2959},
  doi       = {10.1613/jair.2959},
  timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jair/Varzinczak10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/RensVMF10,
  author    = {Gavin Rens and
               Ivan Jos{\'{e}} Varzinczak and
               Thomas Meyer and
               Alexander Ferrein},
  title     = {A Logic for Reasoning about Actions and Explicit Observations},
  booktitle = {{AI} 2010: Advances in Artificial Intelligence - 23rd Australasian
               Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
  pages     = {395--404},
  year      = {2010},
  crossref  = {DBLP:conf/ausai/2010},
  url       = {https://doi.org/10.1007/978-3-642-17432-2\_40},
  doi       = {10.1007/978-3-642-17432-2\_40},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/RensVMF10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BoothMVW10,
  author    = {Richard Booth and
               Thomas Andreas Meyer and
               Ivan Jos{\'{e}} Varzinczak and
               Renata Wassermann},
  title     = {Horn Belief Change: {A} Contraction Core},
  booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
               Lisbon, Portugal, August 16-20, 2010, Proceedings},
  pages     = {1065--1066},
  year      = {2010},
  crossref  = {DBLP:conf/ecai/2010},
  url       = {https://doi.org/10.3233/978-1-60750-606-5-1065},
  doi       = {10.3233/978-1-60750-606-5-1065},
  timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/BoothMVW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoothMV09,
  author    = {Richard Booth and
               Thomas Andreas Meyer and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Next Steps in Propositional Horn Contraction},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  pages     = {702--707},
  year      = {2009},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/122.pdf},
  timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BoothMV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Varzinczak08,
  author    = {Ivan Jos{\'{e}} Varzinczak},
  title     = {Action Theory Erasure and Minimal Change},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
               September 16-19, 2008},
  pages     = {651--661},
  year      = {2008},
  crossref  = {DBLP:conf/kr/2008},
  url       = {http://www.aaai.org/Library/KR/2008/kr08-064.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Varzinczak08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-1878,
  author    = {Ivan Jos{\'{e}} Varzinczak},
  title     = {Action Theory Evolution},
  journal   = {CoRR},
  volume    = {abs/0811.1878},
  year      = {2008},
  url       = {http://arxiv.org/abs/0811.1878},
  archivePrefix = {arXiv},
  eprint    = {0811.1878},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0811-1878},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HerzigV07,
  author    = {Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Metatheory of actions: Beyond consistency},
  journal   = {Artif. Intell.},
  volume    = {171},
  number    = {16-17},
  pages     = {951--984},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.artint.2007.04.013},
  doi       = {10.1016/j.artint.2007.04.013},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/HerzigV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Varzinczak06,
  author    = {Ivan Jos{\'{e}} Varzinczak},
  title     = {What Is a Good Domain Description? Evaluating {\&} Revising Action
               Theories in Dynamic Logic},
  school    = {Paul Sabatier University, Toulouse, France},
  year      = {2006},
  url       = {https://tel.archives-ouvertes.fr/tel-00319220},
  timestamp = {Thu, 04 Aug 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Varzinczak06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigPV06,
  author    = {Andreas Herzig and
               Laurent Perrussel and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Elaborating Domain Descriptions},
  booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
               August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
               Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
  pages     = {397--401},
  year      = {2006},
  crossref  = {DBLP:conf/ecai/2006},
  timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/HerzigPV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HerzigV06,
  author    = {Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {A Modularity Approach for a Fragment of \emph{ALC}},
  booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
               2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  pages     = {216--228},
  year      = {2006},
  crossref  = {DBLP:conf/jelia/2006},
  url       = {https://doi.org/10.1007/11853886\_19},
  doi       = {10.1007/11853886\_19},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/HerzigV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0603034,
  author    = {Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Metatheory of actions: beyond consistency},
  journal   = {CoRR},
  volume    = {abs/cs/0603034},
  year      = {2006},
  url       = {http://arxiv.org/abs/cs/0603034},
  archivePrefix = {arXiv},
  eprint    = {cs/0603034},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0603034},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigV05,
  author    = {Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Cohesion, coupling and the meta-theory of actions},
  booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
               on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
               5, 2005},
  pages     = {442--447},
  year      = {2005},
  crossref  = {DBLP:conf/ijcai/2005},
  url       = {http://ijcai.org/Proceedings/05/Papers/1254.pdf},
  timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/HerzigV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/HerzigV04,
  author    = {Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {On the Modularity of Theories},
  booktitle = {Advances in Modal Logic 5, papers from the fifth conference on "Advances
               in Modal logic," held in Manchester, UK, 9-11 September 2004},
  pages     = {93--109},
  year      = {2004},
  crossref  = {DBLP:conf/aiml/2004},
  url       = {http://www.aiml.net/volumes/volume5/Herzig.ps},
  timestamp = {Tue, 22 May 2018 09:37:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiml/HerzigV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HerzigV04,
  author    = {Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Domain Descriptions Should Be Modular},
  booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
               ECAI'2004, including Prestigious Applicants of Intelligent Systems,
               {PAIS} 2004, Valencia, Spain, August 22-27, 2004},
  pages     = {348--352},
  year      = {2004},
  crossref  = {DBLP:conf/ecai/2004},
  timestamp = {Fri, 11 May 2018 12:42:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/HerzigV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HerzigV04,
  author    = {Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Domain descriptions should be modular},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {204--211},
  year      = {2004},
  crossref  = {DBLP:conf/nmr/2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper27.pdf},
  timestamp = {Fri, 02 Jul 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nmr/HerzigV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DemolombeHV03,
  author    = {Robert Demolombe and
               Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {Regression in Modal Logic},
  journal   = {Journal of Applied Non-Classical Logics},
  volume    = {13},
  number    = {2},
  pages     = {165--185},
  year      = {2003},
  url       = {https://doi.org/10.3166/jancl.13.165-185},
  doi       = {10.3166/jancl.13.165-185},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jancl/DemolombeHV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CastilhoHV02,
  author    = {Marcos A. Castilho and
               Andreas Herzig and
               Ivan Jos{\'{e}} Varzinczak},
  title     = {It depends on the context! {A} decidable logic of actions and plans
               based on a ternary dependence relation},
  booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  pages     = {343--348},
  year      = {2002},
  crossref  = {DBLP:conf/nmr/2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nmr/CastilhoHV02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019baader,
  editor    = {Carsten Lutz and
               Uli Sattler and
               Cesare Tinelli and
               Anni{-}Yasmin Turhan and
               Frank Wolter},
  title     = {Description Logic, Theory Combination, and All That - Essays Dedicated
               to Franz Baader on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11560},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-22102-7},
  doi       = {10.1007/978-3-030-22102-7},
  isbn      = {978-3-030-22101-0},
  timestamp = {Mon, 29 Jul 2019 16:00:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2019baader},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2019,
  editor    = {Mantas Simkus and
               Grant E. Weddell},
  title     = {Proceedings of the 32nd International Workshop on Description Logics,
               Oslo, Norway, June 18-21, 2019},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2373},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2373},
  urn       = {urn:nbn:de:0074-2373-7},
  timestamp = {Fri, 30 Aug 2019 13:15:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2019,
  editor    = {Sarit Kraus},
  title     = {Proceedings of the Twenty-Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
               2019},
  publisher = {ijcai.org},
  year      = {2019},
  url       = {https://doi.org/10.24963/ijcai.2019},
  doi       = {10.24963/ijcai.2019},
  timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2019,
  editor    = {Francesco Calimeri and
               Nicola Leone and
               Marco Manna},
  title     = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
               2019, Rende, Italy, May 7-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11468},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-19570-0},
  doi       = {10.1007/978-3-030-19570-0},
  isbn      = {978-3-030-19569-4},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2019,
  editor    = {Serenella Cerrito and
               Andrei Popescu},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
               International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
               2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11714},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-29026-9},
  doi       = {10.1007/978-3-030-29026-9},
  isbn      = {978-3-030-29025-2},
  timestamp = {Thu, 22 Aug 2019 12:08:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foiks/2018,
  editor    = {Flavio Ferrarotti and
               Stefan Woltran},
  title     = {Foundations of Information and Knowledge Systems - 10th International
               Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10833},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-90050-6},
  doi       = {10.1007/978-3-319-90050-6},
  isbn      = {978-3-319-90049-0},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/foiks/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/ruleml/2018,
  editor    = {Christoph Benzm{\"{u}}ller and
               Francesco Ricca and
               Xavier Parent and
               Dumitru Roman},
  title     = {Rules and Reasoning - Second International Joint Conference, RuleML+RR
               2018, Luxembourg, September 18-21, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11092},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99906-7},
  doi       = {10.1007/978-3-319-99906-7},
  isbn      = {978-3-319-99905-0},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/commonsense/2017,
  editor    = {Andrew S. Gordon and
               Rob Miller and
               Gy{\"{o}}rgy Tur{\'{a}}n},
  title     = {Proceedings of the Thirteenth International Symposium on Commonsense
               Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2052},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2052},
  urn       = {urn:nbn:de:0074-2052-7},
  timestamp = {Tue, 28 May 2019 16:23:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/commonsense/2017},
  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 = {Tue, 28 May 2019 16:23:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2016,
  editor    = {Loizos Michael and
               Antonis C. Kakas},
  title     = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
               2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10021},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48758-8},
  doi       = {10.1007/978-3-319-48758-8},
  isbn      = {978-3-319-48757-1},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaaiss/2015,
  title     = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
               USA, March 22-25, 2015},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {https://aaai.org/Library/Symposia/springsymposia-library.php},
  timestamp = {Wed, 14 Nov 2018 14:01:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015,
  editor    = {Qiang Yang and
               Michael J. Wooldridge},
  title     = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {http://ijcai.org/proceedings/2015},
  isbn      = {978-1-57735-738-4},
  timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2015-2,
  editor    = {Marcelo Arenas and
               {\'{O}}scar Corcho and
               Elena Simperl and
               Markus Strohmaier and
               Mathieu d'Aquin and
               Kavitha Srinivas and
               Paul T. Groth and
               Michel Dumontier and
               Jeff Heflin and
               Krishnaprasad Thirunarayan and
               Steffen Staab},
  title     = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
               Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9367},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25010-6},
  doi       = {10.1007/978-3-319-25010-6},
  isbn      = {978-3-319-25009-0},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/2015-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014pruv,
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205},
  urn       = {urn:nbn:de:0074-1205-4},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2014pruv},
  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 = {Tue, 28 May 2019 16:23:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tark/2013,
  editor    = {Burkhard C. Schipper},
  title     = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
               and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
  year      = {2013},
  url       = {http://www.tark.org/proceedings/tark\_jan7\_13/index.html},
  isbn      = {978-0-615-74716-3},
  timestamp = {Wed, 30 Mar 2016 18:10:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tark/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ausai/2012,
  editor    = {Michael Thielscher and
               Dongmo Zhang},
  title     = {{AI} 2012: Advances in Artificial Intelligence - 25th Australasian
               Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7691},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35101-3},
  doi       = {10.1007/978-3-642-35101-3},
  isbn      = {978-3-642-35100-6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/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 = {Tue, 28 May 2019 16:23:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2012,
  editor    = {Luis Fari{\~{n}}as del Cerro and
               Andreas Herzig and
               J{\'{e}}r{\^{o}}me Mengin},
  title     = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
               2012, Toulouse, France, September 26-28, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7519},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33353-8},
  doi       = {10.1007/978-3-642-33353-8},
  isbn      = {978-3-642-33352-1},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saicsit/2012,
  editor    = {Jan H. Kroeze and
               Ruth de Villiers},
  title     = {2012 South African Institute of Computer Scientists and Information
               Technologists Conference, {SAICSIT} '12, Pretoria, South Africa, October
               1-3, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2389836},
  isbn      = {978-1-4503-1308-7},
  timestamp = {Tue, 04 Oct 2016 19:02:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ausai/2011,
  editor    = {Dianhui Wang and
               Mark Reynolds},
  title     = {{AI} 2011: Advances in Artificial Intelligence - 24th Australasian
               Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7106},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25832-9},
  doi       = {10.1007/978-3-642-25832-9},
  isbn      = {978-3-642-25831-2},
  timestamp = {Mon, 16 Sep 2019 15:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/2011},
  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 = {Tue, 28 May 2019 16:23:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2011,
  editor    = {Sebastian Rudolph and
               Claudio Guti{\'{e}}rrez},
  title     = {Web Reasoning and Rule Systems - 5th International Conference, {RR}
               2011, Galway, Ireland, August 29-30, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6902},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23580-1},
  doi       = {10.1007/978-3-642-23580-1},
  isbn      = {978-3-642-23579-5},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rr/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ausai/2010,
  editor    = {Jiuyong Li},
  title     = {{AI} 2010: Advances in Artificial Intelligence - 23rd Australasian
               Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6464},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-17432-2},
  doi       = {10.1007/978-3-642-17432-2},
  isbn      = {978-3-642-17431-5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2010,
  editor    = {Helder Coelho and
               Rudi Studer and
               Michael J. Wooldridge},
  title     = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
               Lisbon, Portugal, August 16-20, 2010, Proceedings},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {215},
  publisher = {{IOS} Press},
  year      = {2010},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17702},
  isbn      = {978-1-60750-605-8},
  timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/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 = {Tue, 20 Aug 2019 16:16:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2008,
  editor    = {Gerhard Brewka and
               J{\'{e}}r{\^{o}}me Lang},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
               September 16-19, 2008},
  publisher = {{AAAI} Press},
  year      = {2008},
  isbn      = {978-1-57735-384-3},
  timestamp = {Fri, 21 Nov 2008 12:14:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2006,
  editor    = {Gerhard Brewka and
               Silvia Coradeschi and
               Anna Perini and
               Paolo Traverso},
  title     = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
               August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
               Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {141},
  publisher = {{IOS} Press},
  year      = {2006},
  isbn      = {1-58603-642-4},
  timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2006,
  editor    = {Michael Fisher and
               Wiebe van der Hoek and
               Boris Konev and
               Alexei Lisitsa},
  title     = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
               2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4160},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11853886},
  doi       = {10.1007/11853886},
  isbn      = {3-540-39625-X},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2005,
  editor    = {Leslie Pack Kaelbling and
               Alessandro Saffiotti},
  title     = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
               on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
               5, 2005},
  publisher = {Professional Book Center},
  year      = {2005},
  url       = {http://ijcai.org/proceedings/2005},
  isbn      = {0938075934},
  timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2004,
  editor    = {Renate A. Schmidt and
               Ian Pratt{-}Hartmann and
               Mark Reynolds and
               Heinrich Wansing},
  title     = {Advances in Modal Logic 5, papers from the fifth conference on "Advances
               in Modal logic," held in Manchester, UK, 9-11 September 2004},
  publisher = {King's College Publications},
  year      = {2005},
  isbn      = {1-904987-22-2},
  timestamp = {Tue, 22 May 2018 09:37:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiml/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2004,
  editor    = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
               Lorenza Saitta},
  title     = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
               ECAI'2004, including Prestigious Applicants of Intelligent Systems,
               {PAIS} 2004, Valencia, Spain, August 22-27, 2004},
  publisher = {{IOS} Press},
  year      = {2004},
  isbn      = {1-58603-452-9},
  timestamp = {Fri, 11 May 2018 12:42:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/2004,
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  year      = {2004},
  isbn      = {92-990021-0-X},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nmr/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/2002,
  editor    = {Salem Benferhat and
               Enrico Giunchiglia},
  title     = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
               April 19-21, Toulouse, France, Proceedings},
  year      = {2002},
  timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nmr/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics